| Oxygen
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Oxygen 8) | Mid-level-ontology.kif 29065-29065 | |
| (boilingPoint Oxygen (MeasureFn 90.188 KelvinDegree)) |
Mid-level-ontology.kif 30874-30874 | |
| (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 29073-29080 | |
| (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 30873-30873 | |
| (molecularRatio Oxygen 1 NitricOxide) | Geography.kif 7284-7284 | |
| (molecularRatio Oxygen 2 NitrogenDioxide) | Geography.kif 7309-7309 | |
| (molecularRatio Oxygen 2 SulphurDioxide) | Geography.kif 7249-7249 | |
| (molecularRatio Oxygen 3 SodiumLactate) | Medicine.kif 5896-5896 | |
| (molecularRatio Oxygen 4 SulfuricAcid) | Cars.kif 2477-2477 | |
| (names Oxygen "Oxygen") | Mid-level-ontology.kif 29063-29063 | |
| (roomTempState Oxygen Gas) | Mid-level-ontology.kif 33162-33162 | |
| (subclass Oxygen ElementalSubstance) | Mid-level-ontology.kif 29062-29062 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "O" Oxygen) | Mid-level-ontology.kif 29064-29064 | |
| (termFormat ChineseLanguage Oxygen "氧") | domainEnglishFormat.kif 43861-43861 | |
| (termFormat ChineseTraditionalLanguage Oxygen "氧") | domainEnglishFormat.kif 43860-43860 | |
| (termFormat EnglishLanguage Oxygen "oxygen") | domainEnglishFormat.kif 43859-43859 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Oxygen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 15.9994 Amu))) |
Mid-level-ontology.kif 29067-29071 | |
| (=> (and (instance ?B Blood) (attribute ?B DeoxygenatedBlood) (concentration (MeasureFn ?N Milliliter) Oxygen (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 14)) |
Medicine.kif 5777-5784 | |
| (=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) Oxygen (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 20)) |
Medicine.kif 5754-5761 |
| 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 3421-3436 | |
| (=> (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 4178-4191 | |
| (=> (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 ?IO IronOxide) (exists (?I ?O) (and (instance ?I Iron) (instance ?O Oxygen) (part ?I ?IO) (part ?O ?IO)))) |
Transportation.kif 4306-4313 | |
| (=> (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 | |
| (=> (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 10006-10015 |
|
|
|