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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AridClimateZone

 Sigma KEE - AridClimateZone
AridClimateZone(arid climate zone)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1346-1350
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2437-2437
No TPTP formula. May not be expressible in strict first order. Geography.kif 1345-1345 Arid climate zone is a subclass of climate zone

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1358-1358 Desert climate zone is a subclass of arid climate zone
No TPTP formula. May not be expressible in strict first order. Geography.kif 1352-1352 Steppe climate zone is a subclass of arid climate zone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8352-8352
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8351-8351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8350-8350

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1261-1273


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