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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FineParticulateMatter

Sigma KEE - FineParticulateMatter
FineParticulateMatter

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


(documentation FineParticulateMatter EnglishLanguage "FineParticles are ParticulateMatter with an approximateDiameter less than 2.5 Micrometers.") Geography.kif 6805-6806
(subclass FineParticulateMatter ParticulateMatter) Geography.kif 6811-6811

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


(termFormat ChineseLanguage FineParticulateMatter "细悬浮颗粒") Geography.kif 6817-6817
(termFormat EnglishLanguage FineParticulateMatter "PM2.5") Geography.kif 6815-6815
(termFormat EnglishLanguage FineParticulateMatter "fine particulate matter") Geography.kif 6813-6813

appearance as argument number 3
-------------------------


(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter) Geography.kif 6755-6755

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


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


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