TreeView Knowledge Base Browser - Snowstorm

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Snowstorm

Snowstorm(snow storm)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2934-2935
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2932-2933
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2936-2936	Snow storm is a subclass of storm

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2938-2938
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2937-2937

antecedent

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

Weather.kif 2940-2955

If a physical is an instance of snow storm,
then there exist an entity, another entity and a third entity such that the entity is an instance of snowing 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 and the rate of snow falling at the other entity during the time of existence of the entity is the per of the third entity centimeter(s) and 1 hour duration(s) and the third entity is greater than 5.0 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