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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElevationHighPointFn
ElevationHighPointFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1963-1965
No TPTP formula. May not be expressible in strict first order. Geography.kif 1960-1960 The number 1 argument of elevation high point is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 1959-1959 Elevation high point is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 1961-1961 The range of elevation high 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 895-895
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 894-894
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 893-893
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21813-21813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21812-21812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21811-21811

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1967-1978

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1967-1978

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4582-4584 0.0 Meter(s) is an elevation of the elevation high 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