consequent

(=>     (attribute ?C Circle)     (exists (?R)         (radius ?C ?R)))	Merge.kif 7786-7789	If circle is an attribute of X, then there exists Y such that the radius of X is Y
(=>     (diameter ?CIRCLE ?LENGTH)     (exists (?NHALF ?UHALF)         (and             (radius ?CIRCLE                 (MeasureFn ?NHALF ?UHALF))             (equal                 (MeasureFn                     (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))	Merge.kif 7842-7847	If the diameter of X is Y, then there exist Z and W such that the radius of X is Z W(s) and equal Z and 2 W(s) and Y
(=>     (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 5894-5908	If X is an instance of central angle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) closed line segment (4) the size of X is Y (5) equal Z (6) closed line segment (7) the size of X is Z (8) equal W (9) circle (10) W is a geometric part of X (11) Y is point of intersection Z for the center of circle of W (12) V is a line measure of Y (13) V is a line measure of Z (14) the radius of W is V

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