| 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 9512-9513 | |
| (externalImage ChemicalBase "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Potassium_hydroxide.jpg") | pictureList.kif 10604-10604 | |
| (externalImage ChemicalBase "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5a/ 2-carboxy-1%2C3-dihydroxynaphthalene_prepn.png") | pictureList.kif 10603-10603 | |
| (externalImage ChemicalBase "http://upload.wikimedia.org/wikipedia/en/6/ 6b/ Bronsted_lowry-3d_explanation_diagram.png") | pictureList.kif 9932-9932 | |
| (roomTempState ChemicalBase Liquid) | Mid-level-ontology.kif 32699-32699 | roomTempState chemical base and liquid |
| (subclass ChemicalBase CompoundSubstance) | Mid-level-ontology.kif 9511-9511 | Chemical base is a subclass of compound substance |
| appearance as argument number 2 |
|
|
| (disjoint ChemicalAcid ChemicalBase) | Mid-level-ontology.kif 9495-9495 | Chemical acid is disjoint from chemical base |
| (subclass Alkaloid ChemicalBase) | Mid-level-ontology.kif 9415-9415 | Alkaloid is a subclass of chemical base |
| (termFormat ChineseLanguage ChemicalBase "化学基地") | domainEnglishFormat.kif 14319-14319 | Alkaloid is a subclass of chemical base |
| (termFormat ChineseTraditionalLanguage ChemicalBase "化學基地") | domainEnglishFormat.kif 14318-14318 | Alkaloid is a subclass of chemical base |
| (termFormat EnglishLanguage ChemicalBase "chemical base") | domainEnglishFormat.kif 14317-14317 | 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 9499-9509 |
|
|
|
|