consequent

(=>     (and         (equal ?S SecantLine)         (pointOfFigure ?P1 ?S)         (pointOfFigure ?P2 ?S)         (not             (equal ?P1 ?P2))         (equal ?C Circle)         (pointOfFigure ?P1 ?C)         (pointOfFigure ?P2 ?C))     (exists (?CHORD)         (and             (equal ?CHORD ChordOfACircle)             (endPointsOfLine ?P1 ?P2 ?CHORD)             (geometricPart ?CHORD ?S))))	Mid-level-ontology.kif 6024-6038	If All of the following hold: (1) equal X and secant line (2) Y is a vertex of X (3) Z is a vertex of X (4) equal Y and Z (5) equal W and circle (6) Y is a vertex of W (7) Z is a vertex of W, then there exists V such that equal V, chord of a circle, Y, Z are endPointsOfLine of V, and X is a geometric part of V
(=>     (and         (equal ?S CircularSegment)         (equal ?A CircularArc)         (geometricPart ?A ?S)         (equal ?C ChordOfACircle)         (geometricPart ?C ?S))     (exists (?P1 ?P2)         (and             (not                 (equal ?P1 ?P2))             (endPointsOfLine ?P1 ?P2 ?C)             (pointOfIntersection ?A ?C ?P1)             (pointOfIntersection ?A ?C ?P2))))	Mid-level-ontology.kif 6046-6059	If equal X and circular segment, equal Y and circular arc, X is a geometric part of Y, equal Z and chord of a circle, and X is a geometric part of Z, then All of the following hold: (1) there exist W (2) V such that equal W (3) V (4) W (5) V are endPointsOfLine of Z (6) Y is point of intersection Z for W (7) Y is point of intersection Z for V

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