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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Hydrogen

appearance as argument number 1

(atomicNumber Hydrogen 1) Mid-level-ontology.kif 26640-26640
(boilingPoint Hydrogen
    (MeasureFn 20.28 KelvinDegree))
Mid-level-ontology.kif 28552-28552
(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 26648-26651
(externalImage Hydrogen " d8/ H-TableImage.svg") pictureList.kif 1812-1812
(externalImage Hydrogen " 9/ 94/ H%2C1.jpg/ 125px-H%2C1.jpg") pictureList.kif 1142-1142
(meltingPoint Hydrogen
    (MeasureFn 14.01 KelvinDegree))
Mid-level-ontology.kif 28551-28551
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2491-2491
(names Hydrogen "Hydrogen") Mid-level-ontology.kif 26638-26638
(subclass Hydrogen ElementalSubstance) Mid-level-ontology.kif 26637-26637

appearance as argument number 2

(conventionalShortName "H" Hydrogen) Mid-level-ontology.kif 26639-26639
(termFormat ChineseLanguage Hydrogen "氢") domainEnglishFormat.kif 29028-29028
(termFormat ChineseTraditionalLanguage Hydrogen "氫") domainEnglishFormat.kif 29027-29027
(termFormat EnglishLanguage Hydrogen "hydrogen") domainEnglishFormat.kif 29026-29026


        (instance ?ATOM Hydrogen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 1.0079 Amu)))
Mid-level-ontology.kif 26642-26646


        (instance ?X Hydrocarbon)
        (instance ?X Molecule))
    (exists (?Y ?Z)
            (instance ?Y Hydrogen)
            (instance ?Z Carbon)
            (part ?Y ?X)
            (part ?Z ?X))))
naics.kif 3036-3045
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))
Mid-level-ontology.kif 8190-8196
    (instance ?WATER Water)
            (instance ?SYNTHESIS ChemicalSynthesis)
            (resource ?SYNTHESIS ?HYDROGEN)
            (instance ?HYDROGEN Hydrogen)
            (resource ?SYNTHESIS ?OXYGEN)
            (instance ?OXYGEN Oxygen)
            (result ?SYNTHESIS ?WATER))))
Mid-level-ontology.kif 8385-8394

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