TreeView Knowledge Base Browser - SubtropicalDesertClimateZone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SubtropicalDesertClimateZone

Sigma KEE - SubtropicalDesertClimateZone

SubtropicalDesertClimateZone(subtropical desert climate zone)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1364-1368
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1363-1363	Subtropical desert climate zone is a subclass of desert climate zone

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55860-55860
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55859-55859
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55858-55858

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 1379-1386

If subtropical desert 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 18.0

consequent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 1370-1377

If desert 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) and the real number is greater than 18.0,
then subtropical desert climate zone is a climate type in area of the geographic area

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