Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(mixturePartType SodiumChloride RingersLactate) Medicine.kif 5874-5874 Salt is a part of the mixture Hartmann's solution
(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 9992-9992 Salt is a subclass of salt
(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 9996-9998 Salt is a subclass of salt
(roomTempState SodiumChloride Solid) Mid-level-ontology.kif 34342-34342 room temperature state salt and solid
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Salt_crystals_in_death_valley.jpg") pictureList.kif 7775-7775 room temperature state salt and solid
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Salt_packet.jpg") pictureList.kif 7776-7776 room temperature state salt and solid
(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 room temperature state salt and solid
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Salt_ship_loading.jpg") pictureList.kif 7780-7780 room temperature state salt and solid
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/en/ 4/ 43/ Image_Zigong_Salt.jpg") pictureList.kif 7781-7781 room temperature state salt and solid

appearance as argument number 2
-------------------------


(names "salt" SodiumChloride) Mid-level-ontology.kif 9993-9993 Salt has name "salt"
(names "NaCl" SodiumChloride) Mid-level-ontology.kif 9994-9994 Salt has name "NaCl"
(termFormat EnglishLanguage SodiumChloride "sodium chloride") domainEnglishFormat.kif 53673-53673 Salt has name "NaCl"
(termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉") domainEnglishFormat.kif 53674-53674 Salt has name "NaCl"
(termFormat ChineseLanguage SodiumChloride "氯化钠") domainEnglishFormat.kif 53675-53675 Salt has name "NaCl"
(termFormat EnglishLanguage SodiumChloride "salt") domainEnglishFormat.kif 53679-53679 Salt has name "NaCl"
(termFormat ChineseTraditionalLanguage SodiumChloride "鹽") domainEnglishFormat.kif 53680-53680 Salt has name "NaCl"
(termFormat ChineseLanguage SodiumChloride "盐") domainEnglishFormat.kif 53681-53681 Salt has name "NaCl"

appearance as argument number 3
-------------------------


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

antecedent
-------------------------


(=>
    (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 4291-4300 If X is an instance of sea water, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then the approximate value of Z is 35.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 4310-4321 If X is an instance of brackish water, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then Z is greater than 0.5 and Z is less than or equal to 30.0
(=>
    (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 4328-4339 If X is an instance of brine, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then Z is greater than 35.0 and Z is less than or equal to 260.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 10000-10009 If X is an instance of salt, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chemical synthesis (3) Z is a resource for Y (4) Z is an instance of sodium (5) W is a resource for Y (6) W is an instance of chlorine (7) X is a result of Y

consequent
-------------------------


(=>
    (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 X is an instance of curing food, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of food (3) Y is a patient of X (4) Z is an instance of putting (5) Z is a subprocess of X (6) W is an instance of salt (7) W is a patient of Z (8) Z ends up at Y
(=>
    (instance ?B Bacon)
    (material SodiumChloride ?B))		 Food.kif 2146-2148 If X is an instance of bacon, then X is made of salt
(=>
    (instance ?PROCESS Salination)
    (exists (?SALT)
        (and
            (instance ?SALT SodiumChloride)
            (resource ?PROCESS ?SALT))))		 Geography.kif 4355-4360 If X is an instance of salinifying, then there exists Y such that Y is an instance of salt and Y is a resource for X
(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))		 Mid-level-ontology.kif 10020-10026 If X is an instance of saline solution and Y is a part of X, then Y is an instance of salt or Y is an instance of water
(=>
    (instance ?SWEAT Sweat)
    (exists (?PART)
        (and
            (instance ?PART SodiumChloride)
            (part ?PART ?SWEAT))))		 Mid-level-ontology.kif 10829-10834 If X is an instance of sweat, then there exists Y such that Y is an instance of salt and Y is a part of X


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