(=>
(and
(radius ?CIRCLE ?RADIUS)
(pointOfFigure ?POINT ?CIRCLE))
(exists (?CENTER)
(and
(equal ?CENTER
(CenterOfCircleFn ?CIRCLE))
(geometricDistance ?CENTER ?POINT ?RADIUS)))) |
Merge.kif 7818-7826 |
If the radius of X is Y and Z is a vertex of X, then there exists W such that equal W, the center of circle of X, and W is geometric distance Z for Y |
(=>
(geometricDistance ?POINT1 ?POINT2 ?LENGTH)
(geometricDistance ?POINT2 ?POINT1 ?LENGTH)) |
Merge.kif 18321-18323 |
If X is geometric distance Y for Z, then Y is geometric distance X for Z |
(=>
(and
(arcLength ?A ?L)
(equal ?A CircularArc))
(exists (?P ?P2)
(and
(pointOfFigure ?P ?A)
(pointOfFigure ?P2 ?A)
(not
(equal ?P ?P2))
(geometricDistance ?P ?P2 ?L)))) |
Mid-level-ontology.kif 5841-5851 |
If X is the LengthMeasure of Y and equal Y and circular arc, then there exist Z, W such that Z is a vertex of Y, W is a vertex of Y, equal Z, W, and Z is geometric distance W for X |
(=>
(and
(attribute ?OBJ ?SPHERE)
(pointOfFigure ?PT1 ?OBJ)
(pointOfFigure ?PT2 ?OBJ)
(instance ?SPHERE Sphere))
(exists (?CENTER ?DIST)
(and
(geometricDistance ?PT1 ?CENTER ?DIST)
(geometricDistance ?PT2 ?CENTER ?DIST)))) |
Mid-level-ontology.kif 6084-6093 |
If X is an attribute of Y, Z is a vertex of Y, W is a vertex of Y, and X is an instance of sphere, then there exist V, U such that Z is geometric distance V for U, and W is geometric distance V for U |
