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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UplandArea

 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 est une sous-classe de LandForm

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4171-4171 Butte est une sous-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4044-4044 Hill est une sous-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4155-4155 Mesa est une sous-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4027-4027 Mountain est une sous-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4013-4013 MountainRange est une sous-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4136-4136 Plateau est une sous-classe de UplandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4093-4093 WatershedDivide est une sous-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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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