Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Hydrogen

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

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


(subclass Hydrogen ElementalSubstance) Mid-level-ontology.kif 29893-29893 Hydrogen is a subclass of elemental substance
(atomicNumber Hydrogen 1) Mid-level-ontology.kif 29896-29896 1 is an atomic number 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 29904-29907 1 is an atomic number of hydrogen
(meltingPoint Hydrogen
    (MeasureFn 14.01 KelvinDegree))		 Mid-level-ontology.kif 31807-31807 14.01 Kelvin degree(s) is a melting point of hydrogen
(boilingPoint Hydrogen
    (MeasureFn 20.28 KelvinDegree))		 Mid-level-ontology.kif 31808-31808 20.28 Kelvin degree(s) is a boiling point of hydrogen
(roomTempState Hydrogen Gas) Mid-level-ontology.kif 33922-33922 room temperature state hydrogen and gas
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2325-2325 The number of molecules of hydrogen in a molecule of sulfuric acid is 2
(molecularRatio Hydrogen 5 SodiumLactate) Medicine.kif 5909-5909 The number of molecules of hydrogen in a molecule of sodium lactate is 5
(refractiveIndex Hydrogen 1.000132) Transportation.kif 5628-5628 The RefractiveIndexFn of hydrogen is 1.000132
(externalImage Hydrogen "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 94/ H%2C1.jpg/ 125px_H%2C1.jpg") pictureList.kif 1141-1141 The RefractiveIndexFn of hydrogen is 1.000132
(externalImage Hydrogen "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ H_TableImage.svg") pictureList.kif 1810-1810 The RefractiveIndexFn of hydrogen is 1.000132

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


(names "Hydrogen" Hydrogen) Mid-level-ontology.kif 29894-29894 Hydrogen has name "Hydrogen"
(conventionalShortName "H" Hydrogen) Mid-level-ontology.kif 29895-29895 Hydrogen is a conventional short name of "H"
(termFormat EnglishLanguage Hydrogen "hydrogen") domainEnglishFormat.kif 29039-29039 Hydrogen is a conventional short name of "H"
(termFormat ChineseTraditionalLanguage Hydrogen "氫") domainEnglishFormat.kif 29040-29040 Hydrogen is a conventional short name of "H"
(termFormat ChineseLanguage Hydrogen "氢") domainEnglishFormat.kif 29041-29041 Hydrogen is a conventional short name of "H"

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


(=>
    (and
        (instance ?ATOM Hydrogen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 1.0079 Amu)))		 Mid-level-ontology.kif 29898-29902 If X is an instance of hydrogen and X is an instance of atom, then the measure of X is 1.0079 amu(s)

consequent
-------------------------


(=>
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
        (and
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))		 Mid-level-ontology.kif 9946-9952 If X is an instance of hydrocarbon, then there exist Y, Z such that equal X, the union of the parts of Y, Z, Y is an instance of carbon, and Z is an instance of hydrogen
(=>
    (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 10149-10158 If X is an instance of water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chemical synthesis (3) Z is a resource for Y (4) Z is an instance of hydrogen (5) W is a resource for Y (6) W is an instance of oxygen (7) X is a result of Y
(=>
    (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 3030-3039 If X is an instance of hydrocarbon and X is an instance of molecule, then there exist Y, Z such that Y is an instance of hydrogen, Z is an instance of carbon, Y is a part of X, and Z is a part of X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners