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 27387-27387 8 是 atomic 数字
(boilingPoint Oxygen
    (MeasureFn 90.188 KelvinDegree))
Mid-level-ontology.kif 29196-29196 90.188 凯文度boiling
(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 27395-27402
(externalImage Oxygen "http://upload.wikimedia.org/wikipedia/commons/0/01/ O-TableImage.png") pictureList.kif 1886-1886
(meltingPoint Oxygen
    (MeasureFn 54.75 KelvinDegree))
Mid-level-ontology.kif 29195-29195 54.75 凯文度melting
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 7214-7214 molecularRatio , 1 and 一氧化氮
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 7239-7239 molecularRatio , 2 and 二氧化氮
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 7179-7179 molecularRatio , 2 and 二氧化硫
(molecularRatio Oxygen 3 SodiumLactate) Medicine.kif 5879-5879 molecularRatio , 3 and SodiumLactate
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2493-2493 molecularRatio , 4 and SulfuricAcid
(names Oxygen "Oxygen") Mid-level-ontology.kif 27385-27385 "Oxygen" 的名 是
(roomTempState Oxygen Gas) Mid-level-ontology.kif 31458-31458 roomTempState and 加油站
(subclass Oxygen ElementalSubstance) Mid-level-ontology.kif 27384-27384 元素物质subclass

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


(conventionalShortName "O" Oxygen) Mid-level-ontology.kif 27386-27386 是 "O" 的 conventional 简称
(termFormat ChineseLanguage Oxygen "氧") domainEnglishFormat.kif 43830-43830
(termFormat ChineseTraditionalLanguage Oxygen "氧") domainEnglishFormat.kif 43829-43829
(termFormat EnglishLanguage Oxygen "oxygen") domainEnglishFormat.kif 43828-43828

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


(=>
    (and
        (instance ?ATOM Oxygen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 15.9994 Amu)))
Mid-level-ontology.kif 27389-27393
(=>
    (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 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 8782-8791


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