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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chlorine
Chlorine(氯)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27542-27542 17 是 氯 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29214-29214 238.55 凯文度 是 氯 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27550-27554
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 29213-29213 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 1805-1805 molecularRatio 氯, 2 and Freon12
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27540-27540 "Chlorine" 的名 是 氯
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31467-31467 roomTempState 氯 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27539-27539 氯 是 元素物质 的 subclass

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


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

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 8754-8763


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