geometricDistance |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage geometricDistance "%1 %p{是} %n{不是} 对于 %3 的 geometric 距离 %2 ") | domainEnglishFormat.kif 1101-1101 | |
(format ChineseTraditionalLanguage geometricDistance "%1 %p{是} %n{不是} 對於 %3 的 geometric 距離 %2 ") | domainEnglishFormat.kif 1100-1100 | |
(format EnglishLanguage geometricDistance "%1 %p{is} %n{isn't} geometric distance %2 for %3") | domainEnglishFormat.kif 1099-1099 | |
(relatedInternalConcept arcLength geometricDistance) | Mid-level-ontology.kif 5289-5289 | arc length is internally related to geometric distance |
(termFormat ChineseLanguage geometricDistance "几何距离") | domainEnglishFormat.kif 25840-25840 | arc length is internally related to geometric distance |
(termFormat ChineseTraditionalLanguage geometricDistance "幾何距離") | domainEnglishFormat.kif 25839-25839 | arc length is internally related to geometric distance |
(termFormat EnglishLanguage geometricDistance "geometric distance") | domainEnglishFormat.kif 25838-25838 | arc length is internally related to geometric distance |
antecedent |
![]() |
(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 5201-5206 |
|
(=> (geometricDistance ?POINT1 ?POINT2 ?LENGTH) (geometricDistance ?POINT2 ?POINT1 ?LENGTH)) |
Merge.kif 18085-18087 |
|
consequent |
![]() |
![]() |
![]() |