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
-------------------------


(documentation ParticulateMatter ChineseLanguage "ParticulateMatter 悬浮在大气中的微小固体或 液体颗粒, 它的 approximateDiameter 小于 1,000 Micrometer (0.001mm)。") Geography.kif 7400-7401
(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 7396-7398
(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter) Geography.kif 7405-7405 PM is exhaustively partitioned into PM10 and PM2.5
(roomTempState ParticulateMatter Solid) Mid-level-ontology.kif 31632-31632 roomTempState PM and solid
(subclass ParticulateMatter Mixture) Geography.kif 7403-7403 PM is a subclass of mixture

appearance as argument number 2
-------------------------


(subclass CoarseParticulateMatter ParticulateMatter) Geography.kif 7432-7432 PM10 is a subclass of PM
(subclass FineParticulateMatter ParticulateMatter) Geography.kif 7461-7461 PM2.5 is a subclass of PM
(termFormat ChineseLanguage ParticulateMatter "悬浮颗粒") Geography.kif 7411-7411
(termFormat EnglishLanguage ParticulateMatter "PM") Geography.kif 7409-7409
(termFormat EnglishLanguage ParticulateMatter "particulate matter") Geography.kif 7407-7407

antecedent
-------------------------


(<=>
    (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))))
Geography.kif 7440-7451 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
(<=>
    (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 7469-7479 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
(=>
    (instance ?PM ParticulateMatter)
    (exists (?P ?ATMOSPHERE ?S)
        (and
            (instance ?ATMOSPHERE AtmosphericRegion)
            (located ?PM ?ATMOSPHERE)
            (part ?P ?PM)
            (approximateDiameter ?P
                (MeasureFn ?S Micrometer))
            (greaterThan 1000.0 ?S))))
Geography.kif 7413-7422

consequent
-------------------------


(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30.0)
            (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 1275-1296


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