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 1897-1902
No TPTP formula. May not be expressible in strict first order. Geography.kif 1894-1894 The number 1 argument of elevation is an instance of object
No TPTP formula. May not be expressible in strict first order. Geography.kif 1895-1895 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 1893-1893 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 21807-21807
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

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1925-1933
No TPTP formula. May not be expressible in strict first order. Geography.kif 1910-1915
No TPTP formula. May not be expressible in strict first order. Geography.kif 1967-1978
No TPTP formula. May not be expressible in strict first order. Geography.kif 1943-1957
No TPTP formula. May not be expressible in strict first order. Geography.kif 6467-6480
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 1917-1923
No TPTP formula. May not be expressible in strict first order. Geography.kif 1904-1909

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1967-1978
No TPTP formula. May not be expressible in strict first order. Geography.kif 1943-1957
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 6467-6480
No TPTP formula. May not be expressible in strict first order. Geography.kif 4735-4740
No TPTP formula. May not be expressible in strict first order. Geography.kif 4728-4733
No TPTP formula. May not be expressible in strict first order. Weather.kif 1731-1741

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4582-4584 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 4586-4588 -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 4725-4726 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