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 27321-27321 1 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29233-29233 20.28 凯文度boiling
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 14.01 凯文度melting
No TPTP formula. May not be expressible in strict first order. Cars.kif 2474-2474 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 27319-27319 "Hydrogen" 的名 是
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31482-31482 roomTempState and 加油站
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27318-27318 元素物质subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27320-27320 是 "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 27323-27327

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 8614-8620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8809-8818


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