| appearance as argument number 1 |
|
| (documentation geometricDistance ChineseLanguage "(geometricDistance ?POINT1 ?POINT2 ?LENGTH) 的意思是 ?LENGTH 是两个 GeometricPoint ?POINT1 和 ?POINT2 之间的距离。") | chinese_format.kif 3997-3998 | |
| (documentation geometricDistance EnglishLanguage "(geometricDistance ?POINT1 ?POINT2 ?LENGTH) means that ?LENGTH is the distance between the two GeometricPoints ?POINT1 and ?POINT2.") | Merge.kif 18062-18064 | |
| (domain geometricDistance 1 GeometricPoint) | Merge.kif 18059-18059 | |
| (domain geometricDistance 2 GeometricPoint) | Merge.kif 18060-18060 | |
| (domain geometricDistance 3 LengthMeasure) | Merge.kif 18061-18061 | |
| (instance geometricDistance SingleValuedRelation) | Merge.kif 18057-18057 | |
| (instance geometricDistance TernaryPredicate) | Merge.kif 18056-18056 | |
| (instance geometricDistance TotalValuedRelation) | Merge.kif 18058-18058 |
| 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 | |
| (termFormat ChineseLanguage geometricDistance "几何距离") | domainEnglishFormat.kif 25841-25841 | |
| (termFormat ChineseTraditionalLanguage geometricDistance "幾何距離") | domainEnglishFormat.kif 25840-25840 | |
| (termFormat EnglishLanguage geometricDistance "geometric distance") | domainEnglishFormat.kif 25839-25839 |
| antecedent |
|
|
| (=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 4955-4960 | |
| (=> (geometricDistance ?POINT1 ?POINT2 ?LENGTH) (geometricDistance ?POINT2 ?POINT1 ?LENGTH)) |
Merge.kif 18066-18068 |
| consequent |
|
|
| (=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST))))) |
Mid-level-ontology.kif 4984-4992 | |
| (=> (geometricDistance ?POINT1 ?POINT2 ?LENGTH) (geometricDistance ?POINT2 ?POINT1 ?LENGTH)) |
Merge.kif 18066-18068 | |
| (=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Merge.kif 7689-7695 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners