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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SodiumChloride
SodiumChloride

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 8428-8430
(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/ 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 8424-8424

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


(names "NaCl" SodiumChloride) Mid-level-ontology.kif 8426-8426
(names "salt" SodiumChloride) Mid-level-ontology.kif 8425-8425
(termFormat ChineseLanguage SodiumChloride "氯化钠") domainEnglishFormat.kif 53617-53617
(termFormat ChineseLanguage SodiumChloride "盐") domainEnglishFormat.kif 53623-53623
(termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉") domainEnglishFormat.kif 53616-53616
(termFormat ChineseTraditionalLanguage SodiumChloride "鹽") domainEnglishFormat.kif 53622-53622
(termFormat EnglishLanguage SodiumChloride "salt") domainEnglishFormat.kif 53621-53621
(termFormat EnglishLanguage SodiumChloride "sodium chloride") domainEnglishFormat.kif 53615-53615

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 8432-8441

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


(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))
Mid-level-ontology.kif 8452-8458
(=>
    (instance ?B Bacon)
    (material SodiumChloride ?B))
Food.kif 506-508
(=>
    (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 9070-9075


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners