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

Formal Language: 



KB Term:  Term intersection
English Word: 

  elevation

 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 Le nombre 1 argument de elevation est une instance de objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 1892-1892 Le nombre 2 argument de elevation est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order. Geography.kif 1890-1890 elevation est une instance de pr�dicat binaire

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 148-157
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 1732-1742

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 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