TreeView Knowledge Base Browser - geometricDistance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

geometricDistance

Sigma KEE - geometricDistance

geometricDistance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3997-3998
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18056-18058
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18053-18053	The number 1 argument of geometric distance is an instance of geometric point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18054-18054	The number 2 argument of geometric distance is an instance of geometric point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18055-18055	The number 3 argument of geometric distance is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18051-18051	geometric distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18050-18050	geometric distance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18052-18052	geometric distance is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1101-1101
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1100-1100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1099-1099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25812-25812
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25811-25811
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25810-25810

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4955-4960	If the center of circle of an object is equal to a geometric point and the geometric point2 is a vertex of the object and the geometric point2 is geometric distance the geometric point for a length measure, then the radius of the object is equal to the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18060-18062	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4984-4992	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18060-18062	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7679-7685	If the radius of an object 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 object, then the other geometric point is geometric distance the geometric point for the length measure

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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