Oxygen - Sigma Knowledge base Browser

appearance as argument number 1

(atomicNumber Oxygen 8)	Mid-level-ontology.kif 25681-25681	atomicNumber Oxygen and 8
(boilingPoint Oxygen (MeasureFn 90.188 KelvinDegree))	Mid-level-ontology.kif 27387-27387	boilingPoint Oxygen and MeasureFn 90.188 and KelvinDegree
(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 25688-25695
(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 27386-27386	meltingPoint Oxygen and MeasureFn 54.75 and KelvinDegree
(molecularRatio Oxygen 1 NitricOxide)	Geography.kif 6645-6645	molecularRatio Oxygen, 1 and NitricOxide
(molecularRatio Oxygen 2 NitrogenDioxide)	Geography.kif 6670-6670	molecularRatio Oxygen, 2 and NitrogenDioxide
(molecularRatio Oxygen 2 SulphurDioxide)	Geography.kif 6610-6610	molecularRatio Oxygen, 2 and SulphurDioxide
(molecularRatio Oxygen 4 SulfuricAcid)	Cars.kif 2480-2480	molecularRatio Oxygen, 4 and SulfuricAcid
(names Oxygen "Oxygen")	Mid-level-ontology.kif 25679-25679	names Oxygen and "Oxygen"
(subclass Oxygen ElementalSubstance)	Mid-level-ontology.kif 25678-25678	subclass Oxygen and ElementalSubstance

appearance as argument number 2

(conventionalShortName "O" Oxygen)	Mid-level-ontology.kif 25680-25680	conventionalShortName "O" and Oxygen
(termFormat ChineseLanguage Oxygen "氧")	domainEnglishFormat.kif 43819-43819
(termFormat ChineseTraditionalLanguage Oxygen "氧")	domainEnglishFormat.kif 43818-43818
(termFormat EnglishLanguage Oxygen "oxygen")	domainEnglishFormat.kif 43817-43817

antecedent

(=>
    (and
        (instance ?ATOM Oxygen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 15.9994 Amu)))

Mid-level-ontology.kif 25682-25686

instance Physical and Oxygen instance Physical and Atom
measure Physical and MeasureFn 15.9994 and Amu

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 846-861	instance Object and CarbonDioxide instance Object and Molecule Object Object and Object instance Object and Carbon instance Object and Oxygen instance Object and Oxygen instance Object and Atom instance Object and Atom instance Object and Atom part Object and Object part Object and Object part Object and Object equal Object and Object
(=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Oxygen) (part ?PART ?AIR))))	Weather.kif 48-53	instance Object and Air Object instance Object and Oxygen part Object and Object
(=> (instance ?C Combustion) (exists (?O) (and (instance ?O Oxygen) (resource ?C ?O))))	Cars.kif 20-25	instance Process and Combustion Object instance Object and Oxygen resource Process and Object
(=> (instance ?OS OxygenSensor) (hasPurpose ?OS (exists (?O ?M) (and (instance ?O Oxygen) (instance ?M Measuring) (patient ?M ?O) (instrument ?M ?OS)))))	Cars.kif 3315-3323	instance Physical and OxygenSensor hasPurpose Physical and entity entity instance entity and Oxygen instance entity and Measuring patient entity and entity instrument entity and Physical
(=> (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 8442-8451	instance Entity and Water Process Object and Object instance Process and ChemicalSynthesis resource Process and Object instance Object and Hydrogen resource Process and Object instance Object and Oxygen result Process and Entity

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

KB Term:			Term intersection

English Word: