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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Oxygen
Oxygen

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


(atomicNumber Oxygen 8) Mid-level-ontology.kif 29308-29308 atomicNumber Oxygen and 8
(boilingPoint Oxygen
    (MeasureFn 90.188 KelvinDegree))
Mid-level-ontology.kif 31117-31117 boilingPoint Oxygen and 90.188 の KelvinDegree(s)
(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 29316-29323 boilingPoint Oxygen and 90.188 の KelvinDegree(s)
(externalImage Oxygen "http://upload.wikimedia.org/wikipedia/commons/0/01/ O_TableImage.png") pictureList.kif 1885-1885 boilingPoint Oxygen and 90.188 の KelvinDegree(s)
(meltingPoint Oxygen
    (MeasureFn 54.75 KelvinDegree))
Mid-level-ontology.kif 31116-31116 meltingPoint Oxygen and 54.75 の KelvinDegree(s)
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 7380-7380 molecularRatio Oxygen, 1 and NitricOxide
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 7405-7405 molecularRatio Oxygen, 2 and NitrogenDioxide
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 7345-7345 molecularRatio Oxygen, 2 and SulphurDioxide
(molecularRatio Oxygen 3 SodiumLactate) Medicine.kif 5896-5896 molecularRatio Oxygen, 3 and SodiumLactate
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2477-2477 molecularRatio Oxygen, 4 and SulfuricAcid
(names Oxygen "Oxygen") Mid-level-ontology.kif 29306-29306 "Oxygen" は Oxygen の &ames$"name" を 持って
(roomTempState Oxygen Gas) Mid-level-ontology.kif 33405-33405 roomTempState Oxygen and Gas
(subclass Oxygen ElementalSubstance) Mid-level-ontology.kif 29305-29305 Oxygen単体subclass では

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


(conventionalShortName "O" Oxygen) Mid-level-ontology.kif 29307-29307 conventionalShortName "O" and Oxygen
(termFormat ChineseLanguage Oxygen "氧") domainEnglishFormat.kif 43832-43832 conventionalShortName "O" and Oxygen
(termFormat ChineseTraditionalLanguage Oxygen "氧") domainEnglishFormat.kif 43831-43831 conventionalShortName "O" and Oxygen
(termFormat EnglishLanguage Oxygen "oxygen") domainEnglishFormat.kif 43830-43830 conventionalShortName "O" and Oxygen

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


(=>
    (and
        (instance ?ATOM Oxygen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 15.9994 Amu)))
Mid-level-ontology.kif 29310-29314
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 14))
Medicine.kif 5777-5784
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 20))
Medicine.kif 5754-5761

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 3421-3436
(=>
    (and
        (instance ?G Substance)
        (attribute ?G OxidizingSubstance))
    (exists (?R)
        (and
            (instance ?R Releasing)
            (patient ?R Oxygen)
            (capability Releasing origin ?G)
            (modalAttribute
                (exists (?C)
                    (and
                        (instance ?C Combustion)
                        (causes ?R ?C))) Possibility))))
Transportation.kif 4178-4191
(=>
    (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 ?IO IronOxide)
    (exists (?I ?O)
        (and
            (instance ?I Iron)
            (instance ?O Oxygen)
            (part ?I ?IO)
            (part ?O ?IO))))
Transportation.kif 4306-4313
(=>
    (instance ?OS OxygenSensor)
    (hasPurpose ?OS
        (exists (?O ?M)
            (and
                (instance ?O Oxygen)
                (instance ?M Measuring)
                (patient ?M ?O)
                (instrument ?M ?OS)))))
Cars.kif 3401-3409
(=>
    (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 9988-9997


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