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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AridClimateZone

 Sigma KEE - AridClimateZone
AridClimateZone(干旱气候带)

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 干旱气候带 是 气候区 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1358-1358 沙漠气候区 是 干旱气候带 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 1352-1352 草原气候区 是 干旱气候带 的 subclass
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 1257-1269


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