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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParticulateMatter
ParticulateMatter

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


(documentation ParticulateMatter ChineseLanguage "ParticulateMatter 悬浮在大气中的微小固体或 液体颗粒, 它的 approximateDiameter 小于 1,000 Micrometer (0.001mm)。") Geography.kif 6750-6751
(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 6746-6748
(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter) Geography.kif 6755-6755 partition ParticulateMatter, CoarseParticulateMatter and FineParticulateMatter
(subclass ParticulateMatter Mixture) Geography.kif 6753-6753 subclass ParticulateMatter and 混合物

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


(subclass CoarseParticulateMatter ParticulateMatter) Geography.kif 6782-6782 subclass CoarseParticulateMatter and ParticulateMatter
(subclass FineParticulateMatter ParticulateMatter) Geography.kif 6811-6811 subclass FineParticulateMatter and ParticulateMatter
(termFormat ChineseLanguage ParticulateMatter "悬浮颗粒") Geography.kif 6761-6761 termFormat ChineseLanguage, ParticulateMatter and "悬浮颗粒"
(termFormat EnglishLanguage ParticulateMatter "PM") Geography.kif 6759-6759 termFormat EnglishLanguage, ParticulateMatter and "PM"
(termFormat EnglishLanguage ParticulateMatter "particulate matter") Geography.kif 6757-6757 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 6790-6801 instance オブジェクト and ParticulateMatter part 自己接続オブジェクト and オブジェクト approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer greaterThan 10 and 実数 greaterThan 実数 and 2.5 オブジェクト0 instance オブジェクト0 and CoarseParticulateMatter part オブジェクト0 and オブジェクト
(<=>
    (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 6819-6829 instance オブジェクト and ParticulateMatter part 自己接続オブジェクト and オブジェクト approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer greaterThanOrEqualTo 実数 and 2.5 オブジェクト5 instance オブジェクト5 and FineParticulateMatter part オブジェクト5 and オブジェクト
(=>
    (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 992-1005
(=>
    (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 6763-6772


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