consequent

(=>     (and         (equal ?PLANE             (LevelPlaneFn ?P ?A))         (part ?P ?R)         (instance ?R Region)         (located ?R ?A))     (exists (?L)         (and             (instance ?L LineInSpace)             (endPointsOfLineInSpace ?P                 (CenterOfPlanetFn ?A) ?L)             (orientation ?PLANE ?L RightAngle))))	Mid-level-ontology.kif 28070-28082	If equal X, the PlaneInSpace is perpendicular to the line formed by Y, and the centre of the AstronomicalBody., Y is a part of Z, Z is an instance of region, and Z is located at W, then there exists V such that V is an instance of line in space, Y, the centre of AstronomicalBody W is are end points of V, and X is at a right angle to to V
(=>     (and         (instance ?A AstronomicalBody)         (approximateDiameter ?A             (MeasureFn ?D ?U))         (instance ?U UnitOfLength)         (instance ?P PointInSpace)         (part ?P ?A))     (exists (?C)         (and             (equal ?C                 (CenterOfPlanetFn ?A))             (distance ?C ?P                 (MeasureFn                     (DivisionFn ?D 2.0) ?U)))))	Mid-level-ontology.kif 28094-28108	If X is an instance of astronomical body, the approximate diameter of X is Y Z(s), Z is an instance of unit of length, W is an instance of point in space, and W is a part of X, then there exists V such that equal V and the centre of AstronomicalBody X is and the distance between V and W is Y and 2.0 Z(s)

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