Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| 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)))) |
Mid-level-ontology.kif 10093-10103 | 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 |
|
|
| (=> (instance ?LAWB LeadAcidWetBattery) (material ChemicalAcid ?LAWB)) |
Cars.kif 2302-2304 | If X is an instance of lead acid battery, then X is made of acid |
|
