| ChemicalBase(chemical base)
| | alkali, base, pyrimidine |
| appearance as argument number 1 |
|
|
| (documentation ChemicalBase EnglishLanguage "A CompoundSubstance that is capable of reacting with a ChemicalAcid and forming a ChemicalSalt.") | Mid-level-ontology.kif 8957-8958 | |
| (externalImage ChemicalBase "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Potassium_hydroxide.jpg") | pictureList.kif 10606-10606 | |
| (externalImage ChemicalBase "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5a/ 2-carboxy-1%2C3-dihydroxynaphthalene_prepn.png") | pictureList.kif 10605-10605 | |
| (externalImage ChemicalBase "http://upload.wikimedia.org/wikipedia/en/6/ 6b/ Bronsted-lowry-3d-explanation-diagram.png") | pictureList.kif 9933-9933 | |
| (roomTempState ChemicalBase Liquid) | Mid-level-ontology.kif 31841-31841 | roomTempState chemical base and liquid |
| (subclass ChemicalBase CompoundSubstance) | Mid-level-ontology.kif 8956-8956 | Chemical base is a subclass of compound substance |
| appearance as argument number 2 |
|
|
| (disjoint ChemicalAcid ChemicalBase) | Mid-level-ontology.kif 8940-8940 | Chemical acid is disjoint from chemical base |
| (subclass Alkaloid ChemicalBase) | Mid-level-ontology.kif 8860-8860 | Alkaloid is a subclass of chemical base |
| (termFormat ChineseLanguage ChemicalBase "化学基地") | domainEnglishFormat.kif 14320-14320 | Alkaloid is a subclass of chemical base |
| (termFormat ChineseTraditionalLanguage ChemicalBase "化學基地") | domainEnglishFormat.kif 14319-14319 | Alkaloid is a subclass of chemical base |
| (termFormat EnglishLanguage ChemicalBase "chemical base") | domainEnglishFormat.kif 14318-14318 | Alkaloid is a subclass of 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)))) |
Mid-level-ontology.kif 8944-8954 |
|
|
|
|