Skip to content
Permalink
Browse files

corrected extensional_connection

  • Loading branch information...
gruninger committed Feb 26, 2019
1 parent 641d04c commit b6c3153552b5357c634cca0258ab829123d9755c
Showing with 24 additions and 9 deletions.
  1. +0 −9 ontologies/mereotopology/connection.clif
  2. +24 −0 ontologies/mereotopology/extensional_connection.clif
@@ -12,13 +12,4 @@
(if (C x y)
(C y x)))

(cl-comment 'C-Ext')

(forall (x y)
(if (forall (z)
(iff (C x z)
(C y z)))

(= x y)))

)
@@ -0,0 +1,24 @@

(cl-text http://colore.oor.net/mereotopology/extensional_connection.clif

(cl-comment 'C1: Reflexivity')

(forall (x)
(C x x))

(cl-comment 'C2: Symmetry')

(forall (x y)
(if (C x y)
(C y x)))

(cl-comment 'C-Ext')

(forall (x y)
(if (forall (z)
(iff (C x z)
(C y z)))

(= x y)))

)

0 comments on commit b6c3153

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