| 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 9967-9968 | |
| (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 33281-33281 | |
| (subclass ChemicalSalt CompoundSubstance) | Mid-level-ontology.kif 9966-9966 |
| appearance as argument number 2 |
|
|
| (subclass CalciumChloride ChemicalSalt) | Medicine.kif 5878-5878 | |
| (subclass PotassiumChloride ChemicalSalt) | Medicine.kif 5886-5886 | |
| (subclass SodiumChloride ChemicalSalt) | Mid-level-ontology.kif 9970-9970 | |
| (subclass SodiumLactate ChemicalSalt) | Medicine.kif 5891-5891 | |
| (termFormat ChineseLanguage ChemicalSalt "化学盐") | domainEnglishFormat.kif 14349-14349 | |
| (termFormat ChineseLanguage ChemicalSalt "盐") | domainEnglishFormat.kif 51024-51024 | |
| (termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽") | domainEnglishFormat.kif 14348-14348 | |
| (termFormat ChineseTraditionalLanguage ChemicalSalt "鹽") | domainEnglishFormat.kif 51023-51023 | |
| (termFormat EnglishLanguage ChemicalSalt "chemical salt") | domainEnglishFormat.kif 14347-14347 | |
| (termFormat EnglishLanguage ChemicalSalt "salt") | domainEnglishFormat.kif 51022-51022 |
| 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 9950-9960 |
|
|
|