Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  measurementReading

 Sigma KEE - ChordOfACircle
ChordOfACircle(chord of a circle)

appearance as argument number 1
-------------------------


(subAttribute ChordOfACircle ClosedLineSegment) Mid-level-ontology.kif 5983-5983 Chord of a circle is a subattribute of closed line segment
(documentation ChordOfACircle EnglishLanguage "A ChordOfACircle is a straight line segment whose endpoints lie on the circle.[wikepedia]") Mid-level-ontology.kif 5984-5985 Chord of a circle is a subattribute of closed line segment

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ChordOfACircle "chord of a circle") Mid-level-ontology.kif 5986-5986
(subAttribute DiameterLine ChordOfACircle) Mid-level-ontology.kif 5998-5998 Diameter line is a subattribute of chord of a circle

antecedent
-------------------------


(=>
    (and
        (equal ?CHORD ChordOfACircle)
        (endPointsOfLine ?P1 ?P2 ?CHORD))
    (exists (?C)
        (and
            (equal ?C Circle)
            (pointOfFigure ?P1 ?C)
            (pointOfFigure ?P2 ?C))))		 Mid-level-ontology.kif 5988-5996 If equal X and chord of a circle and Y and Z are endPointsOfLine of X, then there exists W such that equal W, circle, Y is a vertex of W, and Z is a vertex of W
(=>
    (and
        (equal ?CHORD ChordOfACircle)
        (pointOfFigure
            (CenterOfCircleFn ?C) ?CHORD)
        (equal ?C Circle))
    (equal ?CHORD DiameterLine))		 Mid-level-ontology.kif 6003-6009 If equal X and chord of a circle, the center of circle of Y is a vertex of X, and equal Y and circle, then equal X and diameter line
(=>
    (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

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


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners