ChemicalBase![]() ![]() ![]() | ![]() |
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 9963-9964 | |
(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 33280-33280 | |
(subclass ChemicalBase CompoundSubstance) | Mid-level-ontology.kif 9962-9962 |
appearance as argument number 2 |
![]() |
(disjoint ChemicalAcid ChemicalBase) | Mid-level-ontology.kif 9946-9946 | |
(subclass Alkaloid ChemicalBase) | Mid-level-ontology.kif 9866-9866 | |
(termFormat ChineseLanguage ChemicalBase "化学基地") | domainEnglishFormat.kif 14319-14319 | |
(termFormat ChineseTraditionalLanguage ChemicalBase "化學基地") | domainEnglishFormat.kif 14318-14318 | |
(termFormat EnglishLanguage ChemicalBase "chemical base") | domainEnglishFormat.kif 14317-14317 |
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 9950-9960 |
![]() |
![]() |