Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Oxygen(oxygen)
|  | O, atomic_number_8, oxygen |
| appearance as argument number 1 |
|
|
| (subclass Oxygen ElementalSubstance) | Mid-level-ontology.kif 30010-30010 | Oxygen is a subclass of elemental substance |
| (atomicNumber Oxygen 8) | Mid-level-ontology.kif 30013-30013 | 8 is an atomic number 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 30021-30028 | 8 is an atomic number of oxygen |
| (meltingPoint Oxygen (MeasureFn 54.75 KelvinDegree)) |
Mid-level-ontology.kif 31821-31821 | 54.75 Kelvin degree(s) is a melting point of oxygen |
| (boilingPoint Oxygen (MeasureFn 90.188 KelvinDegree)) |
Mid-level-ontology.kif 31822-31822 | 90.188 Kelvin degree(s) is a boiling point of oxygen |
| (roomTempState Oxygen Gas) | Mid-level-ontology.kif 33930-33930 | room temperature state oxygen and gas |
| (molecularRatio Oxygen 4 SulfuricAcid) | Cars.kif 2327-2327 | The number of molecules of oxygen in a molecule of sulfuric acid is 4 |
| (molecularRatio Oxygen 2 SulphurDioxide) | Geography.kif 8840-8840 | The number of molecules of oxygen in a molecule of sulphur dioxide is 2 |
| (molecularRatio Oxygen 1 NitricOxide) | Geography.kif 8875-8875 | The number of molecules of oxygen in a molecule of nitric oxide is 1 |
| (molecularRatio Oxygen 2 NitrogenDioxide) | Geography.kif 8899-8899 | The number of molecules of oxygen in a molecule of nitrogen dioxide is 2 |
| (molecularRatio Oxygen 3 SodiumLactate) | Medicine.kif 5910-5910 | The number of molecules of oxygen in a molecule of sodium lactate is 3 |
| (externalImage Oxygen "http://upload.wikimedia.org/wikipedia/commons/0/01/ O_TableImage.png") | pictureList.kif 1885-1885 | The number of molecules of oxygen in a molecule of sodium lactate is 3 |
| appearance as argument number 2 |
|
|
| (names "Oxygen" Oxygen) | Mid-level-ontology.kif 30011-30011 | Oxygen has name "Oxygen" |
| (conventionalShortName "O" Oxygen) | Mid-level-ontology.kif 30012-30012 | Oxygen is a conventional short name of "O" |
| (termFormat EnglishLanguage Oxygen "oxygen") | domainEnglishFormat.kif 43823-43823 | Oxygen is a conventional short name of "O" |
| (termFormat ChineseTraditionalLanguage Oxygen "氧") | domainEnglishFormat.kif 43824-43824 | Oxygen is a conventional short name of "O" |
| (termFormat ChineseLanguage Oxygen "氧") | domainEnglishFormat.kif 43825-43825 | 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 30015-30019 | If X is an instance of oxygen and X is an instance of atom, then the measure of X is 15.9994 amu(s) |
| (=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) Oxygen (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 20)) |
Medicine.kif 5768-5775 | If X is an instance of blood, oxygenated blood is an attribute of X, and the concentration of oxygen in X is Y Milliliter(s) per 100 Milliliter(s), then the approximate value of Y is 20 |
| (=> (and (instance ?B Blood) (attribute ?B DeoxygenatedBlood) (concentration (MeasureFn ?N Milliliter) Oxygen (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 14)) |
Medicine.kif 5791-5798 | If X is an instance of blood, deoxygenated blood is an attribute of X, and the concentration of oxygen in X is Y Milliliter(s) per 100 Milliliter(s), then the approximate value of Y is 14 |
| consequent |
|
|
| (=> (instance ?C Combustion) (exists (?O) (and (instance ?O Oxygen) (resource ?C ?O)))) |
Mid-level-ontology.kif 2297-2302 | If X is an instance of burning, then there exists Y such that Y is an instance of oxygen and Y is a resource for X |
| (=> (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 10149-10158 | If X is an instance of water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chemical synthesis (3) Z is a resource for Y (4) Z is an instance of hydrogen (5) W is a resource for Y (6) W is an instance of oxygen (7) X is a result of Y |
| (=> (instance ?OS OxygenSensor) (hasPurpose ?OS (exists (?O ?M) (and (instance ?O Oxygen) (instance ?M Measuring) (patient ?M ?O) (instrument ?M ?OS))))) |
Cars.kif 3230-3238 | If X is an instance of oxygen sensor, then X has the purpose there exist Y, Z such that Y is an instance of oxygen, Z is an instance of measuring, Y is a patient of Z, and X is an instrument for Z |
| (=> (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 3450-3465 | If X is an instance of carbon dioxide and X is an instance of molecule, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of carbon (3) Z is an instance of oxygen (4) W is an instance of oxygen (5) Y is an instance of atom (6) Z is an instance of atom (7) W is an instance of atom (8) Y is a part of X (9) Z is a part of X (10) W is a part of X (11) equal Z (12) W |
| (=> (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 4720-4733 | If X is an instance of substance and oxidizing substance is an attribute of X, then there exists Y such that Y is an instance of releasing, oxygen is a patient of Y, X is capable of doing releasing as a origin, the statement there exists Z such that Z is an instance of burning, and Y causes Z has the modal force of possibility |
| (=> (instance ?IO IronOxide) (exists (?I ?O) (and (instance ?I Iron) (instance ?O Oxygen) (part ?I ?IO) (part ?O ?IO)))) |
Transportation.kif 4848-4855 | If X is an instance of iron oxide, then there exist Y, Z such that Y is an instance of iron, Z is an instance of oxygen, Y is a part of X, and Z is a part of X |
| (=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Oxygen) (part ?PART ?AIR)))) |
Weather.kif 48-53 | If X is an instance of air, then there exists Y such that Y is an instance of oxygen and Y is a part of X |
|