ParticulateMatter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ParticulateMatter

ParticulateMatter(PM)

dust, particulate, particulate_matter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7468-7469
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7464-7466
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7473-7473	PM is exhaustively partitioned into PM10 and PM2.5
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32584-32584	roomTempState PM and solid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7471-7471	PM is a subclass of mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7500-7500	PM10 is a subclass of PM
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7529-7529	PM2.5 is a subclass of PM
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7479-7479	PM2.5 is a subclass of PM
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7477-7477	PM2.5 is a subclass of PM
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7475-7475	PM2.5 is a subclass of PM

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7508-7519	An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10.0 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7537-7547	An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7481-7490	If an object is an instance of PM, then there exist a self connected object, another object and a real number such that the other object is an instance of atmospheric region and the object is located at the other object and the self connected object is a part of the object and the approximate diameter of the self connected object is the real number micrometer(s) and 1000.0 is greater than the real number

consequent

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

Weather.kif 1259-1280

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

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