(=>
(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 ?S CircleSector)
(exists (?A ?AC)
(and
(equal ?A CentralAngle)
(angleOfFigure ?A ?S)
(equal ?AC CircularArc)
(sideOfFigure ?AC ?S)))) |
Mid-level-ontology.kif 5774-5781 |
If equal X and circle sector, then All of the following hold: (1) there exist Y (2) Z such that equal Y (3) central angle (4) Y is the angle found in X (5) equal Z (6) circular arc (7) the size of X is Z |
(=>
(and
(equal ?S CircleSector)
(equal ?C Circle)
(geometricPart ?S ?C)
(equal ?L ClosedLineSegment)
(sideOfFigure ?L ?S))
(lineMeasure ?L
(RadiusFn ?C))) |
Mid-level-ontology.kif 5783-5790 |
If equal X and circle sector, equal Y and circle, Y is a geometric part of X, equal Z and closed line segment, and the size of X is Z, then the radius of Y is a line measure of Z |
(=>
(and
(equal ?S CircleSector)
(equal ?A CentralAngle)
(angleOfFigure ?A ?S)
(equal ?L ClosedLineSegment)
(sideOfFigure ?L ?A)
(sideOfIntersection ?A ?S ?L)
(lineMeasure ?L ?R))
(exists (?AC)
(and
(equal ?AC CircularArc)
(sideOfFigure ?AC ?S)
(arcLength ?AC ?R)
(angularMeasure ?A
(MeasureFn 1 Radian))))) |
Mid-level-ontology.kif 5910-5924 |
If All of the following hold: (1) equal X and circle sector (2) equal Y and central angle (3) Y is the angle found in X (4) equal Z and closed line segment (5) the size of Y is Z (6) Z is the intersection Y and X (7) W is a line measure of Z, then there exists V such that equal V and circular arc and the size of X is V and W is the LengthMeasure of V and 1 radian(s) is an angular measure of Y |
(=>
(and
(equal ?MIN MinorArc)
(sideOfFigure ?MIN ?S)
(equal ?S CircleSector)
(angleOfFigure ?A ?S)
(angularMeasure ?A
(MeasureFn ?X AngularDegree)))
(and
(greaterThan ?X 0)
(lessThan ?X 180))) |
Mid-level-ontology.kif 5939-5948 |
If equal X and minor arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 0 and W is less than 180 |
(=>
(and
(equal ?MAJ MajorArc)
(sideOfFigure ?MAJ ?S)
(equal ?S CircleSector)
(angleOfFigure ?A ?S)
(angularMeasure ?A
(MeasureFn ?X AngularDegree)))
(and
(greaterThan ?X 180)
(lessThan ?X 360))) |
Mid-level-ontology.kif 5955-5964 |
If equal X and Major arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 180 and W is less than 360 |
