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 8750-8752
(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 31651-31651 roomTempState SodiumChloride and Solid
(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 8746-8746 SodiumChlorideChemicalSaltsubclass では %n

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


(names "NaCl" SodiumChloride) Mid-level-ontology.kif 8748-8748 SodiumChloride は "NaCl" の name を 持って %n{ない}
(names "salt" SodiumChloride) Mid-level-ontology.kif 8747-8747 SodiumChloride は "salt" の name を 持って %n{ない}
(termFormat ChineseLanguage SodiumChloride "氯化钠") domainEnglishFormat.kif 53678-53678
(termFormat ChineseLanguage SodiumChloride "盐") domainEnglishFormat.kif 53684-53684
(termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉") domainEnglishFormat.kif 53677-53677
(termFormat ChineseTraditionalLanguage SodiumChloride "鹽") domainEnglishFormat.kif 53683-53683
(termFormat EnglishLanguage SodiumChloride "salt") domainEnglishFormat.kif 53682-53682
(termFormat EnglishLanguage SodiumChloride "sodium chloride") domainEnglishFormat.kif 53676-53676

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 8754-8763

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


(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))
Mid-level-ontology.kif 8774-8780
(=>
    (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 9461-9466


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