Create piece_transitivity.clif

gruninger · Mar 31, 2017 · 82850e4 · 82850e4
1 parent 4375016
commit 82850e4
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/ontologies/piece/piece_transitivity.clif b/ontologies/piece/piece_transitivity.clif
@@ -0,0 +1,11 @@
+(cl-text http://colore.oor.net/piece/piece_transitivity.clif)
+(cl-imports http://colore.oor.net/piece/piece_def.clif)
+
+(cl-text "Transitivity")
+
+(forall (x y z)
+        (if     (and    (pieceOf x y)
+                        (pieceOf y z))
+                (pieceOf x z))
+
+)