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 9951-9953
(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 5899-5899	Salt is a part of the mixture Hartmann's solution
(roomTempState SodiumChloride Solid)	Mid-level-ontology.kif 33579-33579	room temperature state salt and solid
(subclass SodiumChloride ChemicalSalt)	Mid-level-ontology.kif 9947-9947	Salt is a subclass of salt

appearance as argument number 2

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

appearance as argument number 3

(molecularRatio Chlorine 1 SodiumChloride)	Medicine.kif 5884-5884	The number of molecules of chlorine in a molecule of salt is 1
(molecularRatio Sodium 1 SodiumChloride)	Medicine.kif 5885-5885	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 4265-4276	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 4247-4258	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 4228-4237	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 9955-9964	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 9975-9981	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 4292-4297	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 10784-10789	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