corrected typos in matter.clif

gruninger · Jun 24, 2018 · 90ba552 · 90ba552
1 parent 5b7c825
commit 90ba552
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/ontologies/matter/matter.clif b/ontologies/matter/matter.clif
@@ -28,17 +28,17 @@
         (iff    (chunkDisjoints x y)
                 (not (chunkOverlaps x y))))
 
-(cl-text 'Transitivity')
+(cl-comment 'Transitivity')
 (forall (x y z)
         (if     (and    (chunkOf x y)
                         (chunkOf y z))
                 (chunkOf x z)))
 
-(cl-text 'Reflexivity')
+(cl-comment 'Reflexivity')
 (forall (x)
         (chunkOf x x))
 
-(cl-text 'Antisymmetry')
+(cl-comment 'Antisymmetry')
 (forall (x y)
         (if     (and    (chunkOf x y)
                         (chunkOf y x))