Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - elevation
elevation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1899-1904
No TPTP formula. May not be expressible in strict first order. Geography.kif 1896-1896 The number 1 argument of elevation is an instance of object
No TPTP formula. May not be expressible in strict first order. Geography.kif 1897-1897 The number 2 argument of elevation is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 1895-1895 elevation is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 891-891
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 890-890
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 889-889
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21806-21806
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21805-21805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21804-21804

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1927-1935
No TPTP formula. May not be expressible in strict first order. Geography.kif 1912-1917
No TPTP formula. May not be expressible in strict first order. Geography.kif 1969-1980
No TPTP formula. May not be expressible in strict first order. Geography.kif 1945-1959
No TPTP formula. May not be expressible in strict first order. Geography.kif 6479-6492
No TPTP formula. May not be expressible in strict first order. Weather.kif 148-157
No TPTP formula. May not be expressible in strict first order. Geography.kif 1919-1925
No TPTP formula. May not be expressible in strict first order. Geography.kif 1906-1911

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1969-1980
No TPTP formula. May not be expressible in strict first order. Geography.kif 1945-1959
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1488-1496
No TPTP formula. May not be expressible in strict first order. Geography.kif 6479-6492
No TPTP formula. May not be expressible in strict first order. Geography.kif 4746-4751
No TPTP formula. May not be expressible in strict first order. Geography.kif 4739-4744
No TPTP formula. May not be expressible in strict first order. Weather.kif 1732-1742

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4593-4595 0.0 Meter(s) is an elevation of the elevation high point of southern ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4597-4599 -7235.0 Meter(s) is an elevation of the elevation low point of southern ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4736-4737 0.0 Meter(s) is an elevation of sea level


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