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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oxygen
Oxygen(oxygen)
O, atomic_number_8, oxygen

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


(atomicNumber Oxygen 8) Mid-level-ontology.kif 27671-27671 8 is an atomic number of oxygen
(boilingPoint Oxygen
    (MeasureFn 90.188 KelvinDegree))
Mid-level-ontology.kif 29480-29480 90.188 Kelvin degree(s) is a boiling point of oxygen
(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 27679-27686 90.188 Kelvin degree(s) is a boiling point of oxygen
(externalImage Oxygen "http://upload.wikimedia.org/wikipedia/commons/0/01/ O-TableImage.png") pictureList.kif 1886-1886 90.188 Kelvin degree(s) is a boiling point of oxygen
(meltingPoint Oxygen
    (MeasureFn 54.75 KelvinDegree))
Mid-level-ontology.kif 29479-29479 54.75 Kelvin degree(s) is a melting point of oxygen
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 7214-7214 The number of molecules of oxygen in a molecule of nitric oxide is 1
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 7239-7239 The number of molecules of oxygen in a molecule of nitrogen dioxide is 2
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 7179-7179 The number of molecules of oxygen in a molecule of sulphur dioxide is 2
(molecularRatio Oxygen 3 SodiumLactate) Medicine.kif 5879-5879 The number of molecules of oxygen in a molecule of SodiumLactate is 3
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2476-2476 The number of molecules of oxygen in a molecule of sulfuric acid is 4
(names Oxygen "Oxygen") Mid-level-ontology.kif 27669-27669 "Oxygen" has name oxygen
(roomTempState Oxygen Gas) Mid-level-ontology.kif 31723-31723 roomTempState oxygen and gas
(subclass Oxygen ElementalSubstance) Mid-level-ontology.kif 27668-27668 Oxygen is a subclass of elemental substance

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


(conventionalShortName "O" Oxygen) Mid-level-ontology.kif 27670-27670 Oxygen is a conventional short name of "O"
(termFormat ChineseLanguage Oxygen "氧") domainEnglishFormat.kif 43868-43868 Oxygen is a conventional short name of "O"
(termFormat ChineseTraditionalLanguage Oxygen "氧") domainEnglishFormat.kif 43867-43867 Oxygen is a conventional short name of "O"
(termFormat EnglishLanguage Oxygen "oxygen") domainEnglishFormat.kif 43866-43866 Oxygen is a conventional short name of "O"

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


(=>
    (and
        (instance ?ATOM Oxygen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 15.9994 Amu)))
Mid-level-ontology.kif 27673-27677
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 14))
Medicine.kif 5766-5773
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 20))
Medicine.kif 5743-5750

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 3414-3429
(=>
    (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 3325-3333
(=>
    (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 9000-9009


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