Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SodiumChloride

 Sigma KEE - SodiumChloride
SodiumChloride
more pictures...

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 8777-8779
(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 mixturePartType SodiumChloride and RingersLactate
(roomTempState SodiumChloride Solid) Mid-level-ontology.kif 31683-31683 roomTempState SodiumChloride and Solid
(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 8773-8773 SodiumChloride est une sous-classe de ChemicalSalt

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


(names "NaCl" SodiumChloride) Mid-level-ontology.kif 8775-8775 SodiumChloride s'appele nom "NaCl"
(names "salt" SodiumChloride) Mid-level-ontology.kif 8774-8774 SodiumChloride s'appele nom "salt"
(termFormat ChineseLanguage SodiumChloride "氯化钠") domainEnglishFormat.kif 53680-53680
(termFormat ChineseLanguage SodiumChloride "盐") domainEnglishFormat.kif 53686-53686
(termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉") domainEnglishFormat.kif 53679-53679
(termFormat ChineseTraditionalLanguage SodiumChloride "鹽") domainEnglishFormat.kif 53685-53685
(termFormat EnglishLanguage SodiumChloride "salt") domainEnglishFormat.kif 53684-53684
(termFormat EnglishLanguage SodiumChloride "sodium chloride") domainEnglishFormat.kif 53678-53678

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


(molecularRatio Chlorine 1 SodiumChloride) Medicine.kif 5868-5868 molecularRatio Chlorine, 1 and SodiumChloride
(molecularRatio Sodium 1 SodiumChloride) Medicine.kif 5869-5869 molecularRatio Sodium, 1 and SodiumChloride

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
(=>
    (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
(=>
    (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
(=>
    (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 8781-8790

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


(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))		 Mid-level-ontology.kif 8801-8807
(=>
    (instance ?B Bacon)
    (material SodiumChloride ?B))		 Food.kif 2139-2141
(=>
    (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
(=>
    (instance ?PROCESS Salination)
    (exists (?SALT)
        (and
            (instance ?SALT SodiumChloride)
            (resource ?PROCESS ?SALT))))		 Geography.kif 2900-2905
(=>
    (instance ?SWEAT Sweat)
    (exists (?PART)
        (and
            (instance ?PART SodiumChloride)
            (part ?PART ?SWEAT))))		 Mid-level-ontology.kif 9488-9493


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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