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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemperateClimateZone

Sigma KEE - TemperateClimateZone
TemperateClimateZone(temperate climate zone)
North_Temperate_Zone, South_Temperate_Zone, Temperate_Zone

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1403-1406
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3220-3220
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3000-3000
No TPTP formula. May not be expressible in strict first order. Geography.kif 1398-1398 Temperate 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 1468-1468 Continental climate zone is a subclass of temperate climate zone
No TPTP formula. May not be expressible in strict first order. Geography.kif 1445-1445 Mediterranean climate zone is a subclass of temperate climate zone
No TPTP formula. May not be expressible in strict first order. Geography.kif 1505-1505 Temperate summer dry climate zone is a subclass of temperate climate zone
No TPTP formula. May not be expressible in strict first order. Geography.kif 1497-1497 Temperate winter dry climate zone is a subclass of temperate climate zone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57404-57404
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57403-57403
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57402-57402

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1419-1425
No TPTP formula. May not be expressible in strict first order. Geography.kif 1409-1416
No TPTP formula. May not be expressible in strict first order. Geography.kif 1428-1443


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