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 17977-17979
No TPTP formula. May not be expressible in strict first order. Merge.kif 17974-17974 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 17975-17975 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 17976-17976 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 17972-17972 geometric distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17971-17971 geometric distance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17973-17973 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 4966-4971
No TPTP formula. May not be expressible in strict first order. Merge.kif 17981-17983

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4990-4998
No TPTP formula. May not be expressible in strict first order. Merge.kif 17981-17983
No TPTP formula. May not be expressible in strict first order. Merge.kif 7651-7657


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