| LeadAcidWetBattery
|
| appearance as argument number 1 |
|
| (documentation LeadAcidWetBattery EnglishLanguage "One of the most prevalent types of Battery. It consists of plates made (in part) of Lead, in an Acid solution.") | Cars.kif 2437-2439 | |
| (externalImage LeadAcidWetBattery "http://en.wikipedia.org/wiki/File:Photo_CarBattery.jpg") | Cars.kif 2453-2453 | |
| (subclass LeadAcidWetBattery RechargeableBattery) | Cars.kif 2435-2435 | LeadAcidWetBattery is a subclass of RechargeableBattery |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LeadAcidWetBattery "lead acid battery") | Cars.kif 2436-2436 |
| antecedent |
|
|
| (=> (instance ?LAWB LeadAcidWetBattery) (material ChemicalAcid ?LAWB)) |
Cars.kif 2445-2447 |
|
| (=> (instance ?LAWB LeadAcidWetBattery) (material Lead ?LAWB)) |
Cars.kif 2441-2443 |
|
| (=> (instance ?LAWB LeadAcidWetBattery) (material PurifiedWater ?LAWB)) |
Cars.kif 2449-2451 |
|
|
|
|