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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UplandArea
UplandArea(upland area)bank, bluff, esker, ridge, scablands

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3981-3982
No TPTP formula. May not be expressible in strict first order. Geography.kif 3980-3980 Upland area is a subclass of land form

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4171-4171 Butte is a subclass of upland area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4044-4044 Hill is a subclass of upland area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4155-4155 Mesa is a subclass of upland area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4027-4027 Mountain is a subclass of upland area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4013-4013 Mountain range is a subclass of upland area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4136-4136 Plateau is a subclass of upland area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4093-4093 Watershed divide is a subclass of upland area
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60620-60620
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60619-60619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60618-60618

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1797-1799


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