TreeView Knowledge Base Browser - Hydrogen

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Hydrogen

Hydrogen

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27258-27258	atomicNumber Hydrogen and 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29170-29170	boilingPoint Hydrogen and 20.28 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27266-27269
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1811-1811
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1141-1141
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29169-29169	meltingPoint Hydrogen and 14.01 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2497-2497	molecularRatio Hydrogen, 2 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5878-5878	molecularRatio Hydrogen, 5 and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27256-27256	"Hydrogen" se chama nome Hydrogen
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31446-31446	roomTempState Hydrogen and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27255-27255	Hydrogen e' uma sub-classe de Substancia Elementar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27257-27257	conventionalShortName "H" and Hydrogen
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29037-29037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29036-29036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29035-29035

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 27260-27264

Fisico e' uma instancia de Hydrogen Fisico e' uma instancia de Atomo
a medida de Fisico e' 1.0079 Amu(s)

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 3036-3045	Objeto e' uma instancia de Hydrocarbon Objeto e' uma instancia de Molecula Objeto Objeto Objeto e' uma instancia de Hydrogen Objeto e' uma instancia de Carbon Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8586-8592	Objeto e' uma instancia de Hydrocarbon Objeto Objeto Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto e' uma instancia de Carbon Objeto e' uma instancia de Hydrogen
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8781-8790	Entidade e' uma instancia de Agua Processo Objeto and Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' uma instancia de Hydrogen Objeto e' um recurso para Processo Objeto e' uma instancia de Oxygen Entidade e' o resultado de Processo

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