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 27530-27530	17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29202-29202	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 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 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 1811-1811	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 27528-27528	"Chlorine" has name chlorine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31463-31463	roomTempState chlorine and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27527-27527	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 27529-27529	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 27532-27536

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