pointOfIntersection |
appearance as argument number 1 |
![]() |
(documentation pointOfIntersection ChineseLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)的意思是两条直线 ?FIGURE1 和 ?FIGURE2 在 ?POINT 点相遇。") | chinese_format.kif 3990-3990 | |
(documentation pointOfIntersection EnglishLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.") | Merge.kif 18026-18027 | |
(domain pointOfIntersection 1 OneDimensionalFigure) | Merge.kif 18023-18023 | |
(domain pointOfIntersection 2 OneDimensionalFigure) | Merge.kif 18024-18024 | |
(domain pointOfIntersection 3 GeometricPoint) | Merge.kif 18025-18025 | |
(instance pointOfIntersection TernaryPredicate) | Merge.kif 18022-18022 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage pointOfIntersection "%1 %n 是 对于 %3 的 交接点 %2 ") | domainEnglishFormat.kif 1979-1979 | |
(format ChineseTraditionalLanguage pointOfIntersection "%1 %n 是 對於 %3 的 交接點 %2 ") | domainEnglishFormat.kif 1978-1978 | |
(format EnglishLanguage pointOfIntersection "%1 is %n point of intersection %2 for %3") | domainEnglishFormat.kif 1977-1977 | |
(relatedInternalConcept sideOfIntersection pointOfIntersection) | Mid-level-ontology.kif 5348-5348 | |
(termFormat ChineseLanguage pointOfIntersection "交点") | domainEnglishFormat.kif 46364-46364 | |
(termFormat ChineseTraditionalLanguage pointOfIntersection "交點") | domainEnglishFormat.kif 46363-46363 | |
(termFormat EnglishLanguage pointOfIntersection "point of intersection") | domainEnglishFormat.kif 46362-46362 |
antecedent |
![]() |
(=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2))) |
Merge.kif 18029-18033 |
consequent |
![]() |
(=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4521-4538 | |
(=> (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 5889-5902 | |
(=> (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 5737-5751 | |
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT)))) |
Merge.kif 18042-18046 |
![]() |
![]() |