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 27530-27530 17 是 氯 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29202-29202 238.55 凯文度 是 氯 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27538-27542
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 29201-29201 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 1811-1811 molecularRatio 氯, 2 and Freon12
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27528-27528 "Chlorine" 的名 是 氯
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31463-31463 roomTempState 氯 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27527-27527 氯 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27529-27529 氯 是 "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 27532-27536

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 8753-8762


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