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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chlorine

Sigma KEE - Chlorine
Chlorine(氯)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27593-27593 17 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29265-29265 238.55 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27601-27605
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1698-1698
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2137-2137
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1073-1073
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29264-29264 172.17 凯文度melting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5872-5872 molecularRatio , 1 and PotassiumChloride
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5868-5868 molecularRatio , 1 and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5865-5865 molecularRatio , 2 and CalciumChloride
No TPTP formula. May not be expressible in strict first order. Cars.kif 1788-1788 molecularRatio , 2 and Freon12
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27591-27591 "Chlorine" 的名 是
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31499-31499 roomTempState and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27590-27590 元素物质subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27592-27592 是 "Cl" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14616-14616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14615-14615
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14614-14614

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27595-27599

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1334-1341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8781-8790


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