fix axioms for abstract figures

ontologyportal · Apr 3, 2024 · c004704 · c004704
1 parent 8c4a6b2
commit c004704
Showing 1 changed file with 7 additions and 13 deletions.
diff --git a/Mid-level-ontology.kif b/Mid-level-ontology.kif
@@ -4893,24 +4893,18 @@ exclusively of straight lines, i.e. &%OneDimensionalFigures.")
 (subclass Triangle Polygon)
 (documentation Triangle EnglishLanguage "Any three-sided &%Polygon.")
 
-(=>
-   (instance ?TRIANGLE Triangle)
-   (equal
-     (CardinalityFn
-       (KappaFn ?SIDE
-         (sideOfFigure ?SIDE ?TRIANGLE))) 3))
+(equal
+  (CardinalityFn
+    (KappaFn ?SIDE
+      (sideOfFigure ?SIDE Triangle))) 3))
 
 (instance RightTriangle Triangle)
 (documentation RightTriangle EnglishLanguage "Any &%Triangle that contains a &%RightAngle.")
 
-(=>
+(exists (?A)
   (and
-    (equal ?T RightTriangle)
-    (instance ?T Triangle))
-  (exists (?A)
-    (and
-      (instance ?A RightAngle)
-      (angleOfFigure ?A ?T))))
+    (instance ?A RightAngle)
+    (angleOfFigure ?A Triangle)))
 
 (subclass Quadrilateral Polygon)
 (documentation Quadrilateral EnglishLanguage "Any four-sided &%Polygon.")