Permalink
Browse files

new combined_mereotopology hierarchy

  • Loading branch information...
gruninger committed Jun 27, 2016
1 parent c7a64d9 commit 7069a342f29c34c457d8df030895ce0b709d3523
@@ -0,0 +1,7 @@
(cl-text http://colore.oor.net/combined_mereotopology/cemt.clif
(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)
(cl-imports http://colore.oor.net/mereology/cem_mereology)
)
@@ -0,0 +1,15 @@
(cl-text http://colore.oor.net/combined_mereotopology/cmt.clif
(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)
(cl-imports http://colore.oor.net/combined_mereotopology/definitions/mt.clif)
(cl-imports http://colore.oor.net/mereology/definitions/mereology_def.clif)
(cl-imports http://colore.oor.net/mereology/cm_mereology)
(forall (x y)
(if (C x y)
(underlaps x y)))
)
@@ -0,0 +1,62 @@
(cl-text http://colore.oor.net/combined_mereotopology/definitions/mt_def.clif
(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)
(cl-imports http://colore.oor.net/mereology/definitions/mereology_def.clif)
(forall (x y)
(iff (EC x y)
(and (C x y)
(not (overlaps x y)))))
(forall (x y)
(iff (IP x y)
(and (part x y)
(forall (z)
(if (C z x)
(overlaps z y))))))
(forall (x y)
(iff (TP x y)
(and (part x y)
(not (IP x y)))))
(forall (x y)
(iff (IO x y)
(exists (z)
(and (IP z x)
(IP z y)))))
(forall (x y)
(iff (TO x y)
(and (overlaps x y)
(not (IO x y)))))
(forall (x y)
(iff (IU x y)
(exists (z)
(and (IP x z)
(IP y z)))))
(forall (x y)
(iff (TU x y)
(and (underlaps x y)
(not (IU x y)))))
(forall (x y)
(iff (IPP x y)
(and (IP x y)
(not (IP y x)))))
(forall (x)
(iff (SC x)
(forall (y z)
(if (forall (w)
(iff (overlaps w x)
(or (overlaps w y)
(overlaps w z))))
(C y z)))))
)
@@ -0,0 +1,13 @@
(cl-text http://colore.oor.net/combined_mereotopology/mt.clif
(cl-imports http://colore.oor.net/mereotopology/connection.clif)
(cl-imports http://colore.oor.net/mereology/m_mereology)
(forall (x y)
(if (part x y)
(forall (z)
(if (C x z)
(C z y)))))
)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/location_varzi/location_def.clif
(cl-text http://colore.oor.net/location_varzi/definitions/location_def.clif
(cl-imports http://colore.oor.net/location_varzi/location_root.clif)

0 comments on commit 7069a34

Please sign in to comment.