added new betweenness axiom for most

gruninger · Dec 18, 2018 · 8111d0a · 8111d0a
1 parent 0625aab
commit 8111d0a
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/ontologies/most/most_betweenness.clif b/ontologies/most/most_betweenness.clif
@@ -66,4 +66,13 @@
 		(and (mol a3 g1)
 			(mol a3 g2))))
 
+(cl-comment 'Axiom: MBTWN-6')
+(cl-comment 'All skeletons are connected due to semilinear betweenness - in same bond or something between them.')
+(forall (x y s)
+	(if (and (skeleton s)(atom x)(atom y)(mol x s)(mol y s))
+		(or (exists (z)
+				(and (atom z)(betweenMol x z y)))
+			(exists (b)
+				(and (mol x b)(mol y b)(bond b))))))
+
 )
diff --git a/ontologies/most/most_master.clif b/ontologies/most/most_master.clif
@@ -615,6 +615,15 @@
 		(and (mol a3 g1)
 			(mol a3 g2))))
 
+(cl-comment 'Axiom: MBTWN-6')
+(cl-comment 'All skeletons are connected due to semilinear betweenness - in same bond or something between them.')
+(forall (x y s)
+	(if (and (skeleton s)(atom x)(atom y)(mol x s)(mol y s))
+		(or (exists (z)
+				(and (atom z)(betweenMol x z y)))
+			(exists (b)
+				(and (mol x b)(mol y b)(bond b))))))
+
 (cl-comment '========================================================================')
 (cl-comment '======= SEMANTIC CONDITION: skeletons =======')
 (cl-comment '========================================================================')
@@ -700,6 +709,7 @@
 			(forall (z)
 				(if (mol z x)
 					(mol z y))))))
+
 
 (cl-comment '========================================================================')
 (cl-comment '======= SEMANTIC CONDITION: scaffolds =======')