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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElevationLowPointFn
ElevationLowPointFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1939-1941
No TPTP formula. May not be expressible in strict first order. Geography.kif 1936-1936 The number 1 argument of elevation low point is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 1935-1935 Elevation low point is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 1937-1937 The range of elevation low point is an instance of geographic area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 899-899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 898-898
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 897-897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21819-21819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21818-21818
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21817-21817

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1943-1957

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1943-1957

statement
-------------------------


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


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