ChemicalBase - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ChemicalBase CompoundSubstance)	Mid-level-ontology.kif 10105-10105	Chemical base is a subclass of compound substance
(documentation ChemicalBase EnglishLanguage "A CompoundSubstance that is capable of reacting with a ChemicalAcid and forming a ChemicalSalt.")	Mid-level-ontology.kif 10106-10107	Chemical base is a subclass of compound substance
(roomTempState ChemicalBase Liquid)	Mid-level-ontology.kif 34042-34042	room temperature state chemical base and liquid
(externalImage ChemicalBase "http://upload.wikimedia.org/wikipedia/en/6/ 6b/ Bronsted_lowry-3d_explanation_diagram.png")	pictureList.kif 9932-9932	room temperature state chemical base and liquid
(externalImage ChemicalBase "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5a/ 2-carboxy-1%2C3-dihydroxynaphthalene_prepn.png")	pictureList.kif 10603-10603	room temperature state chemical base and liquid
(externalImage ChemicalBase "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Potassium_hydroxide.jpg")	pictureList.kif 10604-10604	room temperature state chemical base and liquid

appearance as argument number 2

(subclass Alkaloid ChemicalBase)	Mid-level-ontology.kif 10002-10002	Alkaloid is a subclass of chemical base
(disjoint ChemicalAcid ChemicalBase)	Mid-level-ontology.kif 10082-10082	Acid is disjoint from chemical base
(termFormat EnglishLanguage ChemicalBase "chemical base")	domainEnglishFormat.kif 14304-14304	Acid is disjoint from chemical base
(termFormat ChineseTraditionalLanguage ChemicalBase "化學基地")	domainEnglishFormat.kif 14305-14305	Acid is disjoint from chemical base
(termFormat ChineseLanguage ChemicalBase "化学基地")	domainEnglishFormat.kif 14306-14306	Acid is disjoint from chemical base

antecedent

(=>
    (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))))

If X is an instance of acid, Y is an instance of chemical base, Z is an instance of chemical process, X is a patient of Z, and Y is a patient of Z, then there exists W such that W is an instance of salt and W is a result of Z