| Battery(battery)
| | A_battery, B_battery, C_battery, battery, electric_battery, galvanic_battery, galvanic_pile, pile, voltaic_battery, voltaic_pile |
| appearance as argument number 1 |
|
|
| (documentation Battery EnglishLanguage "Battery is a subclass of Device. Batteries are devices that use chemical means to store or produce electrical power.") | Mid-level-ontology.kif 2645-2646 | |
| (externalImage Battery "http://upload.wikimedia.org/wikipedia/en/thumb/0/ 0c/ AA_Batteries.png/ 200px_AA_Batteries.png") | pictureList.kif 1045-1045 | |
| (subclass Battery DCPowerSource) | Mid-level-ontology.kif 2643-2643 | Battery is a subclass of DC power source |
| (subclass Battery ElectricDevice) | Mid-level-ontology.kif 2644-2644 | Battery is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (subclass NonRechargeableBattery Battery) | Cars.kif 2425-2425 | Non_rechargeable battery is a subclass of battery |
| (subclass RechargeableBattery Battery) | Cars.kif 2415-2415 | Rechargeable battery is a subclass of battery |
| (termFormat ChineseLanguage Battery "电池") | domainEnglishFormat.kif 10219-10219 | Rechargeable battery is a subclass of battery |
| (termFormat ChineseTraditionalLanguage Battery "電池") | domainEnglishFormat.kif 10218-10218 | Rechargeable battery is a subclass of battery |
| (termFormat EnglishLanguage Battery "battery") | domainEnglishFormat.kif 10217-10217 | Rechargeable battery is a subclass of battery |
| consequent |
|
|
| (=> (instance ?D Discharging) (exists (?B) (and (instance ?B Battery) (origin ?D ?B)))) |
Cars.kif 2408-2413 |
|
|
|
|