| 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 8738-8739 | |
| (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 31572-31572 | roomTempState chemical base and liquid |
| (subclass ChemicalBase CompoundSubstance) | Mid-level-ontology.kif 8737-8737 | Chemical base is a subclass of compound substance |
| appearance as argument number 2 |
|
|
| (disjoint ChemicalAcid ChemicalBase) | Mid-level-ontology.kif 8721-8721 | Chemical acid is disjoint from chemical base |
| (subclass Alkaloid ChemicalBase) | Mid-level-ontology.kif 8641-8641 | Alkaloid is a subclass of chemical base |
| (termFormat ChineseLanguage ChemicalBase "化学基地") | domainEnglishFormat.kif 14304-14304 | |
| (termFormat ChineseTraditionalLanguage ChemicalBase "化學基地") | domainEnglishFormat.kif 14303-14303 | |
| (termFormat EnglishLanguage ChemicalBase "chemical base") | domainEnglishFormat.kif 14302-14302 |
| 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 |
|
|
|
|