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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UplandArea
UplandArea

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 UplandArea e' uma sub-classe de LandForm

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4171-4171 Butte e' uma sub-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4044-4044 Hill e' uma sub-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4155-4155 Mesa e' uma sub-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4027-4027 Mountain e' uma sub-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4013-4013 MountainRange e' uma sub-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4136-4136 Plateau e' uma sub-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4093-4093 WatershedDivide e' uma sub-classe de UplandArea
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