TreeView Knowledge Base Browser - Storm

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Storm

Storm(storm)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2882-2884
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2878-2881
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2885-2885	Storm is a subclass of weather process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2613-2613	Blizzard is a subclass of storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 553-553	Cyclonic storm is a subclass of storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1249-1249	Dust storm is a subclass of storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2932-2932	Snow storm is a subclass of storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1247-1247	Squall is a subclass of storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 839-839	Thunderstorm is a subclass of storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1644-1644	Tornado is a subclass of storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1238-1238	Windstorm is a subclass of storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2887-2887
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2886-2886

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2901-2910	If a physical is an instance of storm, then there exist an entity and another entity such that the entity is an instance of geographic area and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 30.0 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2912-2925	If a physical is an instance of storm, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of low pressure weather system and the other entity is an instance of region and the entity is located at the other entity and the third entity is an instance of air and the fourth entity is an instance of motion upward and the third entity is a patient of the fourth entity and the fourth entity is located at the other entity and the fourth entity is a subprocess of the entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2889-2899	If a physical is an instance of storm, then the statement there exist an entity and another entity such that the entity is an instance of precipitation and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical has the modal force of likely holds during the time of existence of the physical

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