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 海拔, 1 and Object
No TPTP formula. May not be expressible in strict first order. Geography.kif 1892-1892 海拔, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order. Geography.kif 1890-1890 海拔 and BinaryPredicate

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 測量 0.0 and 儀表南部海洋elevation 高點 的 elevation
No TPTP formula. May not be expressible in strict first order. Geography.kif 4687-4689 測量 -7235.0 and 儀表南部海洋elevation 低點 的 elevation
No TPTP formula. May not be expressible in strict first order. Geography.kif 4827-4828 測量 0.0 and 儀表海平面elevation


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