| Electrolyte(electrolyte) | | electrolyte, polyelectrolyte |
| 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 2480-2483 | |
| (subclass Electrolyte ConductorSubstance) | Cars.kif 2478-2478 | Electrolyte is a subclass of conductor substance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Electrolyte "electrolyte") | Cars.kif 2479-2479 |
| antecedent |
|
|
| (=> (instance ?E Electrolyte) (hasPurpose ?E (exists (?ET) (and (instance ?ET ElectricTransmission) (patient ?ET ?E) (holdsDuring ?ET (attribute ?E Liquid)))))) |
Cars.kif 2485-2493 |
|
|
|
|