TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29461-29461	17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31133-31133	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 29469-29473	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 31132-31132	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 29459-29459	"Chlorine" has &ames$"name" Chlorine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33412-33412	room temperature state chlorine and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29458-29458	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 29460-29460	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 29463-29467

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.

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

KB Term:			Term intersection

English Word: