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 1379-1383
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3221-3221
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3001-3001
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1377-1377	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 1432-1432	Continental climate zone is a subclass of temperate climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1409-1409	Mediterranean climate zone is a subclass of temperate climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1469-1469	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 1461-1461	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 57285-57285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57284-57284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57283-57283

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1393-1398	If a geographic area is an instance of temperate climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then the temperature measure is greater than or equal to -3 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1385-1391	If a geographic area is an instance of temperate climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is greater than 10 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1400-1407	If a geographic area is an instance of temperate climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is greater than or equal to -3 celsius degree(s) and the temperature measure is less than or equal to 18 celsius degree(s)

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