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 1936-1938
No TPTP formula. May not be expressible in strict first order. Geography.kif 1933-1933 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 1932-1932 Elevation low point is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 1934-1934 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 21822-21822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21821-21821
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21820-21820

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4687-4689 -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