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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSalt
ChemicalSalt(salt)
citrate, dibasic_salt, ferrocyanide, iodide, lactate, polyphosphate, pyrophosphate, salt, sulfonate, urate, xanthate

appearance as argument number 1
-------------------------


(documentation ChemicalSalt EnglishLanguage "A bitter CompoundSubstance that is formed in a chemical reaction of a ChemicalBase with a ChemicalAcid.") Mid-level-ontology.kif 9949-9950
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Salt_collector_in_Lake_Retba.jpg") pictureList.kif 6833-6833
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saltmill.jpg") pictureList.kif 7778-7778
(roomTempState ChemicalSalt Solid) Mid-level-ontology.kif 33522-33522 room temperature state salt and solid
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 9948-9948 Salt is a subclass of compound substance

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


(subclass CalciumChloride ChemicalSalt) Medicine.kif 5878-5878 Calcium chloride is a subclass of salt
(subclass PotassiumChloride ChemicalSalt) Medicine.kif 5886-5886 Potassium chloride is a subclass of salt
(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 9952-9952 Salt is a subclass of salt
(subclass SodiumLactate ChemicalSalt) Medicine.kif 5891-5891 Sodium lactate is a subclass of salt
(termFormat ChineseLanguage ChemicalSalt "化学盐") domainEnglishFormat.kif 14343-14343 Sodium lactate is a subclass of salt
(termFormat ChineseLanguage ChemicalSalt "盐") domainEnglishFormat.kif 50995-50995 Sodium lactate is a subclass of salt
(termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽") domainEnglishFormat.kif 14342-14342 Sodium lactate is a subclass of salt
(termFormat ChineseTraditionalLanguage ChemicalSalt "鹽") domainEnglishFormat.kif 50994-50994 Sodium lactate is a subclass of salt
(termFormat EnglishLanguage ChemicalSalt "chemical salt") domainEnglishFormat.kif 14341-14341 Sodium lactate is a subclass of salt
(termFormat EnglishLanguage ChemicalSalt "salt") domainEnglishFormat.kif 50993-50993 Sodium lactate is a subclass of salt

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


(=>
    (and
        (instance ?CA ChemicalAcid)
        (instance ?CB ChemicalBase)
        (instance ?C ChemicalProcess)
        (patient ?C ?CA)
        (patient ?C ?CB))
    (exists (?CS)
        (and
            (instance ?CS ChemicalSalt)
            (result ?C ?CS))))
Mid-level-ontology.kif 9932-9942


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