|
|
   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 8766-8767 | |
| (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 31608-31608 | roomTempState ChemicalBase and Liquid |
| (subclass ChemicalBase CompoundSubstance) | Mid-level-ontology.kif 8765-8765 | ChemicalBase est une sous-classe de substance compos�e |
| appearance as argument number 2 |
|
|
| (disjoint ChemicalAcid ChemicalBase) | Mid-level-ontology.kif 8749-8749 | ChemicalAcid est disjoint de ChemicalBase |
| (subclass Alkaloid ChemicalBase) | Mid-level-ontology.kif 8669-8669 | Alkaloid est une sous-classe de ChemicalBase |
| (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 8753-8763 |
|
|
|
