| SulphurDioxide(二氧化硫) | |
| appearance as argument number 1 |
|
|
| (documentation SulphurDioxide ChineseLanguage "SulfurDioxide 是一种有毒的 Gas，它的化学 公式为SO2。") | Geography.kif 7149-7150 | |
| (documentation SulphurDioxide EnglishLanguage "SulfurDioxide is a toxic Gas with a chemical formula of SO2.") | Geography.kif 7146-7147 | |
| (roomTempState SulphurDioxide Gas) | Mid-level-ontology.kif 31576-31576 | roomTempState 二氧化硫 and 加油站 |
| (subclass SulphurDioxide CompoundSubstance) | Geography.kif 7144-7144 | 二氧化硫 是 复合物质 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SulphurDioxide "二氧化硫") | Geography.kif 7154-7154 | |
| (termFormat EnglishLanguage SulphurDioxide "sulphur dioxide") | Geography.kif 7152-7152 |
| appearance as argument number 3 |
|
|
| (molecularRatio Oxygen 2 SulphurDioxide) | Geography.kif 7157-7157 | molecularRatio 氧, 2 and 二氧化硫 |
| (molecularRatio Sulphur 1 SulphurDioxide) | Geography.kif 7156-7156 | molecularRatio 硫, 1 and 二氧化硫 |
| antecedent |
|
|
| (=> (and (instance ?Y SulphurDioxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas))) |
Geography.kif 7159-7165 | |
| (=> (instance ?Y SulphurDioxide) (modalAttribute (exists (?D ?P) (and (instance ?D Damaging) (instance ?P Human) (instrument ?D ?Y) (patient ?D ?P))) Possibility)) |
Geography.kif 7167-7175 |
| consequent |
|
|
| (=> (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 |
|
|
|