geometricDistance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - geometricDistance

geometricDistance

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 18148-18150
(domain geometricDistance 1 GeometricPoint)	Merge.kif 18145-18145	The number 1 argument of geometric distance is an instance of geometric point
(domain geometricDistance 2 GeometricPoint)	Merge.kif 18146-18146	The number 2 argument of geometric distance is an instance of geometric point
(domain geometricDistance 3 LengthMeasure)	Merge.kif 18147-18147	The number 3 argument of geometric distance is an instance of length measure
(instance geometricDistance SingleValuedRelation)	Merge.kif 18143-18143	geometric distance is an instance of single valued relation
(instance geometricDistance TernaryPredicate)	Merge.kif 18142-18142	geometric distance is an instance of ternary predicate
(instance geometricDistance TotalValuedRelation)	Merge.kif 18144-18144	geometric distance is an instance of total valued relation

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 5677-5677	arc length is internally related to geometric distance
(termFormat ChineseLanguage geometricDistance "几何距离")	domainEnglishFormat.kif 25823-25823	arc length is internally related to geometric distance
(termFormat ChineseTraditionalLanguage geometricDistance "幾何距離")	domainEnglishFormat.kif 25822-25822	arc length is internally related to geometric distance
(termFormat EnglishLanguage geometricDistance "geometric distance")	domainEnglishFormat.kif 25821-25821	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 5589-5594	If the center of circle of a circle is equal to a geometric point and the geometric point2 is a vertex of the circle and the geometric point2 is geometric distance the geometric point for a length measure, then the radius of the circle is equal to the length measure
(=> (geometricDistance ?POINT1 ?POINT2 ?LENGTH) (geometricDistance ?POINT2 ?POINT1 ?LENGTH))	Merge.kif 18152-18154	If a geometric point is geometric distance another geometric point for a length measure, then the other geometric point is geometric distance the geometric point for the length measure

consequent

(=> (and (arcLength ?A ?L) (equal ?A CircularArc)) (exists (?P ?P2) (and (pointOfFigure ?P ?A) (pointOfFigure ?P2 ?A) (not (equal ?P ?P2)) (geometricDistance ?P ?P2 ?L))))	Mid-level-ontology.kif 5684-5694	If a length measure is the LengthMeasure of a circular arc and the circular arc is equal to circular arc, then there exist a geometric point and the geometric point2 such that the geometric point is a vertex of the circular arc and the geometric point2 is a vertex of the circular arc and the geometric point is not equal to the geometric point2 and the geometric point is geometric distance the geometric point2 for the length measure
(=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST)))))	Mid-level-ontology.kif 5927-5935	If an attribute is an attribute of an object and the attribute is an instance of sphere, then there exist a geometric point and a length measure such that for all another geometric point if the other geometric point is a vertex of the object, then the other geometric point is geometric distance the geometric point for the length measure
(=> (geometricDistance ?POINT1 ?POINT2 ?LENGTH) (geometricDistance ?POINT2 ?POINT1 ?LENGTH))	Merge.kif 18152-18154	If a geometric point is geometric distance another geometric point for a length measure, then the other geometric point is geometric distance the geometric point for the length measure
(=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS)))))	Merge.kif 7710-7716	If the radius of a circle is a length measure, then there exists a geometric point such that for all another geometric point if the other geometric point is a vertex of the circle, then the other geometric point is geometric distance the geometric point for the length measure

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