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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ColdClimateZone

 Sigma KEE - ColdClimateZone
ColdClimateZone(寒冷气候带)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1516-1520
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2448-2448
No TPTP formula. May not be expressible in strict first order. Geography.kif 1514-1514 寒冷气候带 是 气候区 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1543-1543 寒冷气候带 是 寒冷气候带 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 1550-1550 干燥的冬季寒冷气候带 是 寒冷气候带 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15530-15530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15529-15529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15528-15528

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1522-1530
No TPTP formula. May not be expressible in strict first order. Geography.kif 1533-1541


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