Skip to content
Permalink
Browse files

new and modified theories in Mereology Hierarchy

  • Loading branch information...
gruninger committed Oct 31, 2018
1 parent a8c521d commit bedc00f416bc5d8353a47588b5febd31438e0e05

This file was deleted.

Oops, something went wrong.
@@ -3,12 +3,12 @@

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

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

(forall (x y)
(if (not (= x y))
(exists (z)
(iff (overlaps z x)
(disjoint z y)))))
(not (overlaps z y))))))

)
@@ -3,9 +3,14 @@

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

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

(cl-comment 'Principle SA7 from [Simons 1987]')

(forall (x y)
(exists (z)
(and (part x z)
(part y z))))
(if (overlaps x y)
(exists (z)
(and (part x z)
(part y z)))))

)

0 comments on commit bedc00f

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