TreeView Knowledge Base Browser - SemiaridClimateZone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SemiaridClimateZone

Sigma KEE - SemiaridClimateZone

SemiaridClimateZone(semiarid climate zone)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2630-2630
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2523-2523
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1396-1396	Semiarid climate zone is a subclass of climate zone

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52017-52017
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52016-52016
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52015-52015

consequent

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

Weather.kif 1261-1273

If a process is an instance of dust storm,
then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other 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