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 8408-8410
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Salt_crystals_in_death_valley.jpg") pictureList.kif 7778-7778
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Salt-packet.jpg") pictureList.kif 7779-7779
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ Piles_of_Salt_Salar_de_Uyuni_Bolivia_Luca_Galuzzi_2006_a.jpg") pictureList.kif 7782-7782
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Salt_ship_loading.jpg") pictureList.kif 7783-7783
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/en/ 4/ 43/ Image-Zigong_Salt.jpg") pictureList.kif 7784-7784
(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 8404-8404 Salt is a subclass of salt

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


(names "NaCl" SodiumChloride) Mid-level-ontology.kif 8406-8406 Salt has name "NaCl"
(names "salt" SodiumChloride) Mid-level-ontology.kif 8405-8405 Salt has name "salt"
(termFormat ChineseLanguage SodiumChloride "氯化钠") domainEnglishFormat.kif 53596-53596
(termFormat ChineseLanguage SodiumChloride "盐") domainEnglishFormat.kif 53602-53602
(termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉") domainEnglishFormat.kif 53595-53595
(termFormat ChineseTraditionalLanguage SodiumChloride "鹽") domainEnglishFormat.kif 53601-53601
(termFormat EnglishLanguage SodiumChloride "salt") domainEnglishFormat.kif 53600-53600
(termFormat EnglishLanguage SodiumChloride "sodium chloride") domainEnglishFormat.kif 53594-53594

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


(=>
    (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 8412-8421

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


(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))
Mid-level-ontology.kif 8432-8438
(=>
    (instance ?B Bacon)
    (material SodiumChloride ?B))
Food.kif 462-464
(=>
    (instance ?PROCESS Salination)
    (exists (?SALT)
        (and
            (instance ?SALT SodiumChloride)
            (resource ?PROCESS ?SALT))))
Geography.kif 2767-2772
(=>
    (instance ?SWEAT Sweat)
    (exists (?PART)
        (and
            (instance ?PART SodiumChloride)
            (part ?PART ?SWEAT))))
Mid-level-ontology.kif 9050-9055


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