ParticulateMatter - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ParticulateMatter ChineseLanguage "ParticulateMatter 悬浮在大气中的微小固体或液体颗粒, 它的 approximateDiameter 小于 1,000 Micrometer (0.001mm)。")	Geography.kif 6766-6767
(documentation ParticulateMatter EnglishLanguage "ParticulateMatter is a mixture of very small solid or liquid matter suspended in Earth's atmosphere with an approximateDiameter of less than 1,000 Micrometers (0.001 mm).")	Geography.kif 6762-6764
(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter)	Geography.kif 6771-6771	partition ParticulateMatter, CoarseParticulateMatter and FineParticulateMatter
(subclass ParticulateMatter Mixture)	Geography.kif 6769-6769	subclass ParticulateMatter and Mixture

appearance as argument number 2

(subclass CoarseParticulateMatter ParticulateMatter)	Geography.kif 6798-6798	subclass CoarseParticulateMatter and ParticulateMatter
(subclass FineParticulateMatter ParticulateMatter)	Geography.kif 6827-6827	subclass FineParticulateMatter and ParticulateMatter
(termFormat ChineseLanguage ParticulateMatter "悬浮颗粒")	Geography.kif 6777-6777	termFormat ChineseLanguage, ParticulateMatter and "悬浮颗粒"
(termFormat EnglishLanguage ParticulateMatter "PM")	Geography.kif 6775-6775	termFormat EnglishLanguage, ParticulateMatter and "PM"
(termFormat EnglishLanguage ParticulateMatter "particulate matter")	Geography.kif 6773-6773	termFormat EnglishLanguage, ParticulateMatter and "particulate matter"

antecedent

(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM))))	Geography.kif 6806-6817	instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThan 10 and RealNumber greaterThan RealNumber and 2.5 Object0 instance Object0 and CoarseParticulateMatter part Object0 and Object
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM))))	Geography.kif 6835-6845	instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThanOrEqualTo RealNumber and 2.5 Object5 instance Object5 and FineParticulateMatter part Object5 and Object
(=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA AtmosphericRegion) (instance ?PARTICULATE ParticulateMatter) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2) (lessThan ?VISIBILITY 5)))	Weather.kif 1089-1102	instance Process and AtmosphericHazing eventLocated Process and Region instance Region and AtmosphericRegion instance Object and ParticulateMatter locatedAtTime Object, WhenFn Process and Region visibilityInMeteorology Region, WhenFn Process and MeasureFn RealNumber and Kilometer greaterThan RealNumber and 2 lessThan RealNumber and 5
(=> (instance ?PM ParticulateMatter) (exists (?P ?ATMOSPHERE ?S) (and (instance ?ATMOSPHERE AtmosphericRegion) (located ?PM ?ATMOSPHERE) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 1000 ?S))))	Geography.kif 6779-6788	instance Object and ParticulateMatter SelfConnectedObject Object and RealNumber instance Object and AtmosphericRegion located Object and Object part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThan 1000 and RealNumber

consequent

(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?WIND ?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30)
            (instance ?TRANSLOCATE Translocation)
            (subProcess ?TRANSLOCATE ?DUSTSTORM)
            (objectTransferred ?TRANSLOCATE ?PM)
            (objectTransferred ?TRANSLOCATE ?SAND)
            (instance ?PM ParticulateMatter)
            (instance ?SAND Sand)
            (instance ?A2 LandArea)
            (destination ?TRANSLOCATE ?A2)
            (not
                (overlapsSpatially ?A1 ?A2)))))

Weather.kif 902-923

instance Process and DustStorm instance Process and Wind subProcess Process and Process
Process Transfer, Object, Object, Object, Entity and RealNumber instance Object and LandArea eventLocated Process and Object surfaceWindSpeed Object and MeasureFn RealNumber and KnotUnitOfSpeed greaterThan RealNumber and 30 instance Transfer and Translocation subProcess Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object instance Object and ParticulateMatter instance Object and Sand instance Entity and LandArea destination Transfer and Entity overlapsSpatially Object and Entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: