Hydrogen - Sigma Knowledge base Browser

appearance as argument number 1

(atomicNumber Hydrogen 1)	Mid-level-ontology.kif 27554-27554	1 is an atomic number of hydrogen
(boilingPoint Hydrogen (MeasureFn 20.28 KelvinDegree))	Mid-level-ontology.kif 29466-29466	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 27562-27565	20.28 Kelvin degree(s) is a boiling point of hydrogen
(externalImage Hydrogen "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ H-TableImage.svg")	pictureList.kif 1811-1811	20.28 Kelvin degree(s) is a boiling point of hydrogen
(externalImage Hydrogen "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 94/ H%2C1.jpg/ 125px-H%2C1.jpg")	pictureList.kif 1141-1141	20.28 Kelvin degree(s) is a boiling point of hydrogen
(meltingPoint Hydrogen (MeasureFn 14.01 KelvinDegree))	Mid-level-ontology.kif 29465-29465	14.01 Kelvin degree(s) is a melting point of hydrogen
(molecularRatio Hydrogen 2 SulfuricAcid)	Cars.kif 2474-2474	The number of molecules of hydrogen in a molecule of sulfuric acid is 2
(molecularRatio Hydrogen 5 SodiumLactate)	Medicine.kif 5878-5878	The number of molecules of hydrogen in a molecule of SodiumLactate is 5
(names Hydrogen "Hydrogen")	Mid-level-ontology.kif 27552-27552	"Hydrogen" has name hydrogen
(roomTempState Hydrogen Gas)	Mid-level-ontology.kif 31715-31715	roomTempState hydrogen and gas
(subclass Hydrogen ElementalSubstance)	Mid-level-ontology.kif 27551-27551	Hydrogen is a subclass of elemental substance

appearance as argument number 2

(conventionalShortName "H" Hydrogen)	Mid-level-ontology.kif 27553-27553	Hydrogen is a conventional short name of "H"
(termFormat ChineseLanguage Hydrogen "氢")	domainEnglishFormat.kif 29071-29071	Hydrogen is a conventional short name of "H"
(termFormat ChineseTraditionalLanguage Hydrogen "氫")	domainEnglishFormat.kif 29070-29070	Hydrogen is a conventional short name of "H"
(termFormat EnglishLanguage Hydrogen "hydrogen")	domainEnglishFormat.kif 29069-29069	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 27556-27560

If a physical is an instance of hydrogen and the physical is an instance of atom,
then the measure of the physical is 1.0079 amu(s)

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	If an object is an instance of hydrocarbon and the object is an instance of molecule, then there exist another object and a third object such that the other object is an instance of hydrogen and the third object is an instance of carbon and the other object is a part of the object and the third object is a part of the object
(=> (instance ?S Hydrocarbon) (exists (?P1 ?P2) (and (equal ?S (MereologicalSumFn ?P1 ?P2)) (instance ?P1 Carbon) (instance ?P2 Hydrogen))))	Mid-level-ontology.kif 8805-8811	If an object is an instance of hydrocarbon, then there exist another object and a third object such that the object is equal to the union of the parts of the other object and the third object and the other object is an instance of carbon and the third object 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 9000-9009	If an entity is an instance of water, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of hydrogen and the other object is a resource for the process and the other object is an instance of oxygen and the entity is a result of the process

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

KB Term:			Term intersection

English Word: