Oxygen |
appearance as argument number 1 |
(atomicNumber Oxygen 8) | Mid-level-ontology.kif 27438-27438 | atomicNumber Oxygen and 8 |
(boilingPoint Oxygen (MeasureFn 90.188 KelvinDegree)) |
Mid-level-ontology.kif 29247-29247 | boilingPoint Oxygen and 90.188 KelvinDegree(s |
(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 27446-27453 | |
(externalImage Oxygen "http://upload.wikimedia.org/wikipedia/commons/0/01/ O-TableImage.png") | pictureList.kif 1886-1886 | |
(meltingPoint Oxygen (MeasureFn 54.75 KelvinDegree)) |
Mid-level-ontology.kif 29246-29246 | meltingPoint Oxygen and 54.75 KelvinDegree(s |
(molecularRatio Oxygen 1 NitricOxide) | Geography.kif 7214-7214 | molecularRatio Oxygen, 1 and NitricOxide |
(molecularRatio Oxygen 2 NitrogenDioxide) | Geography.kif 7239-7239 | molecularRatio Oxygen, 2 and NitrogenDioxide |
(molecularRatio Oxygen 2 SulphurDioxide) | Geography.kif 7179-7179 | molecularRatio Oxygen, 2 and SulphurDioxide |
(molecularRatio Oxygen 3 SodiumLactate) | Medicine.kif 5879-5879 | molecularRatio Oxygen, 3 and SodiumLactate |
(molecularRatio Oxygen 4 SulfuricAcid) | Cars.kif 2476-2476 | molecularRatio Oxygen, 4 and SulfuricAcid |
(names Oxygen "Oxygen") | Mid-level-ontology.kif 27436-27436 | names Oxygen and "Oxygen" |
(roomTempState Oxygen Gas) | Mid-level-ontology.kif 31490-31490 | roomTempState Oxygen and Gas |
(subclass Oxygen ElementalSubstance) | Mid-level-ontology.kif 27435-27435 | Oxygen è una sottoclasse di SostanzaElementare |
appearance as argument number 2 |
(conventionalShortName "O" Oxygen) | Mid-level-ontology.kif 27437-27437 | conventionalShortName "O" and Oxygen |
(termFormat ChineseLanguage Oxygen "氧") | domainEnglishFormat.kif 43832-43832 | |
(termFormat ChineseTraditionalLanguage Oxygen "氧") | domainEnglishFormat.kif 43831-43831 | |
(termFormat EnglishLanguage Oxygen "oxygen") | domainEnglishFormat.kif 43830-43830 |
antecedent |
(=> (and (instance ?ATOM Oxygen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 15.9994 Amu))) |
Mid-level-ontology.kif 27440-27444 |
|
(=> (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 |