| Hydrogen
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Hydrogen 1) | Mid-level-ontology.kif 28948-28948 | |
| (boilingPoint Hydrogen (MeasureFn 20.28 KelvinDegree)) |
Mid-level-ontology.kif 30860-30860 | |
| (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 28956-28959 | |
| (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 30859-30859 | |
| (molecularRatio Hydrogen 2 SulfuricAcid) | Cars.kif 2475-2475 | |
| (molecularRatio Hydrogen 5 SodiumLactate) | Medicine.kif 5895-5895 | |
| (names Hydrogen "Hydrogen") | Mid-level-ontology.kif 28946-28946 | |
| (roomTempState Hydrogen Gas) | Mid-level-ontology.kif 33154-33154 | |
| (subclass Hydrogen ElementalSubstance) | Mid-level-ontology.kif 28945-28945 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "H" Hydrogen) | Mid-level-ontology.kif 28947-28947 | |
| (termFormat ChineseLanguage Hydrogen "氢") | domainEnglishFormat.kif 29065-29065 | |
| (termFormat ChineseTraditionalLanguage Hydrogen "氫") | domainEnglishFormat.kif 29064-29064 | |
| (termFormat EnglishLanguage Hydrogen "hydrogen") | domainEnglishFormat.kif 29063-29063 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Hydrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 1.0079 Amu))) |
Mid-level-ontology.kif 28950-28954 |
| 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 9811-9817 | |
| (=> (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 |
|
|
|