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 | pointOfIntersection の数値 1 引数は OneDimensionalFigure の instance では %n |
(domain pointOfIntersection 2 OneDimensionalFigure) | Merge.kif 17841-17841 | pointOfIntersection の数値 2 引数は OneDimensionalFigure の instance では %n |
(domain pointOfIntersection 3 GeometricPoint) | Merge.kif 17842-17842 | pointOfIntersection の数値 3 引数は GeometricPoint の instance では %n |
(instance pointOfIntersection TernaryPredicate) | Merge.kif 17839-17839 | pointOfIntersection は 3進述語 の instance では %n |
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 |