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 25538-25538 1 is an atomic number of hydrogen
(boilingPoint Hydrogen
    (MeasureFn 20.28 KelvinDegree))
Mid-level-ontology.kif 27340-27340 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 25545-25548
(externalImage Hydrogen "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ H-TableImage.svg") pictureList.kif 1812-1812
(externalImage Hydrogen "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 94/ H%2C1.jpg/ 125px-H%2C1.jpg") pictureList.kif 1142-1142
(meltingPoint Hydrogen
    (MeasureFn 14.01 KelvinDegree))
Mid-level-ontology.kif 27339-27339 14.01 Kelvin degree(s) is a melting point of hydrogen
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2478-2478 The number of molecules of hydrogen in a molecule of sulfuric acid is 2
(names Hydrogen "Hydrogen") Mid-level-ontology.kif 25536-25536 "Hydrogen" has name hydrogen
(subclass Hydrogen ElementalSubstance) Mid-level-ontology.kif 25535-25535 Hydrogen is a subclass of elemental substance

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


(conventionalShortName "H" Hydrogen) Mid-level-ontology.kif 25537-25537 Hydrogen is a conventional short name of "H"
(termFormat ChineseLanguage Hydrogen "氢") domainEnglishFormat.kif 28939-28939
(termFormat ChineseTraditionalLanguage Hydrogen "氫") domainEnglishFormat.kif 28938-28938
(termFormat EnglishLanguage Hydrogen "hydrogen") domainEnglishFormat.kif 28937-28937

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Hydrogen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 1.0079 Amu)))
Mid-level-ontology.kif 25539-25543

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 3043-3052
(=>
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
        (and
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))
Mid-level-ontology.kif 8313-8319
(=>
    (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 8461-8470


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners