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 17922-17923 | |
(domain pointOfIntersection 1 OneDimensionalFigure) | Merge.kif 17919-17919 | Il numero 1 argomenti di pointOfIntersection è un istanza di OneDimensionalFigure |
(domain pointOfIntersection 2 OneDimensionalFigure) | Merge.kif 17920-17920 | Il numero 2 argomenti di pointOfIntersection è un istanza di OneDimensionalFigure |
(domain pointOfIntersection 3 GeometricPoint) | Merge.kif 17921-17921 | Il numero 3 argomenti di pointOfIntersection è un istanza di GeometricPoint |
(instance pointOfIntersection TernaryPredicate) | Merge.kif 17918-17918 | pointOfIntersection è un' istanza di PredicatoTernario |
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 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 17925-17929 |
consequent |