refactored matter and portionOf

gruninger · Jan 31, 2019 · e53e5d4 · e53e5d4
1 parent b0cc297
commit e53e5d4
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 10 deletions.
diff --git a/ontologies/matter/matter.clif b/ontologies/matter/matter.clif
@@ -1,14 +1,5 @@
 (cl-text http://colore.oor.net/matter/matter.clif
 
-(cl-imports http://colore.oor.net/constitution/constitution.clif)
-
-(forall (x y)
-	(iff	(portionOf x y)
-		(exists (w z)
-			(and	(constitutes w x)
-				(constitutes z y)
-				(chunkOf w z)))))			
-
 (cl-comment 'Proper Parthood')
 (forall (x y)
         (iff    (properChunkOf x y)
@@ -44,4 +35,4 @@
                         (chunkOf y x))
                 (= x y)))
 
-)
+)
diff --git a/ontologies/matter/portionOf.clif b/ontologies/matter/portionOf.clif
@@ -0,0 +1,13 @@
+(cl-text http://colore.oor.net/matter/definitions/portionOf.clif
+
+(cl-imports http://colore.oor.net/matter/matter.clif)
+
+(cl-imports http://colore.oor.net/constitution/constitution.clif)
+
+(forall (x y)
+        (iff    (portionOf x y)
+                (exists (w z)
+                        (and    (constitutes w x)
+                                (constitutes z y)
+                                (chunkOf w z)))))
+