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 an integer such that equal the circle and circle and the circle is a geometric part of the circular arc and circumference the circle and the integer the unit of measure(s) and equal the integer 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 ?CHORD ChordOfACircle)         (endPointsOfLine ?P1 ?P2 ?CHORD))     (exists (?C)         (and             (equal ?C Circle)             (pointOfFigure ?P1 ?C)             (pointOfFigure ?P2 ?C))))	Mid-level-ontology.kif 5825-5833	If equal a closed line segment and chord of a circle and a geometric point and another geometric point are endPointsOfLine of the closed line segment, then there exists a geometric figure such that equal the geometric figure and circle and the geometric point is a vertex of the geometric figure and the other geometric point is a vertex of the geometric figure
(=>     (circumference ?C ?L)     (equal ?C Circle))	Mid-level-ontology.kif 33076-33078	If circumference a circle and a length measure, then equal the circle and circle
(=>     (diameter ?CIRCLE ?LENGTH)     (equal ?CIRCLE Circle))	Merge.kif 7779-7781	If the diameter of a circle is a length measure, then equal the circle and circle
(=>     (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 ?D DiameterLine)     (exists (?C)         (and             (equal ?C Circle)             (lineMeasure ?D                 (DiameterFn ?C)))))	Mid-level-ontology.kif 5848-5854	If equal an one dimensional figure and diameter line, then there exists a circle such that equal the circle and circle and the diameter of the circle is a line measure of the one dimensional figure
(=>     (equal ?L         (DiameterFn ?C))     (equal ?C Circle))	Mid-level-ontology.kif 5571-5574	If equal a length measure and the diameter of a circle, then equal the circle and circle
(=>     (equal ?L         (RadiusFn ?C))     (equal ?C Circle))	Mid-level-ontology.kif 5590-5593	If equal a length measure and the radius of a circle, then equal the circle and circle
(=>     (equal ?P         (CenterOfCircleFn ?C))     (equal ?C Circle))	Merge.kif 7736-7739	If equal a geometric point and the center of circle of a circle, then equal the circle and circle
(=>     (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 ?HOLE GolfHole)     (exists (?C ?CIR)         (and             (shape ?HOLE Cylinder)             (top ?C ?HOLE)             (instance ?C Region)             (shape ?C ?CIR)             (equal ?CIR Circle)             (diameter ?CIR                 (MeasureFn 4.25 Inch)))))	Sports.kif 976-986	If a self connected object is an instance of golf hole, then there exist another self connected object and the other self connected objectIR such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is the other self connected objectIR and equal the other self connected objectIR and circle and the diameter of the other self connected objectIR is 4.25 inch(s)
(=>     (radius ?CIRCLE ?RADIUS)     (equal ?CIRCLE Circle))	Merge.kif 7758-7760	If the radius of a circle is a length measure, then equal the circle and circle

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