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 2503-2506 | |
(subclass Electrolyte ConductorSubstance) | Cars.kif 2501-2501 | Electrolyte è una sottoclasse di ConductorSubstance |
appearance as argument number 2 |
(termFormat EnglishLanguage Electrolyte "electrolyte") | Cars.kif 2502-2502 |
antecedent |
(=> (instance ?E Electrolyte) (hasPurpose ?E (exists (?ET) (and (instance ?ET ElectricTransmission) (patient ?ET ?E) (holdsDuring ?ET (attribute ?E Liquid)))))) |
Cars.kif 2508-2516 |
|