Chlorine - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 29463-29463	17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31135-31135	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 29471-29475	238.55 Kelvin degree(s) is a boiling point of chlorine
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1697-1697	238.55 Kelvin degree(s) is a boiling point of chlorine
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2136-2136	238.55 Kelvin degree(s) is a boiling point of chlorine
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1073-1073	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 31134-31134	172.17 Kelvin degree(s) is a melting point of chlorine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5888-5888	The number of molecules of chlorine in a molecule of potassium chloride is 1
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5883-5883	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 5880-5880	The number of molecules of chlorine in a molecule of calcium chloride is 2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1789-1789	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 29461-29461	"Chlorine" has &ames$"name" Chlorine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33414-33414	room temperature state chlorine and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29460-29460	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 29462-29462	Chlorine is a conventional short name of "Cl"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14625-14625	Chlorine is a conventional short name of "Cl"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14624-14624	Chlorine is a conventional short name of "Cl"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14623-14623	Chlorine is a conventional short name of "Cl"

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 29465-29469

If a physical is an instance of chlorine and the physical is an instance of atom,
then the measure of the physical is 35.453 amu(s)

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1491-1498	If an object is an instance of CS gas, then there exist the objectHLOR and a third object such that the objectHLOR is an instance of chlorine and the objectHLOR is a part of the object and the third object is an instance of nitrogen and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9960-9969	If an entity is an instance of salt, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of sodium and the other object is a resource for the process and the other object is an instance of chlorine and the entity is a result of the process

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