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 9523-9525
(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 5869-5869	Salt is a part of the mixture Hartmann's solution
(roomTempState SodiumChloride Solid)	Mid-level-ontology.kif 32774-32774	roomTempState salt and solid
(subclass SodiumChloride ChemicalSalt)	Mid-level-ontology.kif 9519-9519	Salt is a subclass of salt

appearance as argument number 2

(names "NaCl" SodiumChloride)	Mid-level-ontology.kif 9521-9521	Salt has name "NaCl"
(names "salt" SodiumChloride)	Mid-level-ontology.kif 9520-9520	Salt has name "salt"
(termFormat ChineseLanguage SodiumChloride "氯化钠")	domainEnglishFormat.kif 53711-53711	Salt has name "salt"
(termFormat ChineseLanguage SodiumChloride "盐")	domainEnglishFormat.kif 53717-53717	Salt has name "salt"
(termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉")	domainEnglishFormat.kif 53710-53710	Salt has name "salt"
(termFormat ChineseTraditionalLanguage SodiumChloride "鹽")	domainEnglishFormat.kif 53716-53716	Salt has name "salt"
(termFormat EnglishLanguage SodiumChloride "salt")	domainEnglishFormat.kif 53715-53715	Salt has name "salt"
(termFormat EnglishLanguage SodiumChloride "sodium chloride")	domainEnglishFormat.kif 53709-53709	Salt has name "salt"

appearance as argument number 3

(molecularRatio Chlorine 1 SodiumChloride)	Medicine.kif 5856-5856	The number of molecules of chlorine in a molecule of salt is 1
(molecularRatio Sodium 1 SodiumChloride)	Medicine.kif 5857-5857	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 9527-9536	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 9547-9553	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 2139-2141	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 10357-10362	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