| ChemicalSalt
| |
| appearance as argument number 1 |
|
|
| (documentation ChemicalSalt EnglishLanguage "A bitter CompoundSubstance that is formed in a chemical reaction of a ChemicalBase with a ChemicalAcid.") | Mid-level-ontology.kif 8961-8962 | |
| (externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Salt_collector_in_Lake_Retba.jpg") | pictureList.kif 6833-6833 | |
| (externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saltmill.jpg") | pictureList.kif 7778-7778 | |
| (roomTempState ChemicalSalt Solid) | Mid-level-ontology.kif 31842-31842 | |
| (subclass ChemicalSalt CompoundSubstance) | Mid-level-ontology.kif 8960-8960 |
| appearance as argument number 2 |
|
|
| (subclass CalciumChloride ChemicalSalt) | Medicine.kif 5864-5864 | |
| (subclass PotassiumChloride ChemicalSalt) | Medicine.kif 5871-5871 | |
| (subclass SodiumChloride ChemicalSalt) | Mid-level-ontology.kif 8964-8964 | |
| (subclass SodiumLactate ChemicalSalt) | Medicine.kif 5875-5875 | |
| (termFormat ChineseLanguage ChemicalSalt "化学盐") | domainEnglishFormat.kif 14345-14345 | |
| (termFormat ChineseLanguage ChemicalSalt "盐") | domainEnglishFormat.kif 51026-51026 | |
| (termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽") | domainEnglishFormat.kif 14344-14344 | |
| (termFormat ChineseTraditionalLanguage ChemicalSalt "鹽") | domainEnglishFormat.kif 51025-51025 | |
| (termFormat EnglishLanguage ChemicalSalt "chemical salt") | domainEnglishFormat.kif 14343-14343 | |
| (termFormat EnglishLanguage ChemicalSalt "salt") | domainEnglishFormat.kif 51024-51024 |
| consequent |
|
|
| (=> (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 |
|
|
|