Hydrogen - Sigma Knowledge base Browser

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 27321-27321	atomicNumber Hydrogen and 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29233-29233	boilingPoint Hydrogen and 20.28 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27329-27332
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 29232-29232	meltingPoint Hydrogen and 14.01 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2474-2474	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 27319-27319	"Hydrogen" se chama nome Hydrogen
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31482-31482	roomTempState Hydrogen and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27318-27318	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 27320-27320	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 27323-27327

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