ChemicalAcid - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ChemicalAcid CompoundSubstance)	Mid-level-ontology.kif 10081-10081	Acid is a subclass of compound substance
(disjoint ChemicalAcid ChemicalBase)	Mid-level-ontology.kif 10082-10082	Acid is disjoint from chemical base
(subclass ChemicalAcid Substance)	Mid-level-ontology.kif 10083-10083	Acid is a subclass of substance
(documentation ChemicalAcid EnglishLanguage "Acids are substances which increase the concentration of hydronium ions (H3O+) in solution, substances which can act as a proton donor, and substances which are electron_pair acceptors. This is a restrictive definition combining the 'Arrhenius definition', the 'Brønsted_Lowry definition' and the 'Lewis definition' [adapted from Wikipedia]")	Mid-level-ontology.kif 10085-10089	Acid is a subclass of substance
(documentation ChemicalAcid EnglishLanguage "A bitter CompoundSubstance that is capable of reacting with a ChemicalBase and forming a ChemicalSalt.")	Mid-level-ontology.kif 10090-10091	Acid is a subclass of substance
(roomTempState ChemicalAcid Liquid)	Mid-level-ontology.kif 34041-34041	room temperature state acid and liquid

appearance as argument number 2

(subclass AminoAcid ChemicalAcid)	Mid-level-ontology.kif 10055-10055	Amino acid is a subclass of acid
(termFormat EnglishLanguage ChemicalAcid "acid")	Mid-level-ontology.kif 10084-10084	Amino acid is a subclass of acid
(subclass SulfuricAcid ChemicalAcid)	Cars.kif 2312-2312	Sulfuric acid is a subclass of acid
(termFormat EnglishLanguage ChemicalAcid "chemical acid")	domainEnglishFormat.kif 14280-14280	Sulfuric acid is a subclass of acid
(termFormat ChineseTraditionalLanguage ChemicalAcid "化學酸")	domainEnglishFormat.kif 14281-14281	Sulfuric acid is a subclass of acid
(termFormat ChineseLanguage ChemicalAcid "化学酸")	domainEnglishFormat.kif 14282-14282	Sulfuric acid is a subclass of acid

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

consequent