| Oxygen
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Oxygen 8) | Mid-level-ontology.kif 27671-27671 | |
| (boilingPoint Oxygen (MeasureFn 90.188 KelvinDegree)) |
Mid-level-ontology.kif 29480-29480 | |
| (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 27679-27686 | |
| (externalImage Oxygen "http://upload.wikimedia.org/wikipedia/commons/0/01/ O-TableImage.png") | pictureList.kif 1885-1885 | |
| (meltingPoint Oxygen (MeasureFn 54.75 KelvinDegree)) |
Mid-level-ontology.kif 29479-29479 | |
| (molecularRatio Oxygen 1 NitricOxide) | Geography.kif 7214-7214 | |
| (molecularRatio Oxygen 2 NitrogenDioxide) | Geography.kif 7239-7239 | |
| (molecularRatio Oxygen 2 SulphurDioxide) | Geography.kif 7179-7179 | |
| (molecularRatio Oxygen 3 SodiumLactate) | Medicine.kif 5879-5879 | |
| (molecularRatio Oxygen 4 SulfuricAcid) | Cars.kif 2476-2476 | |
| (names Oxygen "Oxygen") | Mid-level-ontology.kif 27669-27669 | |
| (roomTempState Oxygen Gas) | Mid-level-ontology.kif 31723-31723 | |
| (subclass Oxygen ElementalSubstance) | Mid-level-ontology.kif 27668-27668 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "O" Oxygen) | Mid-level-ontology.kif 27670-27670 | |
| (termFormat ChineseLanguage Oxygen "氧") | domainEnglishFormat.kif 43863-43863 | |
| (termFormat ChineseTraditionalLanguage Oxygen "氧") | domainEnglishFormat.kif 43862-43862 | |
| (termFormat EnglishLanguage Oxygen "oxygen") | domainEnglishFormat.kif 43861-43861 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Oxygen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 15.9994 Amu))) |
Mid-level-ontology.kif 27673-27677 | |
| (=> (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 3400-3408 | |
| (=> (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 9000-9009 |
|
|
|