consequent

(=>     (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 5694-5704	If a real number an unit of measure(s) is the LengthMeasure of a circular arc and equal the circular arc and semicircular arc, then there exist a circle and another real number such that equal the circle and circle and the circle is a geometric part of the circular arc and circumference the circle and the other real number the unit of measure(s) and equal the other real number and (the real number and the real number)
(=>     (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 5652-5661	If equal a geometric figure and circular arc and a geometric point is a vertex of the geometric figure, then there exist another geometric figure and the geometric point2 such that the other geometric figure is a geometric part of the geometric figure and equal the other geometric figure and circle and the geometric point2 is a vertex of the other geometric figure and equal the geometric point and the geometric point2
(=>     (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 5861-5875	If equal a geometric figure and secant line and a geometric point is a vertex of the geometric figure and another geometric point is a vertex of the geometric figure and equal the geometric point and the other geometric point and equal another geometric figure and circle and the geometric point is a vertex of the other geometric figure and the other geometric point is a vertex of the other geometric figure, then there exists the other geometric figureHORD such that equal the other geometric figureHORD and chord of a circle and the geometric point and the other geometric point are endPointsOfLine of the other geometric figureHORD and the geometric figure is a geometric part of the other geometric figureHORD
(=>     (equal ?A CircularArc)     (exists (?C)         (and             (equal ?C Circle)             (geometricPart ?A ?C))))	Mid-level-ontology.kif 5643-5648	If equal a geometric figure and circular arc, then there exists another geometric figure such that equal the other geometric figure and circle and the other geometric figure is a geometric part of the geometric figure
(=>     (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 5600-5609	If equal a two dimensional figure and circle sector, then there exist another two dimensional figure and an one dimensional figure such that equal the other two dimensional figure and circle and the other two dimensional figure is a geometric part of the two dimensional figure and equal the one dimensional figure and circular arc and the other two dimensional figure is a geometric part of the one dimensional figure and the size of the two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure
(=>     (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 5731-5745	If a geometric figure is an instance of central angle, then there exist an one dimensional figure, the one dimensional figure2,, , a circle and a length measure such that equal the one dimensional figure and closed line segment and the size of the geometric figure is the one dimensional figure and equal the one dimensional figure2 and closed line segment and the size of the geometric figure is the one dimensional figure2 and equal the circle and circle and the circle is a geometric part of the geometric figure and the one dimensional figure is point of intersection the one dimensional figure2 for the center of circle of the circle and the length measure is a line measure of the one dimensional figure and the length measure is a line measure of the one dimensional figure2 and the radius of the circle is the length measure
(=>     (instance ?P Polyhedron)     (exists (?F)         (and             (faceOfFigure ?F ?P)             (geometricPart ?F ?P))))	Mid-level-ontology.kif 5334-5339	If a geometric figure is an instance of polyhedron, then there exists a two dimensional figure such that the two dimensional figure is the face of Figure the geometric figure and the geometric figure is a geometric part of the two dimensional figure
(=>     (instance ?POLYGON Polygon)     (exists (?SIDE)         (and             (sideOfFigure ?SIDE ?POLYGON)             (geometricPart ?SIDE ?POLYGON))))	Mid-level-ontology.kif 5506-5511	If a geometric figure is an instance of polygon, then there exists an one dimensional figure such that the size of the geometric figure is the one dimensional figure and the geometric figure is a geometric part of the one dimensional figure

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 is open source software produced by Articulate Software and its partners