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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ColdClimateZone

Sigma KEE - ColdClimateZone
ColdClimateZone(cold climate zone)

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 Cold 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 1543-1543 Cold damp climate zone is a subclass of cold climate zone
No TPTP formula. May not be expressible in strict first order. Geography.kif 1550-1550 Dry winter cold climate zone is a subclass of cold climate zone
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