Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hydrogen
Hydrogen(hydrogen)
H, acid_hydrogen, acidic_hydrogen, atomic_number_1, hydrogen, hydrogen_atom, hydrogen_ion, tritium

appearance as argument number 1
-------------------------


(atomicNumber Hydrogen 1) Mid-level-ontology.kif 27270-27270 1 is an atomic number of hydrogen
(boilingPoint Hydrogen
    (MeasureFn 20.28 KelvinDegree))
Mid-level-ontology.kif 29182-29182 20.28 Kelvin degree(s) is a boiling point of hydrogen
(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 14.01 Kelvin degree(s) is a melting point of hydrogen
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2491-2491 The number of molecules of hydrogen in a molecule of sulfuric acid is 2
(molecularRatio Hydrogen 5 SodiumLactate) Medicine.kif 5878-5878 The number of molecules of hydrogen in a molecule of SodiumLactate is 5
(names Hydrogen "Hydrogen") Mid-level-ontology.kif 27268-27268 "Hydrogen" has name hydrogen
(roomTempState Hydrogen Gas) Mid-level-ontology.kif 31450-31450 roomTempState hydrogen and gas
(subclass Hydrogen ElementalSubstance) Mid-level-ontology.kif 27267-27267 Hydrogen is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "H" Hydrogen) Mid-level-ontology.kif 27269-27269 Hydrogen is a conventional short name of "H"
(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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners