| Electrolyte | |
| appearance as argument number 1 |
|
|
| (documentation Electrolyte EnglishLanguage "A Substance that conducts Electricity and is a Liquid, typically found in Battery(s). In a LeadAcidWetBattery the electrolyte is a Mixture of distilled Water and SulfuricAcid.") | Cars.kif 2497-2500 | |
| (subclass Electrolyte ConductorSubstance) | Cars.kif 2495-2495 | Electrolyte 是 导体物质 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Electrolyte "electrolyte") | Cars.kif 2496-2496 |
| antecedent |
|
|
| (=> (instance ?E Electrolyte) (hasPurpose ?E (exists (?ET) (and (instance ?ET ElectricTransmission) (patient ?ET ?E) (holdsDuring ?ET (attribute ?E Liquid)))))) |
Cars.kif 2502-2510 |
|
|
|