appearance as argument number 1 |
(disjoint ChemicalAcid ChemicalBase) | Mid-level-ontology.kif 8721-8721 | Chemical acid is disjoint from chemical base |
(documentation ChemicalAcid EnglishLanguage "A bitter CompoundSubstance that is capable of reacting with a ChemicalBase and forming a ChemicalSalt.") | Mid-level-ontology.kif 8722-8723 | |
(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]") | Cars.kif 2479-2483 | |
(roomTempState ChemicalAcid Liquid) | Mid-level-ontology.kif 31571-31571 | roomTempState chemical acid and liquid |
(subclass ChemicalAcid CompoundSubstance) | Mid-level-ontology.kif 8720-8720 | Chemical acid is a subclass of compound substance |
(subclass ChemicalAcid Substance) | Cars.kif 2477-2477 | Chemical acid is a subclass of substance |
appearance as argument number 2 |
(subclass AminoAcid ChemicalAcid) | Mid-level-ontology.kif 8694-8694 | Amino acid is a subclass of chemical acid |
(subclass SulfuricAcid ChemicalAcid) | Cars.kif 2485-2485 | Sulfuric acid is a subclass of chemical acid |
(termFormat ChineseLanguage ChemicalAcid "化学酸") | domainEnglishFormat.kif 14280-14280 | |
(termFormat ChineseTraditionalLanguage ChemicalAcid "化學酸") | domainEnglishFormat.kif 14279-14279 | |
(termFormat EnglishLanguage ChemicalAcid "acid") | Cars.kif 2478-2478 | |
(termFormat EnglishLanguage ChemicalAcid "chemical acid") | domainEnglishFormat.kif 14278-14278 |
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)))) |
Mid-level-ontology.kif 8725-8735 |
|
consequent |
(=> (instance ?LAWB LeadAcidWetBattery) (material ChemicalAcid ?LAWB)) |
Cars.kif 2467-2469 |
|