| 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 17977-17979 | |
| (domain geometricDistance 1 GeometricPoint) | Merge.kif 17974-17974 | 几何距离 的 1 数量 是 几何点 的 instance |
| (domain geometricDistance 2 GeometricPoint) | Merge.kif 17975-17975 | 几何距离 的 2 数量 是 几何点 的 instance |
| (domain geometricDistance 3 LengthMeasure) | Merge.kif 17976-17976 | 几何距离 的 3 数量 是 长度测量 的 instance |
| (instance geometricDistance SingleValuedRelation) | Merge.kif 17972-17972 | 几何距离 是 单值关系 的 instance |
| (instance geometricDistance TernaryPredicate) | Merge.kif 17971-17971 | 几何距离 是 三元谓语 的 instance |
| (instance geometricDistance TotalValuedRelation) | Merge.kif 17973-17973 | 几何距离 是 总值关系 的 instance |
| 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 4966-4971 | |
| (=> (geometricDistance ?POINT1 ?POINT2 ?LENGTH) (geometricDistance ?POINT2 ?POINT1 ?LENGTH)) |
Merge.kif 17981-17983 |
| consequent |
|
|
| (=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST))))) |
Mid-level-ontology.kif 4990-4998 | |
| (=> (geometricDistance ?POINT1 ?POINT2 ?LENGTH) (geometricDistance ?POINT2 ?POINT1 ?LENGTH)) |
Merge.kif 17981-17983 | |
| (=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Merge.kif 7651-7657 |
|
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