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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PolarClimateZone

 Sigma KEE - PolarClimateZone
PolarClimateZone(polar climate zone)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1564-1567
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2513-2513
No TPTP formula. May not be expressible in strict first order. Geography.kif 1562-1562 Polar 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 4580-4580 Polar climate zone is an attribute of southern ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 1594-1594 Polar typeF climate zone is a subclass of polar climate zone
No TPTP formula. May not be expressible in strict first order. Geography.kif 1587-1587 Tundra climate zone is a subclass of polar climate zone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46363-46363
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46362-46362
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46361-46361

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1570-1576

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1578-1585


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