Oxygen - Sigma Knowledge base Browser

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 28502-28502	8 is an atomic number of oxygen
(boilingPoint Oxygen (MeasureFn 90.188 KelvinDegree))	Mid-level-ontology.kif 30311-30311	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 28510-28517	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 1885-1885	90.188 Kelvin degree(s) is a boiling point of oxygen
(meltingPoint Oxygen (MeasureFn 54.75 KelvinDegree))	Mid-level-ontology.kif 30310-30310	54.75 Kelvin degree(s) is a melting point of oxygen
(molecularRatio Oxygen 1 NitricOxide)	Geography.kif 7282-7282	The number of molecules of oxygen in a molecule of nitric oxide is 1
(molecularRatio Oxygen 2 NitrogenDioxide)	Geography.kif 7307-7307	The number of molecules of oxygen in a molecule of nitrogen dioxide is 2
(molecularRatio Oxygen 2 SulphurDioxide)	Geography.kif 7247-7247	The number of molecules of oxygen in a molecule of sulphur dioxide is 2
(molecularRatio Oxygen 3 SodiumLactate)	Medicine.kif 5867-5867	The number of molecules of oxygen in a molecule of SodiumLactate is 3
(molecularRatio Oxygen 4 SulfuricAcid)	Cars.kif 2477-2477	The number of molecules of oxygen in a molecule of sulfuric acid is 4
(names Oxygen "Oxygen")	Mid-level-ontology.kif 28500-28500	"Oxygen" has name oxygen
(roomTempState Oxygen Gas)	Mid-level-ontology.kif 32581-32581	roomTempState oxygen and gas
(subclass Oxygen ElementalSubstance)	Mid-level-ontology.kif 28499-28499	Oxygen is a subclass of elemental substance

appearance as argument number 2

(conventionalShortName "O" Oxygen)	Mid-level-ontology.kif 28501-28501	Oxygen is a conventional short name of "O"
(termFormat ChineseLanguage Oxygen "氧")	domainEnglishFormat.kif 43861-43861	Oxygen is a conventional short name of "O"
(termFormat ChineseTraditionalLanguage Oxygen "氧")	domainEnglishFormat.kif 43860-43860	Oxygen is a conventional short name of "O"
(termFormat EnglishLanguage Oxygen "oxygen")	domainEnglishFormat.kif 43859-43859	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 28504-28508	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)
(=> (and (instance ?B Blood) (attribute ?B DeoxygenatedBlood) (concentration (MeasureFn ?N Milliliter) Oxygen (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 14))	Medicine.kif 5754-5761	If a mixture is an instance of blood and deoxygenated blood is an attribute of the mixture and the concentration of oxygen in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 14
(=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) Oxygen (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 20))	Medicine.kif 5731-5738	If a mixture is an instance of blood and oxygenated blood is an attribute of the mixture and the concentration of oxygen in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 20

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	If an object is an instance of carbon dioxide 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
(=> (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 4174-4187	If an object is an instance of substance and oxidizing substance is an attribute of the object, then there exists a process such that the process is an instance of releasing and oxygen is a patient of the process and the object is capable of doing releasing as a origin and the statement there exists an entity such that the entity is an instance of burning and the process causes the entity has the modal force of possibility
(=> (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 burning, then there exists an object such that the object is an instance of oxygen and the object is a resource for the process
(=> (instance ?IO IronOxide) (exists (?I ?O) (and (instance ?I Iron) (instance ?O Oxygen) (part ?I ?IO) (part ?O ?IO))))	Transportation.kif 4302-4309	If an object is an instance of iron oxide, then there exist another object and a third object such that the other object is an instance of iron and the third object is an instance of oxygen and the other object is a part of the object and the third object is a part of the object
(=> (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	If a physical is an instance of oxygen sensor, then the physical has the 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 9555-9564	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