TemperateClimateZone - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 1397-1400
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3219-3219
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2999-2999
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1392-1392	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 1462-1462	Continental climate zone is a subclass of temperate climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1439-1439	Mediterranean climate zone is a subclass of temperate climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1499-1499	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 1491-1491	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 57410-57410	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 57409-57409	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 57408-57408	Temperate winter dry climate zone is a subclass of temperate climate zone

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1413-1419	If temperate climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then the real number is greater than or equal to -3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1403-1410	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than 10.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1422-1437	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than or equal to -3.0 and the real number is less than or equal to 18.0 and there don't exist another time interval and another real number such that the other time interval is an instance of month and the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number

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 3.0 is open source software produced by Articulate Software and its partners