consequent

(=>     (instance ?P Polyhedron)     (exists (?F)         (and             (faceOfFigure ?F ?P)             (geometricPart ?F ?P))))	Mid-level-ontology.kif 5486-5491	If X is an instance of polyhedron, then there exists Y such that Y is the face of Figure X and X is a geometric part of Y
(=>     (instance ?POLYGON Polygon)     (exists (?SIDE)         (and             (sideOfFigure ?SIDE ?POLYGON)             (geometricPart ?SIDE ?POLYGON))))	Mid-level-ontology.kif 5659-5664	If X is an instance of polygon, then there exists Y such that the size of X is Y and X is a geometric part of Y
(=>     (equal ?S CircleSector)     (exists (?C ?A)         (and             (equal ?C Circle)             (geometricPart ?S ?C)             (equal ?A CircularArc)             (geometricPart ?A ?C)             (sideOfFigure ?A ?S)             (sideOfIntersection ?S ?C ?A))))	Mid-level-ontology.kif 5763-5772	If equal X and circle sector, then All of the following hold: (1) there exist Y (2) Z such that equal Y (3) circle (4) Y is a geometric part of X (5) equal Z (6) circular arc (7) Y is a geometric part of Z (8) the size of X is Z (9) Z is the intersection X (10) Y
(=>     (equal ?A CircularArc)     (exists (?C)         (and             (equal ?C Circle)             (geometricPart ?A ?C))))	Mid-level-ontology.kif 5806-5811	If equal X and circular arc, then there exists Y such that equal Y, circle, and Y is a geometric part of X
(=>     (and         (equal ?A CircularArc)         (pointOfFigure ?P ?A))     (exists (?C ?P2)         (and             (geometricPart ?A ?C)             (equal ?C Circle)             (pointOfFigure ?P2 ?C)             (equal ?P ?P2))))	Mid-level-ontology.kif 5815-5824	If equal X and circular arc and Y is a vertex of X, then All of the following hold: (1) there exist Z (2) W such that Z is a geometric part of X (3) equal Z (4) circle (5) W is a vertex of Z (6) equal Y (7) W
(=>     (and         (arcLength ?SEMI             (MeasureFn ?L ?U))         (equal ?SEMI SemicircularArc))     (exists (?CIR ?C)         (and             (equal ?CIR Circle)             (geometricPart ?SEMI ?CIR)             (circumference ?CIR                 (MeasureFn ?C ?U))             (equal ?C                 (AdditionFn ?L ?L)))))	Mid-level-ontology.kif 5857-5867	If X Y(s) is the LengthMeasure of Z and equal Z and semicircular arc, then there exist W and V such that equal W and circle and W is a geometric part of Z and circumference W and V Y(s) and equal V and (X and X)
(=>     (instance ?A CentralAngle)     (exists (?L ?L2 ?C ?R)         (and             (equal ?L ClosedLineSegment)             (sideOfFigure ?L ?A)             (equal ?L2 ClosedLineSegment)             (sideOfFigure ?L2 ?A)             (equal ?C Circle)             (geometricPart ?A ?C)             (pointOfIntersection ?L ?L2                 (CenterOfCircleFn ?C))             (lineMeasure ?L ?R)             (lineMeasure ?L2 ?R)             (radius ?C ?R))))	Mid-level-ontology.kif 5894-5908	If X is an instance of central angle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) closed line segment (4) the size of X is Y (5) equal Z (6) closed line segment (7) the size of X is Z (8) equal W (9) circle (10) W is a geometric part of X (11) Y is point of intersection Z for the center of circle of W (12) V is a line measure of Y (13) V is a line measure of Z (14) the radius of W is V
(=>     (and         (equal ?S SecantLine)         (pointOfFigure ?P1 ?S)         (pointOfFigure ?P2 ?S)         (not             (equal ?P1 ?P2))         (equal ?C Circle)         (pointOfFigure ?P1 ?C)         (pointOfFigure ?P2 ?C))     (exists (?CHORD)         (and             (equal ?CHORD ChordOfACircle)             (endPointsOfLine ?P1 ?P2 ?CHORD)             (geometricPart ?CHORD ?S))))	Mid-level-ontology.kif 6024-6038	If All of the following hold: (1) equal X and secant line (2) Y is a vertex of X (3) Z is a vertex of X (4) equal Y and Z (5) equal W and circle (6) Y is a vertex of W (7) Z is a vertex of W, then there exists V such that equal V, chord of a circle, Y, Z are endPointsOfLine of V, and X is a geometric part of V

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners