Skip to content
Permalink
Browse files

corrected theories in occupy and multigeometry Hierarchies

  • Loading branch information...
gruninger committed Aug 30, 2017
1 parent 9ac9de9 commit 3237321af15b0c4417d7610a39da916ad726f949
Showing with 9 additions and 2 deletions.
  1. +8 −0 ontologies/multigeometry/order_monomorphism.clif
  2. +1 −2 ontologies/occupy/rigid_occupy.clif
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/multigeometry/order_monomorphism.clif

(cl-imports http://colore.oor.net/multigeometry/mapping_preserve.clif)

(cl-imports http://colore.oor.net/multigeometry/injection_g.clif)

)
@@ -3,8 +3,7 @@
(cl-imports http://colore.oor.net/occupy/occupy_root.clif)

(forall (x y r)
(if (and (physical_C x y)
(occupies x r)
(if (and (occupies x r)
(occupies y r))
(= x y)))

0 comments on commit 3237321

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.