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 2537-2537	Acidifying is a causes subclass of acid rainfall
(documentation AcidRainfall ChineseLanguage "AcidRainfall 是 Raining 的子类别，这是当落下的雨含有足够致害分量的 SulphurDioxide、 nitricOxide 或 NitrogenDioxide。酸雨的标准值是低于 5pH。")	Geography.kif 2488-2490	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 2484-2486	Acidifying is a causes subclass of acid rainfall
(externalImage AcidRainfall "http://articulatesoftware.com/SUMOpictures/ weather/ rain_acid.png")	pictureList.kif 2071-2071	Acidifying is a causes subclass of acid rainfall
(subclass AcidRainfall Raining)	Geography.kif 2493-2493	Acid rainfall is a subclass of raining

appearance as argument number 2

(causesSubclass AirPollution AcidRainfall)	Geography.kif 2536-2536	Acid rainfall is a causes subclass of air pollution
(termFormat ChineseLanguage AcidRainfall "酸雨")	domainEnglishFormat.kif 5320-5320	Acid rainfall is a causes subclass of air pollution
(termFormat ChineseTraditionalLanguage AcidRainfall "酸雨")	domainEnglishFormat.kif 5319-5319	Acid rainfall is a causes subclass of air pollution
(termFormat EnglishLanguage AcidRainfall "acid rainfall")	domainEnglishFormat.kif 5318-5318	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 2509-2517	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 2495-2507	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 2519-2534	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