SodiumChloride - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SodiumChloride

SodiumChloride(salt)

more pictures...

brackish, briny, saline, saltish, salty

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9956-9958
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7775-7775
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7776-7776
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7779-7779
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7780-7780
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7781-7781
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5898-5898	Salt is a part of the mixture Hartmann's solution
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33598-33598	room temperature state salt and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9952-9952	Salt is a subclass of salt

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9954-9954	Salt has &ames$"name" "NaCl"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9953-9953	Salt has &ames$"name" "salt"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53682-53682	Salt has &ames$"name" "salt"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53688-53688	Salt has &ames$"name" "salt"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53681-53681	Salt has &ames$"name" "salt"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53687-53687	Salt has &ames$"name" "salt"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53686-53686	Salt has &ames$"name" "salt"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53680-53680	Salt has &ames$"name" "salt"

appearance as argument number 3

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 5884-5884	The number of molecules of sodium in a molecule of salt is 1

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2861-2872	If an object is an instance of brine and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the real number is greater than 35.0 and the real number is less than or equal to 260.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2843-2854	If an object is an instance of brackish water and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the real number is greater than 0.5 and the real number is less than or equal to 30.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2824-2833	If an object is an instance of sea water and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the approximate value of the real number is 35.0
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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9980-9986	If an object is an instance of saline solution and another object is a part of the object, then the other object is an instance of salt or the other object is an instance of water
No TPTP formula. May not be expressible in strict first order.	Food.kif 2146-2148	If a corpuscular object is an instance of bacon, then the corpuscular object is made of salt
No TPTP formula. May not be expressible in strict first order.	Food.kif 84-94	If a process is an instance of curing food, then there exist an entity, another process and another entity such that the entity is an instance of food and the entity is a patient of the process and the other process is an instance of putting and the other process is a subprocess of the process and the other entity is an instance of salt and the other entity is a patient of the other process and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2888-2893	If a process is an instance of salinifying, then there exists an object such that the object is an instance of salt and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10790-10795	If an object is an instance of sweat, then there exists another object such that the other object is an instance of salt and the other object is a part of the object

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