Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| endPointsOfLine |
| appearance as argument number 1 |
|
| (instance endPointsOfLine TernaryPredicate) | Mid-level-ontology.kif 5966-5966 | end points of line is an instance of ternary predicate |
| (documentation endPointsOfLine EnglishLanguage "(endPointsOfLine ?P1 ?P2 ?L) means that point ?P1 and P2 are two points of a ClosedLineSegment, each intersects with another line segment.") | Mid-level-ontology.kif 5967-5969 | end points of line is an instance of ternary predicate |
| (domain endPointsOfLine 1 GeometricPoint) | Mid-level-ontology.kif 5971-5971 | The number 1 argument of end points of line is an instance of geometric point |
| (domain endPointsOfLine 2 GeometricPoint) | Mid-level-ontology.kif 5972-5972 | The number 2 argument of end points of line is an instance of geometric point |
| (domain endPointsOfLine 3 ClosedLineSegment) | Mid-level-ontology.kif 5973-5973 | The number 3 argument of end points of line is an instance of closed line segment |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage endPointsOfLine "end points of line") | Mid-level-ontology.kif 5970-5970 | |
| (format EnglishLanguage endPointsOfLine "%1 and %2 are endPointsOfLine of %3") | Mid-level-ontology.kif 5974-5974 | |
| (relatedInternalConcept endPointsOfLineInSpace endPointsOfLine) | Mid-level-ontology.kif 27960-27960 | level plane is internally related to end points of line |
| 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 |
| 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 |
|