Blizzard - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Blizzard

Blizzard(blizzard)

blizzard, snowstorm

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2614-2616
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2610-2613
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2116-2116
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2617-2617	Blizzard is a subclass of storm

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11333-11333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11332-11332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11331-11331

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2620-2625	If a process is an instance of blizzard, then there exists another process such that the other process is an instance of snowing and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2642-2651	If a process is an instance of blizzard, then there exist a region and a real number such that the region is an instance of geographic area and the process is located at the region and the visibility at the region during the time of existence of the process is the real number meter(s) and the real number is less than 400.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2627-2640	If a physical is an instance of blizzard, then there exist an entity, another entity and a third entity such that the entity is an instance of geographic area and the physical is located at the entity and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 35.0 and duration of the time of existence of the physical is the third entity hour duration(s) and the third entity is greater than 3 holds during the time of existence of the physical

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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