CoarseParticulateMatter - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CoarseParticulateMatter EnglishLanguage "CoarseParticulateMatter are ParticulateMatter with an approximateDiameter between 2.5 and 10 Micrometers.")	Geography.kif 9027-9028
(documentation CoarseParticulateMatter ChineseLanguage "CoarseParticulateMatter 是 approximateDiameter 介于 2.5 和 10 Micrometer 之间的 ParticulateMatter。")	Geography.kif 9030-9031
(subclass CoarseParticulateMatter ParticulateMatter)	Geography.kif 9033-9033	PM10 is a subclass of PM
(documentation CoarseParticulateMatter ChineseLanguage "FineParticle 是 approximateDiameter 小于 2.5 Micrometer 的 ParticulateMatter。")	Geography.kif 9059-9060	PM10 is a subclass of PM

appearance as argument number 2

(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter)	Geography.kif 9008-9008	PM is exhaustively partitioned into PM10 and PM2.5
(termFormat EnglishLanguage CoarseParticulateMatter "coarse particulate matter")	Geography.kif 9035-9035	PM is exhaustively partitioned into PM10 and PM2.5
(termFormat EnglishLanguage CoarseParticulateMatter "PM10")	Geography.kif 9037-9037	PM is exhaustively partitioned into PM10 and PM2.5
(termFormat ChineseLanguage CoarseParticulateMatter "粗悬浮颗粒")	Geography.kif 9039-9039	PM is exhaustively partitioned into PM10 and PM2.5

consequent

(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10.0 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))

X is an instance of PM and Y is a part of X and the approximate diameter of Y is Z micrometer(s) and 10.0 is greater than Z and Z is greater than 2.5 if and only if there exists W such that W is an instance of PM10 and W is a part of X