| 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 17999-18001 | |
| (domain geometricDistance 1 GeometricPoint) | Merge.kif 17996-17996 | |
| (domain geometricDistance 2 GeometricPoint) | Merge.kif 17997-17997 | |
| (domain geometricDistance 3 LengthMeasure) | Merge.kif 17998-17998 | |
| (instance geometricDistance SingleValuedRelation) | Merge.kif 17994-17994 | |
| (instance geometricDistance TernaryPredicate) | Merge.kif 17993-17993 | |
| (instance geometricDistance TotalValuedRelation) | Merge.kif 17995-17995 |
| 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 25812-25812 | |
| (termFormat ChineseTraditionalLanguage geometricDistance "幾何距離") | domainEnglishFormat.kif 25811-25811 | |
| (termFormat EnglishLanguage geometricDistance "geometric distance") | domainEnglishFormat.kif 25810-25810 |
| antecedent |
|
|
| (=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 4960-4965 | |
| (=> (geometricDistance ?POINT1 ?POINT2 ?LENGTH) (geometricDistance ?POINT2 ?POINT1 ?LENGTH)) |
Merge.kif 18003-18005 |
| consequent |
|
|
| (=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST))))) |
Mid-level-ontology.kif 4989-4997 | |
| (=> (geometricDistance ?POINT1 ?POINT2 ?LENGTH) (geometricDistance ?POINT2 ?POINT1 ?LENGTH)) |
Merge.kif 18003-18005 | |
| (=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Merge.kif 7665-7671 |
|
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