ChemicalSalt - Sigma Knowledge base Browser

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 8961-8962
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Salt_collector_in_Lake_Retba.jpg")	pictureList.kif 6834-6834
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saltmill.jpg")	pictureList.kif 7779-7779
(roomTempState ChemicalSalt Solid)	Mid-level-ontology.kif 31842-31842	roomTempState salt and solid
(subclass ChemicalSalt CompoundSubstance)	Mid-level-ontology.kif 8960-8960	Salt is a subclass of compound substance

appearance as argument number 2

(subclass CalciumChloride ChemicalSalt)	Medicine.kif 5864-5864	CalciumChloride is a subclass of salt
(subclass PotassiumChloride ChemicalSalt)	Medicine.kif 5871-5871	PotassiumChloride is a subclass of salt
(subclass SodiumChloride ChemicalSalt)	Mid-level-ontology.kif 8964-8964	Salt is a subclass of salt
(subclass SodiumLactate ChemicalSalt)	Medicine.kif 5875-5875	SodiumLactate is a subclass of salt
(termFormat ChineseLanguage ChemicalSalt "化学盐")	domainEnglishFormat.kif 14350-14350	SodiumLactate is a subclass of salt
(termFormat ChineseLanguage ChemicalSalt "盐")	domainEnglishFormat.kif 51031-51031	SodiumLactate is a subclass of salt
(termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽")	domainEnglishFormat.kif 14349-14349	SodiumLactate is a subclass of salt
(termFormat ChineseTraditionalLanguage ChemicalSalt "鹽")	domainEnglishFormat.kif 51030-51030	SodiumLactate is a subclass of salt
(termFormat EnglishLanguage ChemicalSalt "chemical salt")	domainEnglishFormat.kif 14348-14348	SodiumLactate is a subclass of salt
(termFormat EnglishLanguage ChemicalSalt "salt")	domainEnglishFormat.kif 51029-51029	SodiumLactate 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 8944-8954