AcidRainfall - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AcidRainfall

AcidRainfall(acid rainfall)

acid_precipitation, acid_rain

appearance as argument number 1

(causesSubclass AcidRainfall Acidification)	Geography.kif 2525-2525	Acidifying is a causes subclass of acid rainfall
(documentation AcidRainfall ChineseLanguage "AcidRainfall 是 Raining 的子类别，这是当落下的雨含有足够致害分量的 SulphurDioxide、 nitricOxide 或 NitrogenDioxide。酸雨的标准值是低于 5pH。")	Geography.kif 2476-2478	Acidifying is a causes subclass of acid rainfall
(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 2472-2474	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
(subclass AcidRainfall Raining)	Geography.kif 2481-2481	Acid rainfall is a subclass of raining

appearance as argument number 2

(causesSubclass AirPollution AcidRainfall)	Geography.kif 2524-2524	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
(termFormat ChineseTraditionalLanguage AcidRainfall "酸雨")	domainEnglishFormat.kif 5324-5324	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

antecedent

(=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5.0))))	Geography.kif 2497-2505	If a process is an instance of acid rainfall, then there exist a physical and a real number such that the physical is an instance of water and the physical is a patient of the process and the measure of the physical is the real number PH value(s) and the real number is less than 5.0
(=> (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 2483-2495	If a process is an instance of acid rainfall, then there exist an object, another object,, , a third object and the third object2 such that the object is an instance of water and the object is a patient of the process and the other object is an instance of sulphur dioxide and the third object is an instance of nitric oxide and the third object2 is an instance of nitrogen dioxide and the other object is a part of the object or the third object is a part of the object or the third object2 is a part of the object
(=> (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 2507-2522	If acid rainfall is a patient of a process, then the statement there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of damaging and the process causes the entity and the process is an instrument for the entity and the other entity is an instance of organism and the third entity is an instance of stationary artifact and the fourth entity is an instance of outdoors and the third entity is located at the fourth entity and the other entity is located at the fourth entity and the other entity is a patient of the entity or the third entity is a patient of the entity has the modal force of possibility

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners