Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FineParticulateMatter(PM2.5) |
| appearance as argument number 1 |
|
| (documentation FineParticulateMatter EnglishLanguage "FineParticles are ParticulateMatter with an approximateDiameter less than 2.5 Micrometers.") | Geography.kif 9056-9057 | |
| (subclass FineParticulateMatter ParticulateMatter) | Geography.kif 9062-9062 | PM2.5 is a subclass of PM |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FineParticulateMatter "fine particulate matter") | Geography.kif 9064-9064 | |
| (termFormat EnglishLanguage FineParticulateMatter "PM2.5") | Geography.kif 9066-9066 | |
| (termFormat ChineseLanguage FineParticulateMatter "细悬浮颗粒") | Geography.kif 9068-9068 |
| appearance as argument number 3 |
|
|
| (partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter) | Geography.kif 9008-9008 | PM is exhaustively partitioned into PM10 and PM2.5 |
| 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 9070-9080 | X is an instance of PM and Y is a part of X and the approximate diameter of Y is Z micrometer(s) and Z is greater than or equal to 2.5 if and only if there exists W such that W is an instance of PM2.5 and W is a part of X |
|