Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ParticulateMatter

Sigma KEE - ParticulateMatter
ParticulateMatter

appearance as argument number 1
-------------------------


(documentation ParticulateMatter ChineseLanguage "ParticulateMatter 悬浮在大气中的微小固体或 液体颗粒, 它的 approximateDiameter 小于 1,000 Micrometer (0.001mm)。") Geography.kif 7116-7117
(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 7112-7114
(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter) Geography.kif 7121-7121 partition ParticulateMatter, CoarseParticulateMatter and FineParticulateMatter
(subclass ParticulateMatter Mixture) Geography.kif 7119-7119 subclass ParticulateMatter and Mixture

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


(subclass CoarseParticulateMatter ParticulateMatter) Geography.kif 7148-7148 subclass CoarseParticulateMatter and ParticulateMatter
(subclass FineParticulateMatter ParticulateMatter) Geography.kif 7177-7177 subclass FineParticulateMatter and ParticulateMatter
(termFormat ChineseLanguage ParticulateMatter "悬浮颗粒") Geography.kif 7127-7127
(termFormat EnglishLanguage ParticulateMatter "PM") Geography.kif 7125-7125
(termFormat EnglishLanguage ParticulateMatter "particulate matter") Geography.kif 7123-7123

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 7156-7167 instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThan 10.0 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 7185-7195 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
(=>
    (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 7129-7138

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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