SecantLine - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage SecantLine "secant line")

antecedent

(=>
    (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))))

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

(subAttribute SecantLine StraightLine)	Mid-level-ontology.kif 6019-6019	Secant line is a subattribute of straight line
(documentation SecantLine EnglishLanguage "A SecantLine is a line that intersects the circle at exactly two points. Unlikely the ChordOfACircle, a secant line can extend indefintely.[wikepedia]")	Mid-level-ontology.kif 6020-6021	Secant line is a subattribute of straight line