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 27186-27186 1 是 atomic 数字
(boilingPoint Hydrogen
    (MeasureFn 20.28 KelvinDegree))
Mid-level-ontology.kif 29098-29098 20.28 凯文度boiling
(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 27194-27197
(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 29097-29097 14.01 凯文度melting
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2491-2491 molecularRatio , 2 and SulfuricAcid
(names Hydrogen "Hydrogen") Mid-level-ontology.kif 27184-27184 "Hydrogen" 的名 是
(roomTempState Hydrogen Gas) Mid-level-ontology.kif 31361-31361 roomTempState and 加油站
(subclass Hydrogen ElementalSubstance) Mid-level-ontology.kif 27183-27183 元素物质subclass

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


(conventionalShortName "H" Hydrogen) Mid-level-ontology.kif 27185-27185 是 "H" 的 conventional 简称
(termFormat ChineseLanguage Hydrogen "氢") domainEnglishFormat.kif 29023-29023
(termFormat ChineseTraditionalLanguage Hydrogen "氫") domainEnglishFormat.kif 29022-29022
(termFormat EnglishLanguage Hydrogen "hydrogen") domainEnglishFormat.kif 29021-29021

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


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

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 8547-8553
(=>
    (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 8742-8751


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