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 8968-8970
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Salt_crystals_in_death_valley.jpg")	pictureList.kif 7776-7776
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Salt-packet.jpg")	pictureList.kif 7777-7777
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ Piles_of_Salt_Salar_de_Uyuni_Bolivia_Luca_Galuzzi_2006_a.jpg")	pictureList.kif 7780-7780
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Salt_ship_loading.jpg")	pictureList.kif 7781-7781
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/en/ 4/ 43/ Image-Zigong_Salt.jpg")	pictureList.kif 7782-7782
(mixturePartType SodiumChloride RingersLactate)	Medicine.kif 5881-5881	Salt is a part of the mixture Hartmann's solution
(roomTempState SodiumChloride Solid)	Mid-level-ontology.kif 31916-31916	roomTempState salt and solid
(subclass SodiumChloride ChemicalSalt)	Mid-level-ontology.kif 8964-8964	Salt is a subclass of salt

appearance as argument number 2

(names "NaCl" SodiumChloride)	Mid-level-ontology.kif 8966-8966	Salt has name "NaCl"
(names "salt" SodiumChloride)	Mid-level-ontology.kif 8965-8965	Salt has name "salt"
(termFormat ChineseLanguage SodiumChloride "氯化钠")	domainEnglishFormat.kif 53718-53718	Salt has name "salt"
(termFormat ChineseLanguage SodiumChloride "盐")	domainEnglishFormat.kif 53724-53724	Salt has name "salt"
(termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉")	domainEnglishFormat.kif 53717-53717	Salt has name "salt"
(termFormat ChineseTraditionalLanguage SodiumChloride "鹽")	domainEnglishFormat.kif 53723-53723	Salt has name "salt"
(termFormat EnglishLanguage SodiumChloride "salt")	domainEnglishFormat.kif 53722-53722	Salt has name "salt"
(termFormat EnglishLanguage SodiumChloride "sodium chloride")	domainEnglishFormat.kif 53716-53716	Salt has name "salt"

appearance as argument number 3

(molecularRatio Chlorine 1 SodiumChloride)	Medicine.kif 5868-5868	The number of molecules of chlorine in a molecule of salt is 1
(molecularRatio Sodium 1 SodiumChloride)	Medicine.kif 5869-5869	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 2873-2884	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 2855-2866	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 2836-2845	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 8972-8981	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 8992-8998	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 2900-2905	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 9679-9684	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