Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SulphurDioxide

Sigma KEE - SulphurDioxide
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


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

Show without tree


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