TreeView Knowledge Base Browser - DustStorm

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 1253-1255
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1250-1252
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 1249-1249	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 1306-1306	Haboob is a subclass of dust storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1294-1294	Sand storm is a subclass of dust storm
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20718-20718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20717-20717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20716-20716

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2596-2604	If a process is an instance of dust storm and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object 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 1271-1292	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,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object 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.0 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 fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1257-1269	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other geographic area

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