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	1 是氫的 atomic 數字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29170-29170	測量 20.28 and 凱文度是氫的 boiling 點
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	測量 14.01 and 凱文度是氫的 melting 點
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2497-2497	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 27256-27256	名氫 and "Hydrogen"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31446-31446	roomTempState 氫 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27255-27255	子類氫 and ElementalSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27257-27257	氫是 "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 27260-27264

例 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 8586-8592	例 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 8781-8790	例 Entity and Water Process Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 例 Object and 氫資源 Process and Object 例 Object and 氧結果 Process and Entity

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