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 1894-1899
No TPTP formula. May not be expressible in strict first order. Geography.kif 1891-1891 O argumento numero 1 de elevation e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 1892-1892 O argumento numero 2 de elevation e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order. Geography.kif 1890-1890 elevation e' uma instancia de Predicado Binario

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 21810-21810
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21809-21809
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21808-21808

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1922-1930
No TPTP formula. May not be expressible in strict first order. Geography.kif 1907-1912
No TPTP formula. May not be expressible in strict first order. Geography.kif 1964-1975
No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954
No TPTP formula. May not be expressible in strict first order. Geography.kif 6779-6792
No TPTP formula. May not be expressible in strict first order. Weather.kif 136-145
No TPTP formula. May not be expressible in strict first order. Geography.kif 1914-1920
No TPTP formula. May not be expressible in strict first order. Geography.kif 1901-1906

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1964-1975
No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954
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 6779-6792
No TPTP formula. May not be expressible in strict first order. Geography.kif 4837-4842
No TPTP formula. May not be expressible in strict first order. Geography.kif 4830-4835
No TPTP formula. May not be expressible in strict first order. Weather.kif 1715-1725

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4683-4685 elevation ElevationHighPointFn SouthernOcean and 0.0 Meter(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 4687-4689 elevation ElevationLowPointFn SouthernOcean and -7235.0 Meter(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 4827-4828 elevation SeaLevel and 0.0 Meter(s)


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