Battery
|
|
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 2579-2580 | |
(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 2577-2577 | |
(subclass Battery ElectricDevice) | Mid-level-ontology.kif 2578-2578 |
appearance as argument number 2 |
(subclass NonRechargeableBattery Battery) | Cars.kif 2447-2447 | |
(subclass RechargeableBattery Battery) | Cars.kif 2437-2437 | |
(termFormat ChineseLanguage Battery "电池") | domainEnglishFormat.kif 10212-10212 | |
(termFormat ChineseTraditionalLanguage Battery "電池") | domainEnglishFormat.kif 10211-10211 | |
(termFormat EnglishLanguage Battery "battery") | domainEnglishFormat.kif 10210-10210 |
consequent |
(=> (instance ?D Discharging) (exists (?B) (and (instance ?B Battery) (origin ?D ?B)))) |
Cars.kif 2430-2435 |