TreeView Knowledge Base Browser - Chlorine

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 27530-27530	atomicNumber Chlorine and 17
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29202-29202	boilingPoint Chlorine and 238.55 KelvinDegree(s)
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	meltingPoint Chlorine and 172.17 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5872-5872	molecularRatio Chlorine, 1 and PotassiumChloride
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5868-5868	molecularRatio Chlorine, 1 and SodiumChloride
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5865-5865	molecularRatio Chlorine, 2 and CalciumChloride
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1811-1811	molecularRatio Chlorine, 2 and Freon12
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27528-27528	"Chlorine" s'appele nom 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 est une sous-classe de substance �l�mentaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27529-27529	conventionalShortName "Cl" and Chlorine
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

Physique est une instance de Chlorine physique est une instance de atome
la mesure de physique est 35.453 Amu(s)

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1334-1341	Objet est une instance de CSGas objetHLOR objet objetHLOR est une instance de Chlorine objetHLOR est une partie de objet objet est une instance de Nitrogen objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8753-8762	Entit� est une instance de SodiumChloride processus objet and objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une instance de Sodium objet est une resource pour processus objet est une instance de Chlorine entit� est le resultat de processus

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