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

Formal Language: 



KB Term:  Term intersection
English Word: 

  time

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
(roomTempState SodiumChloride Solid) Mid-level-ontology.kif 31683-31683
(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 8773-8773

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


(names "NaCl" SodiumChloride) Mid-level-ontology.kif 8775-8775
(names "salt" SodiumChloride) Mid-level-ontology.kif 8774-8774
(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 Sodium 1 SodiumChloride) Medicine.kif 5869-5869

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