Oxygen - Sigma Knowledge base Browser

appearance as argument number 1

(atomicNumber Oxygen 8)	Mid-level-ontology.kif 25754-25754	8 is an atomic number of oxygen
(boilingPoint Oxygen (MeasureFn 90.188 KelvinDegree))	Mid-level-ontology.kif 27460-27460	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 25761-25768
(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 27459-27459	54.75 Kelvin degree(s) is a melting point of oxygen
(molecularRatio Oxygen 1 NitricOxide)	Geography.kif 6742-6742	The number of molecules of oxygen in a molecule of nitric oxide is 1
(molecularRatio Oxygen 2 NitrogenDioxide)	Geography.kif 6767-6767	The number of molecules of oxygen in a molecule of nitrogen dioxide is 2
(molecularRatio Oxygen 2 SulphurDioxide)	Geography.kif 6707-6707	The number of molecules of oxygen in a molecule of sulphur dioxide is 2
(molecularRatio Oxygen 4 SulfuricAcid)	Cars.kif 2507-2507	The number of molecules of oxygen in a molecule of sulfuric acid is 4
(names Oxygen "Oxygen")	Mid-level-ontology.kif 25752-25752	"Oxygen" has name oxygen
(subclass Oxygen ElementalSubstance)	Mid-level-ontology.kif 25751-25751	Oxygen is a subclass of elemental substance

appearance as argument number 2

(conventionalShortName "O" Oxygen)	Mid-level-ontology.kif 25753-25753	Oxygen is a conventional short name of "O"
(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 25755-25759

If a physical is an instance of oxygen and the physical is an instance of atom,
then the measure of the physical is 15.9994 amu(s)

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 849-864	If an object is an instance of CarbonDioxide and the object is an instance of molecule, then there exist another object, a third object and a fourth object such that the other object is an instance of carbon and the third object is an instance of oxygen and the fourth object is an instance of oxygen and the other object is an instance of atom and the third object is an instance of atom and the fourth object is an instance of atom and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the third object is not equal to the fourth object
(=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Oxygen) (part ?PART ?AIR))))	Weather.kif 48-53	If an object is an instance of air, then there exists another object such that the other object is an instance of oxygen and the other object is a part of the object
(=> (instance ?C Combustion) (exists (?O) (and (instance ?O Oxygen) (resource ?C ?O))))	Cars.kif 20-25	If a process is an instance of combustion, then there exists an object such that the object is an instance of oxygen and the object is a resource for the process
(=> (instance ?OS OxygenSensor) (hasPurpose ?OS (exists (?O ?M) (and (instance ?O Oxygen) (instance ?M Measuring) (patient ?M ?O) (instrument ?M ?OS)))))	Cars.kif 3354-3362	If a physical is an instance of OxygenSensor, then the physical purpose there exist an entity and another entity such that the entity is an instance of oxygen and the other entity is an instance of measuring and the entity is a patient of the other entity and the physical is an instrument for the other entity
(=> (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 8466-8475	If an entity is an instance of water, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of hydrogen and the other object is a resource for the process and the other object is an instance of oxygen and the entity is a result of the process

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: