new theory in mereograph hierarchy

gruninger · Apr 1, 2017 · 09b630e · 09b630e
1 parent bfca902
commit 09b630e
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/ontologies/mereograph/comparability_mereograph.clif b/ontologies/mereograph/comparability_mereograph.clif
@@ -0,0 +1,10 @@
+(cl-text http://colore.oor.net/mereograph/comparability_mereograph.clif
+
+(cl-imports http://colore.oor.net/mereograph/mereograph.clif)
+
+(forall (x y)
+	(iff	(adj x y)
+		(or	(leq x y)
+			(leq y x))))
+
+)