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 27270-27270	1 是氫的 atomic 數字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29182-29182	測量 20.28 and 凱文度是氫的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27278-27281
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 29181-29181	測量 14.01 and 凱文度是氫的 melting 點
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2491-2491	molecularRatio 氫, 2 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5878-5878	molecularRatio 氫, 5 and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27268-27268	名氫 and "Hydrogen"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31450-31450	roomTempState 氫 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27267-27267	子類氫 and ElementalSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27269-27269	氫是 "H" 的 conventional 簡稱
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 27272-27276

例 Physical and 氫例 Physical and Atom
測量 Physical and 測量 1.0079 and amu

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 3036-3045	例 Object and 烴例 Object and Molecule Object Object 例 Object and 氫例 Object and 碳部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8587-8593	例 Object and 烴 Object Object 等於 Object and mereological 總和 Object and Object 例 Object and 碳例 Object and 氫
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8782-8791	例 Entity and Water Process Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 例 Object and 氫資源 Process and Object 例 Object and 氧結果 Process and Entity

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