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 17843-17844 | |
(domain pointOfIntersection 1 OneDimensionalFigure) | Merge.kif 17840-17840 | 域 交點, 1 and 一維圖 |
(domain pointOfIntersection 2 OneDimensionalFigure) | Merge.kif 17841-17841 | 域 交點, 2 and 一維圖 |
(domain pointOfIntersection 3 GeometricPoint) | Merge.kif 17842-17842 | 域 交點, 3 and 幾何點 |
(instance pointOfIntersection TernaryPredicate) | Merge.kif 17839-17839 | 例 交點 and TernaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage pointOfIntersection "%1 %n 是 对于 %3 的 交接点 %2 ") | domainEnglishFormat.kif 1975-1975 | |
(format ChineseTraditionalLanguage pointOfIntersection "%1 %n 是 對於 %3 的 交接點 %2 ") | domainEnglishFormat.kif 1974-1974 | |
(format EnglishLanguage pointOfIntersection "%1 is %n point of intersection %2 for %3") | domainEnglishFormat.kif 1973-1973 | |
(termFormat ChineseLanguage pointOfIntersection "交点") | domainEnglishFormat.kif 46362-46362 | |
(termFormat ChineseTraditionalLanguage pointOfIntersection "交點") | domainEnglishFormat.kif 46361-46361 | |
(termFormat EnglishLanguage pointOfIntersection "point of intersection") | domainEnglishFormat.kif 46360-46360 |
antecedent |
(=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2))) |
Merge.kif 17846-17850 |
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 4078-4095 |
|
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT)))) |
Merge.kif 17859-17863 |