LeadAcidWetBattery(lead acid battery) |
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 2436-2438 | |
(externalImage LeadAcidWetBattery "http://en.wikipedia.org/wiki/File:Photo-CarBattery.jpg") | Cars.kif 2452-2452 | |
(subclass LeadAcidWetBattery RechargeableBattery) | Cars.kif 2434-2434 | Lead acid battery is a subclass of rechargeable battery |
appearance as argument number 2 |
(termFormat EnglishLanguage LeadAcidWetBattery "lead acid battery") | Cars.kif 2435-2435 |
antecedent |
(=> (instance ?LAWB LeadAcidWetBattery) (material ChemicalAcid ?LAWB)) |
Cars.kif 2444-2446 |
|
(=> (instance ?LAWB LeadAcidWetBattery) (material Lead ?LAWB)) |
Cars.kif 2440-2442 |
|
(=> (instance ?LAWB LeadAcidWetBattery) (material PurifiedWater ?LAWB)) |
Cars.kif 2448-2450 |
|