|
|
   Oxygen
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Oxygen 8) | Mid-level-ontology.kif 26757-26757 | |
| (boilingPoint Oxygen (MeasureFn 90.188 KelvinDegree)) |
Mid-level-ontology.kif 28566-28566 | |
| (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 26765-26772 | |
| (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 28565-28565 | |
| (molecularRatio Oxygen 1 NitricOxide) | Geography.kif 6902-6902 | |
| (molecularRatio Oxygen 2 NitrogenDioxide) | Geography.kif 6927-6927 | |
| (molecularRatio Oxygen 2 SulphurDioxide) | Geography.kif 6867-6867 | |
| (molecularRatio Oxygen 4 SulfuricAcid) | Cars.kif 2493-2493 | |
| (names Oxygen "Oxygen") | Mid-level-ontology.kif 26755-26755 | |
| (subclass Oxygen ElementalSubstance) | Mid-level-ontology.kif 26754-26754 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "O" Oxygen) | Mid-level-ontology.kif 26756-26756 | |
| (termFormat ChineseLanguage Oxygen "氧") | domainEnglishFormat.kif 43807-43807 | |
| (termFormat ChineseTraditionalLanguage Oxygen "氧") | domainEnglishFormat.kif 43806-43806 | |
| (termFormat EnglishLanguage Oxygen "oxygen") | domainEnglishFormat.kif 43805-43805 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Oxygen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 15.9994 Amu))) |
Mid-level-ontology.kif 26759-26763 |
| 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 831-846 | |
| (=> (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 8385-8394 |
|
|
|
