Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hydrogen

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 凯文度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 凯文度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 "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 元素物质subclass

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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 3036-3045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8587-8593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8782-8791


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