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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hydrogen

Sigma KEE - Hydrogen
Hydrogen

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


(atomicNumber Hydrogen 1) Mid-level-ontology.kif 27321-27321
(boilingPoint Hydrogen
    (MeasureFn 20.28 KelvinDegree))
Mid-level-ontology.kif 29233-29233
(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 27329-27332
(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 29232-29232
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2474-2474
(molecularRatio Hydrogen 5 SodiumLactate) Medicine.kif 5878-5878
(names Hydrogen "Hydrogen") Mid-level-ontology.kif 27319-27319
(roomTempState Hydrogen Gas) Mid-level-ontology.kif 31482-31482
(subclass Hydrogen ElementalSubstance) Mid-level-ontology.kif 27318-27318

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


(conventionalShortName "H" Hydrogen) Mid-level-ontology.kif 27320-27320
(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 27323-27327

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 8614-8620
(=>
    (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 8809-8818


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 is open source software produced by Articulate Software and its partners