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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chlorine

Sigma KEE - Chlorine
Chlorine(chlorine)
Cl, atomic_number_17, chlorine, radiochlorine

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27542-27542 17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29214-29214 238.55 Kelvin degree(s) is a boiling point of chlorine
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 Kelvin degree(s) is a melting point of chlorine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5872-5872 The number of molecules of chlorine in a molecule of PotassiumChloride is 1
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5868-5868 The number of molecules of chlorine in a molecule of salt is 1
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5865-5865 The number of molecules of chlorine in a molecule of CalciumChloride is 2
No TPTP formula. May not be expressible in strict first order. Cars.kif 1805-1805 The number of molecules of chlorine in a molecule of freon-12 is 2
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27540-27540 "Chlorine" has name chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31467-31467 roomTempState chlorine and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27539-27539 Chlorine is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27541-27541 Chlorine is a conventional short name of "Cl"
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 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