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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoarseParticulateMatter

Sigma KEE - CoarseParticulateMatter
CoarseParticulateMatter

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


(documentation CoarseParticulateMatter ChineseLanguage "CoarseParticulateMatterapproximateDiameter 介于 2.5 和 10 Micrometer 之间的 ParticulateMatter。") Geography.kif 6779-6780
(documentation CoarseParticulateMatter ChineseLanguage "FineParticle 是 approximateDiameter 小于 2.5 MicrometerParticulateMatter。") Geography.kif 6808-6809
(documentation CoarseParticulateMatter EnglishLanguage "CoarseParticulateMatter are ParticulateMatter with an approximateDiameter between 2.5 and 10 Micrometers.") Geography.kif 6776-6777
(subclass CoarseParticulateMatter ParticulateMatter) Geography.kif 6782-6782

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


(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter) Geography.kif 6755-6755
(termFormat ChineseLanguage CoarseParticulateMatter "粗悬浮颗粒") Geography.kif 6788-6788
(termFormat EnglishLanguage CoarseParticulateMatter "PM10") Geography.kif 6786-6786
(termFormat EnglishLanguage CoarseParticulateMatter "coarse particulate matter") Geography.kif 6784-6784

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


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


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