TreeView Knowledge Base Browser - HighPressureWeatherSystem

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

HighPressureWeatherSystem

Sigma KEE - HighPressureWeatherSystem

HighPressureWeatherSystem(high pressure weather system)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 798-800
No TPTP formula. May not be expressible in strict first order.	Weather.kif 796-796	High pressure weather system is a subclass of weather system

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 541-541	Low pressure weather system is exhaustively partitioned into high pressure weather system
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28137-28137
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28136-28136
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28135-28135

antecedent

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

Weather.kif 802-808

If a process is an instance of high pressure weather system and the process is located at an object,
then a real number inch mercury(s) is a barometric pressure of the object and the real number is greater than 30.2

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