DustStorm - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DustStorm

DustStorm(dust storm)

dust_storm, duster, sandstorm, sirocco

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1257-1259
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1254-1256
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 402-402
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1253-1253	Dust storm is a subclass of storm

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1308-1308	Haboob is a subclass of dust storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1296-1296	Sand storm is a subclass of dust storm
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20709-20709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20708-20708
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20707-20707

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2593-2601	If a process is an instance of dust storm and an entity is an instance of geographic area and the process is located at 2, then the statement BadAirQuality is an attribute of the entity has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1273-1294	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , an entity and a real number such that the third object is an instance of land area and the other process is located at 2 and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the entity is an instance of land area and the transfer ends up at the entity and the third object and the entity is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1261-1271	If a process is an instance of dust storm, then there exists an entity such that the entity is an instance of arid climate zone and the process is located at 2 or there exists another entity such that the other entity is an instance of semiarid climate zone and the process is located at 2

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