| Hydrogen
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Hydrogen 1) | Mid-level-ontology.kif 27270-27270 | atomicNumber Hydrogen and 1 |
| (boilingPoint Hydrogen (MeasureFn 20.28 KelvinDegree)) |
Mid-level-ontology.kif 29182-29182 | boilingPoint Hydrogen and 20.28 の KelvinDegree(s) |
| (documentation Hydrogen EnglishLanguage "Colourless, odourless gaseous chemical element. Lightest and most abundant element in the universe. Present in water and in all organic compounds. Chemically reacts with most elements. Discovered by Henry Cavendish in 1776.") | Mid-level-ontology.kif 27278-27281 | |
| (externalImage Hydrogen "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ H-TableImage.svg") | pictureList.kif 1811-1811 | |
| (externalImage Hydrogen "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 94/ H%2C1.jpg/ 125px-H%2C1.jpg") | pictureList.kif 1141-1141 | |
| (meltingPoint Hydrogen (MeasureFn 14.01 KelvinDegree)) |
Mid-level-ontology.kif 29181-29181 | meltingPoint Hydrogen and 14.01 の KelvinDegree(s) |
| (molecularRatio Hydrogen 2 SulfuricAcid) | Cars.kif 2491-2491 | molecularRatio Hydrogen, 2 and SulfuricAcid |
| (molecularRatio Hydrogen 5 SodiumLactate) | Medicine.kif 5878-5878 | molecularRatio Hydrogen, 5 and SodiumLactate |
| (names Hydrogen "Hydrogen") | Mid-level-ontology.kif 27268-27268 | "Hydrogen" は Hydrogen の name を 持って %n{ない} |
| (roomTempState Hydrogen Gas) | Mid-level-ontology.kif 31450-31450 | roomTempState Hydrogen and Gas |
| (subclass Hydrogen ElementalSubstance) | Mid-level-ontology.kif 27267-27267 | Hydrogen は 単体 の subclass では %n |
| appearance as argument number 2 |
|
|
| (conventionalShortName "H" Hydrogen) | Mid-level-ontology.kif 27269-27269 | conventionalShortName "H" and Hydrogen |
| (termFormat ChineseLanguage Hydrogen "氢") | domainEnglishFormat.kif 29037-29037 | |
| (termFormat ChineseTraditionalLanguage Hydrogen "氫") | domainEnglishFormat.kif 29036-29036 | |
| (termFormat EnglishLanguage Hydrogen "hydrogen") | domainEnglishFormat.kif 29035-29035 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Hydrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 1.0079 Amu))) |
Mid-level-ontology.kif 27272-27276 |
| consequent |
|
|
| (=> (and (instance ?X Hydrocarbon) (instance ?X Molecule)) (exists (?Y ?Z) (and (instance ?Y Hydrogen) (instance ?Z Carbon) (part ?Y ?X) (part ?Z ?X)))) |
naics.kif 3036-3045 | |
| (=> (instance ?S Hydrocarbon) (exists (?P1 ?P2) (and (equal ?S (MereologicalSumFn ?P1 ?P2)) (instance ?P1 Carbon) (instance ?P2 Hydrogen)))) |
Mid-level-ontology.kif 8587-8593 | |
| (=> (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 8782-8791 |
|
|
|