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 7470-7471
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7466-7468
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7475-7475	PM is exhaustively partitioned into PM10 and PM2.5
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33336-33336	room temperature state PM and solid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7473-7473	PM is a subclass of mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7502-7502	PM10 is a subclass of PM
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7531-7531	PM2.5 is a subclass of PM
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7481-7481	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

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7510-7521	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 7539-7549	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 7483-7492	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