Skip to content
Permalink
Browse files

Mereology import for occupy_def fixed

  • Loading branch information...
Torsten Hahmann
Torsten Hahmann committed Mar 22, 2019
1 parent 45221a0 commit 1fc8a64f4339b2ef88b7e17a3b68648ee85c1195
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/occupy/definitions/occupy_def.clif
@@ -12,7 +12,7 @@

(cl-imports http://colore.oor.net/occupy/occupy_root.clif)

(cl-domain region (cl-imports http://colore.oor.net/mereology/mereology_def.clif))
(cl-domain region (cl-imports http://colore.oor.net/mereology/definitions/ppart.clif))

(cl-domain region (cl-imports http://colore.oor.net/combined_mereotopology/definitions/mt_def.clif))

0 comments on commit 1fc8a64

Please sign in to comment.
You can’t perform that action at this time.