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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContinentalClimateZone

 Sigma KEE - ContinentalClimateZone
ContinentalClimateZone(大陆性气候区)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1470-1472
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2452-2452
No TPTP formula. May not be expressible in strict first order. Geography.kif 1468-1468 大陆性气候区 是 温带气候区 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16962-16962
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16961-16961
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16960-16960

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1474-1476
No TPTP formula. May not be expressible in strict first order. Geography.kif 1478-1480


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