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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oxygen

Sigma KEE - Oxygen
Oxygen

appearance as argument number 1
-------------------------


(atomicNumber Oxygen 8) Mid-level-ontology.kif 27303-27303
(boilingPoint Oxygen
    (MeasureFn 90.188 KelvinDegree))
Mid-level-ontology.kif 29112-29112
(documentation Oxygen EnglishLanguage "A colourless, odourless gaseous element belonging to group 16 of the periodic table. It is the most abundant element present in the earth's crust. It also makes up 20.8 percent of the Earth's atmosphere. For industrial purposes, it is separated from liquid air by fractional distillation. It is used in high temperature welding, and in breathing. It commonly comes in the form of Oxygen, but is found as Ozone in the upper atmosphere. It was discovered by Priestley in 1774.") Mid-level-ontology.kif 27311-27318
(externalImage Oxygen "http://upload.wikimedia.org/wikipedia/commons/0/01/ O-TableImage.png") pictureList.kif 1887-1887
(meltingPoint Oxygen
    (MeasureFn 54.75 KelvinDegree))
Mid-level-ontology.kif 29111-29111
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 6914-6914
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 6939-6939
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 6879-6879
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2493-2493
(names Oxygen "Oxygen") Mid-level-ontology.kif 27301-27301
(roomTempState Oxygen Gas) Mid-level-ontology.kif 31369-31369
(subclass Oxygen ElementalSubstance) Mid-level-ontology.kif 27300-27300

appearance as argument number 2
-------------------------


(conventionalShortName "O" Oxygen) Mid-level-ontology.kif 27302-27302
(termFormat ChineseLanguage Oxygen "氧") domainEnglishFormat.kif 43810-43810
(termFormat ChineseTraditionalLanguage Oxygen "氧") domainEnglishFormat.kif 43809-43809
(termFormat EnglishLanguage Oxygen "oxygen") domainEnglishFormat.kif 43808-43808

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Oxygen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 15.9994 Amu)))
Mid-level-ontology.kif 27305-27309

consequent
-------------------------


(=>
    (and
        (instance ?CD CarbonDioxide)
        (instance ?CD Molecule))
    (exists (?C ?O1 ?O2)
        (and
            (instance ?C Carbon)
            (instance ?O1 Oxygen)
            (instance ?O2 Oxygen)
            (instance ?C Atom)
            (instance ?O1 Atom)
            (instance ?O2 Atom)
            (part ?C ?CD)
            (part ?O1 ?CD)
            (part ?O2 ?CD)
            (not
                (equal ?O1 ?O2)))))
Food.kif 832-847
(=>
    (instance ?AIR Air)
    (exists (?PART)
        (and
            (instance ?PART Oxygen)
            (part ?PART ?AIR))))
Weather.kif 48-53
(=>
    (instance ?C Combustion)
    (exists (?O)
        (and
            (instance ?O Oxygen)
            (resource ?C ?O))))
Cars.kif 20-25
(=>
    (instance ?OS OxygenSensor)
    (hasPurpose ?OS
        (exists (?O ?M)
            (and
                (instance ?O Oxygen)
                (instance ?M Measuring)
                (patient ?M ?O)
                (instrument ?M ?OS)))))
Cars.kif 3340-3348
(=>
    (instance ?WATER Water)
    (exists (?SYNTHESIS ?HYDROGEN ?OXYGEN)
        (and
            (instance ?SYNTHESIS ChemicalSynthesis)
            (resource ?SYNTHESIS ?HYDROGEN)
            (instance ?HYDROGEN Hydrogen)
            (resource ?SYNTHESIS ?OXYGEN)
            (instance ?OXYGEN Oxygen)
            (result ?SYNTHESIS ?WATER))))
Mid-level-ontology.kif 8742-8751


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