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

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

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 8586-8592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8781-8790


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