RechargeableBattery
|
|
appearance as argument number 1 |
(documentation RechargeableBattery EnglishLanguage "A Battery that may be recharged after discharge. LeadAcidWetBattery(s) are the most common subclass.") | Cars.kif 2433-2435 | |
(subclass RechargeableBattery Battery) | Cars.kif 2431-2431 | RechargeableBattery e' uma sub-classe de Battery |
appearance as argument number 2 |
(subclass LeadAcidWetBattery RechargeableBattery) | Cars.kif 2451-2451 | LeadAcidWetBattery e' uma sub-classe de RechargeableBattery |
(termFormat EnglishLanguage RechargeableBattery "rechargeable battery") | Cars.kif 2432-2432 |
antecedent |
(=> (instance ?RB RechargeableBattery) (capability Charging destination ?RB)) |
Cars.kif 2437-2439 |
|
consequent |
(=> (instance ?C Charging) (exists (?RB) (and (instance ?RB RechargeableBattery) (destination ?C ?RB)))) |
Cars.kif 2402-2407 |