| Hydrogen
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Hydrogen 1) | Mid-level-ontology.kif 27554-27554 | |
| (boilingPoint Hydrogen (MeasureFn 20.28 KelvinDegree)) |
Mid-level-ontology.kif 29466-29466 | |
| (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 27562-27565 | |
| (externalImage Hydrogen "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ H-TableImage.svg") | pictureList.kif 1810-1810 | |
| (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 29465-29465 | |
| (molecularRatio Hydrogen 2 SulfuricAcid) | Cars.kif 2474-2474 | |
| (molecularRatio Hydrogen 5 SodiumLactate) | Medicine.kif 5878-5878 | |
| (names Hydrogen "Hydrogen") | Mid-level-ontology.kif 27552-27552 | |
| (roomTempState Hydrogen Gas) | Mid-level-ontology.kif 31715-31715 | |
| (subclass Hydrogen ElementalSubstance) | Mid-level-ontology.kif 27551-27551 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "H" Hydrogen) | Mid-level-ontology.kif 27553-27553 | |
| (termFormat ChineseLanguage Hydrogen "氢") | domainEnglishFormat.kif 29066-29066 | |
| (termFormat ChineseTraditionalLanguage Hydrogen "氫") | domainEnglishFormat.kif 29065-29065 | |
| (termFormat EnglishLanguage Hydrogen "hydrogen") | domainEnglishFormat.kif 29064-29064 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Hydrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 1.0079 Amu))) |
Mid-level-ontology.kif 27556-27560 |
| 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 8805-8811 | |
| (=> (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 |
|
|
|