| ChemicalSalt(salt)
| | citrate, dibasic_salt, ferrocyanide, iodide, lactate, polyphosphate, pyrophosphate, salt, sulfonate, urate, xanthate |
| 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 7588-7589 | |
| (externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Salt_collector_in_Lake_Retba.jpg") | pictureList.kif 6835-6835 | |
| (externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saltmill.jpg") | pictureList.kif 7781-7781 | |
| (subclass ChemicalSalt CompoundSubstance) | Mid-level-ontology.kif 7587-7587 | Salt is a subclass of compound substance |
| appearance as argument number 2 |
|
|
| (subclass SodiumChloride ChemicalSalt) | Mid-level-ontology.kif 7591-7591 | Salt is a subclass of salt |
| (termFormat ChineseLanguage ChemicalSalt "化学盐") | domainEnglishFormat.kif 14337-14337 | |
| (termFormat ChineseLanguage ChemicalSalt "盐") | domainEnglishFormat.kif 50973-50973 | |
| (termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽") | domainEnglishFormat.kif 14336-14336 | |
| (termFormat ChineseTraditionalLanguage ChemicalSalt "鹽") | domainEnglishFormat.kif 50972-50972 | |
| (termFormat EnglishLanguage ChemicalSalt "chemical salt") | domainEnglishFormat.kif 14335-14335 | |
| (termFormat EnglishLanguage ChemicalSalt "salt") | domainEnglishFormat.kif 50971-50971 |
| 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 7571-7581 |
|
|
|
|