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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TundraClimateZone

 Sigma KEE - TundraClimateZone
TundraClimateZone(苔原气候带)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1586-1589
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3264-3264
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3265-3265
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3266-3266
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3024-3024
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3267-3267
No TPTP formula. May not be expressible in strict first order. Geography.kif 1584-1584 苔原气候带 是 极地气候区 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59468-59468
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59467-59467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59466-59466


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