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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WetTropicalClimateZone
WetTropicalClimateZone(wet tropical climate zone)
wet_tropical_climate_zone, 湿热带气候区, 濕熱帶氣候區

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1295-1298
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4949-4949 "http://upload.wikimedia.org/wikipedia/commons/9/90/ River_in_the_Amazon_rainforest.jpg" is a URL depicting wet tropical climate zone
No TPTP formula. May not be expressible in strict first order. Geography.kif 1293-1293 Wet tropical climate zone is a subclass of tropical climate zone

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62893-62893 "湿热带气候区" is the printable form of wet tropical climate zone in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62892-62892 "濕熱帶氣候區" is the printable form of wet tropical climate zone in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62891-62891 "wet tropical climate zone" is the printable form of wet tropical climate zone in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1309-1314

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1300-1307


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners