| 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 8770-8771 | |
| (externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Salt_collector_in_Lake_Retba.jpg") | pictureList.kif 6834-6834 | |
| (externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saltmill.jpg") | pictureList.kif 7779-7779 | |
| (roomTempState ChemicalSalt Solid) | Mid-level-ontology.kif 31609-31609 | roomTempState salt and solid |
| (subclass ChemicalSalt CompoundSubstance) | Mid-level-ontology.kif 8769-8769 | Salt is a subclass of compound substance |
| appearance as argument number 2 |
|
|
| (subclass CalciumChloride ChemicalSalt) | Medicine.kif 5864-5864 | CalciumChloride is a subclass of salt |
| (subclass PotassiumChloride ChemicalSalt) | Medicine.kif 5871-5871 | PotassiumChloride is a subclass of salt |
| (subclass SodiumChloride ChemicalSalt) | Mid-level-ontology.kif 8773-8773 | Salt is a subclass of salt |
| (subclass SodiumLactate ChemicalSalt) | Medicine.kif 5875-5875 | SodiumLactate is a subclass of salt |
| (termFormat ChineseLanguage ChemicalSalt "化学盐") | domainEnglishFormat.kif 14334-14334 | |
| (termFormat ChineseLanguage ChemicalSalt "盐") | domainEnglishFormat.kif 50993-50993 | |
| (termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽") | domainEnglishFormat.kif 14333-14333 | |
| (termFormat ChineseTraditionalLanguage ChemicalSalt "鹽") | domainEnglishFormat.kif 50992-50992 | |
| (termFormat EnglishLanguage ChemicalSalt "chemical salt") | domainEnglishFormat.kif 14332-14332 | |
| (termFormat EnglishLanguage ChemicalSalt "salt") | domainEnglishFormat.kif 50991-50991 |
| 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 8753-8763 |
|
|
|
|