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

(documentation SodiumChloride EnglishLanguage "SodiumChloride is the compound of Sodium and Chloride, which may appear in crystalline form or in solution with water or other substances. It is a compound found in solution in significant quantities in sea water.")	Mid-level-ontology.kif 9956-9958
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Salt_crystals_in_death_valley.jpg")	pictureList.kif 7775-7775
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Salt_packet.jpg")	pictureList.kif 7776-7776
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ Piles_of_Salt_Salar_de_Uyuni_Bolivia_Luca_Galuzzi_2006_a.jpg")	pictureList.kif 7779-7779
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Salt_ship_loading.jpg")	pictureList.kif 7780-7780
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/en/ 4/ 43/ Image_Zigong_Salt.jpg")	pictureList.kif 7781-7781
(mixturePartType SodiumChloride RingersLactate)	Medicine.kif 5898-5898	Salt is a part of the mixture Hartmann's solution
(roomTempState SodiumChloride Solid)	Mid-level-ontology.kif 33598-33598	room temperature state salt and solid
(subclass SodiumChloride ChemicalSalt)	Mid-level-ontology.kif 9952-9952	Salt is a subclass of salt

appearance as argument number 2

(names "NaCl" SodiumChloride)	Mid-level-ontology.kif 9954-9954	Salt has &ames$"name" "NaCl"
(names "salt" SodiumChloride)	Mid-level-ontology.kif 9953-9953	Salt has &ames$"name" "salt"
(termFormat ChineseLanguage SodiumChloride "氯化钠")	domainEnglishFormat.kif 53682-53682	Salt has &ames$"name" "salt"
(termFormat ChineseLanguage SodiumChloride "盐")	domainEnglishFormat.kif 53688-53688	Salt has &ames$"name" "salt"
(termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉")	domainEnglishFormat.kif 53681-53681	Salt has &ames$"name" "salt"
(termFormat ChineseTraditionalLanguage SodiumChloride "鹽")	domainEnglishFormat.kif 53687-53687	Salt has &ames$"name" "salt"
(termFormat EnglishLanguage SodiumChloride "salt")	domainEnglishFormat.kif 53686-53686	Salt has &ames$"name" "salt"
(termFormat EnglishLanguage SodiumChloride "sodium chloride")	domainEnglishFormat.kif 53680-53680	Salt has &ames$"name" "salt"

appearance as argument number 3

(molecularRatio Chlorine 1 SodiumChloride)	Medicine.kif 5883-5883	The number of molecules of chlorine in a molecule of salt is 1
(molecularRatio Sodium 1 SodiumChloride)	Medicine.kif 5884-5884	The number of molecules of sodium in a molecule of salt is 1

antecedent

(=> (and (instance ?B Brine) (measure ?B (MeasureFn 1.0 Liter)) (part ?SALT ?B) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (and (greaterThan ?R 35.0) (lessThanOrEqualTo ?R 260.0)))	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
(=> (and (instance ?SW BrackishWater) (measure ?SW (MeasureFn 1.0 Liter)) (part ?SALT ?SW) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (and (greaterThan ?R 0.5) (lessThanOrEqualTo ?R 30.0)))	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
(=> (and (instance ?SW SeaWater) (measure ?SW (MeasureFn 1.0 Liter)) (part ?SALT ?SW) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (approximateValue ?R 35.0))	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
(=> (instance ?SALT SodiumChloride) (exists (?SYNTHESIS ?SODIUM ?CHLORINE) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?SODIUM) (instance ?SODIUM Sodium) (resource ?SYNTHESIS ?CHLORINE) (instance ?CHLORINE Chlorine) (result ?SYNTHESIS ?SALT))))	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

(=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water)))	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
(=> (instance ?B Bacon) (material SodiumChloride ?B))	Food.kif 2146-2148	If a corpuscular object is an instance of bacon, then the corpuscular object is made of salt
(=> (instance ?C CuringFood) (exists (?F ?P ?S) (and (instance ?F Food) (patient ?C ?F) (instance ?P Putting) (subProcess ?P ?C) (instance ?S SodiumChloride) (patient ?P ?S) (destination ?P ?F))))	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
(=> (instance ?PROCESS Salination) (exists (?SALT) (and (instance ?SALT SodiumChloride) (resource ?PROCESS ?SALT))))	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
(=> (instance ?SWEAT Sweat) (exists (?PART) (and (instance ?PART SodiumChloride) (part ?PART ?SWEAT))))	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