Skip to content
Permalink
Browse files

restructuring definitions in Combined Mereotopology Hierarchy

  • Loading branch information...
gruninger committed Feb 25, 2019
1 parent 5e79125 commit 641d04c71129732535d14ae70f9cea9d6c488bff
@@ -0,0 +1,11 @@

(cl-text http://colore.oor.net/combined_mereotopology/definitions/DC.clif

(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)

%Disconnected
(forall (x y)
(iff (DC x y)
(not (C x y))))

)
@@ -0,0 +1,14 @@

(cl-text http://colore.oor.net/combined_mereotopology/definitions/E.clif

(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)

%Enclosure
(forall (x y)
(iff (E x y)
(forall (z)
(if (C z x)
(C z y)))))


)
@@ -0,0 +1,14 @@

(cl-text http://colore.oor.net/combined_mereotopology/definitions/EC.clif

(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)

(cl-imports http://colore.oor.net/mereology/definitions/overlaps.clif)

%External Connection
(forall (x y)
(iff (EC x y)
(and (C x y)
(not (overlaps x y)))))

)
@@ -0,0 +1,16 @@

(cl-text http://colore.oor.net/combined_mereotopology/definitions/IP.clif

(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)

(cl-imports http://colore.oor.net/mereology/definitions/overlaps.clif)

(forall (x y)
(iff (IP x y)
(and (part x y)
(forall (z)
(if (C z x)
(overlaps z y))))))


)
@@ -0,0 +1,18 @@

(cl-text http://colore.oor.net/combined_mereotopology/definitions/NTPP.clif

(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)

(cl-imports http://colore.oor.net/combined_mereotopology/definitions/EC.clif)

%Tangential Proper Part
(forall (x y)
(iff (TPP x y)
(and (part x y)
(not (= x y))
(exists (z)
(and (EC z x)
(EC z y))))))


)
@@ -0,0 +1,16 @@

(cl-text http://colore.oor.net/combined_mereotopology/definitions/PO.clif

(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)

(cl-imports http://colore.oor.net/mereology/definitions/overlaps.clif)

%Proper Overlap
(forall (x y)
(iff (PO x y)
(and (overlaps x y)
(not (part x y))
(not (part y x)))))


)
@@ -0,0 +1,19 @@

(cl-text http://colore.oor.net/combined_mereotopology/definitions/SC.clif

(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)

(cl-imports http://colore.oor.net/mereology/overlaps.clif)


(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,15 @@

(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/combined_mereotopology/definitions/IP.clif)


(forall (x y)
(iff (TP x y)
(and (part x y)
(not (IP x y)))))


)
@@ -0,0 +1,18 @@

(cl-text http://colore.oor.net/combined_mereotopology/definitions/TPP.clif

(cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)

(cl-imports http://colore.oor.net/combined_mereotopology/definitions/EC.clif)

%Tangential Proper Part
(forall (x y)
(iff (TPP x y)
(and (part x y)
(not (= x y))
(exists (z)
(and (EC z x)
(EC z y))))))


)

0 comments on commit 641d04c

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