|
|
   ParticulateMatter
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ParticulateMatter ChineseLanguage "ParticulateMatter 悬浮在大气中的微小固体或 液体颗粒, 它的 approximateDiameter 小于 1,000 Micrometer (0.001mm)。") | Geography.kif 7307-7308 | |
| (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 7303-7305 | |
| (partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter) | Geography.kif 7312-7312 | |
| (roomTempState ParticulateMatter Solid) | Mid-level-ontology.kif 31533-31533 | |
| (subclass ParticulateMatter Mixture) | Geography.kif 7310-7310 |
| appearance as argument number 2 |
|
|
| (subclass CoarseParticulateMatter ParticulateMatter) | Geography.kif 7339-7339 | |
| (subclass FineParticulateMatter ParticulateMatter) | Geography.kif 7368-7368 | |
| (termFormat ChineseLanguage ParticulateMatter "悬浮颗粒") | Geography.kif 7318-7318 | |
| (termFormat EnglishLanguage ParticulateMatter "PM") | Geography.kif 7316-7316 | |
| (termFormat EnglishLanguage ParticulateMatter "particulate matter") | Geography.kif 7314-7314 |
| 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 7347-7358 | |
| (<=> (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 7376-7386 | |
| (=> (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 7320-7329 |
| 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 1275-1296 |
|
|
|