Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
AcidRainfall(acid rainfall)
|  | acid_precipitation, acid_rain |
| appearance as argument number 1 |
|
|
| (documentation AcidRainfall EnglishLanguage "AcidRainfall is the subclass of Raining in which the precipitate contains harmful amounts of SulphurDioxide, NitricOxide or NitrogenDioxide. The standard for acid rain is below 5pH.") | Geography.kif 3920-3922 | |
| (documentation AcidRainfall ChineseLanguage "AcidRainfall 是 Raining 的子类别， 这是当落下 的雨含有足够致害分量的 SulphurDioxide、 nitricOxide 或 NitrogenDioxide。酸雨的标准值是低于 5pH。") | Geography.kif 3924-3926 | |
| (subclass AcidRainfall Raining) | Geography.kif 3929-3929 | Acid rainfall is a subclass of raining |
| (causesSubclass AcidRainfall Acidification) | Geography.kif 3973-3973 | Acidifying is a causes subclass of acid rainfall |
| (externalImage AcidRainfall "http://articulatesoftware.com/SUMOpictures/ weather/ rain_acid.png") | pictureList.kif 2070-2070 | Acidifying is a causes subclass of acid rainfall |
| appearance as argument number 2 |
|
|
| (causesSubclass AirPollution AcidRainfall) | Geography.kif 3972-3972 | Acid rainfall is a causes subclass of air pollution |
| (termFormat EnglishLanguage AcidRainfall "acid rainfall") | domainEnglishFormat.kif 5323-5323 | Acid rainfall is a causes subclass of air pollution |
| (termFormat ChineseTraditionalLanguage AcidRainfall "酸雨") | domainEnglishFormat.kif 5324-5324 | Acid rainfall is a causes subclass of air pollution |
| (termFormat ChineseLanguage AcidRainfall "酸雨") | domainEnglishFormat.kif 5325-5325 | Acid rainfall is a causes subclass of air pollution |
| antecedent |
|
|
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?SO2 ?NO ?NO2) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (instance ?SO2 SulphurDioxide) (instance ?NO NitricOxide) (instance ?NO2 NitrogenDioxide) (or (part ?SO2 ?RAIN) (part ?NO ?RAIN) (part ?NO2 ?RAIN))))) |
Geography.kif 3931-3943 | If X is an instance of acid rainfall, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of water (3) Y is a patient of X (4) Z is an instance of sulphur dioxide (5) W is an instance of nitric oxide (6) V is an instance of nitrogen dioxide (7) Z is a part of Y or W is a part of Y or V is a part of Y |
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5.0)))) |
Geography.kif 3945-3953 | If X is an instance of acid rainfall, then there exist Y and Z such that Y is an instance of water and Y is a patient of X and the measure of Y is Z PH value(s) and Z is less than 5.0 |
| (=> (patient ?RAIN AcidRainfall) (modalAttribute (exists (?D ?O ?X ?L) (and (instance ?D Damaging) (causes ?RAIN ?D) (instrument ?D ?RAIN) (instance ?O Organism) (instance ?X StationaryArtifact) (instance ?L Outdoors) (located ?X ?L) (located ?O ?L) (or (patient ?D ?O) (patient ?D ?X)))) Possibility)) |
Geography.kif 3955-3970 | If acid rainfall is a patient of X, then All of the following hold: (1) the statement there exist Y, Z,, , W (2) V such that Y is an instance of damaging (3) X causes Y (4) X is an instrument for Y (5) Z is an instance of organism (6) W is an instance of stationary artifact (7) V is an instance of outdoors (8) W is located at V (9) Z is located at V (10) Z is a patient of Y or W is a patient of Y has the modal force of possibility |
|