|
|
   Battery
|
|
|
| appearance as argument number 1 |
|
|
| (defaultMaximumHeight Battery (MeasureFn 10 Inch)) |
DimensioningAmenities.kif 782-782 | |
| (defaultMaximumLength Battery (MeasureFn 12 Inch)) |
DimensioningAmenities.kif 786-786 | |
| (defaultMaximumMeasure Battery (MeasureFn 30 PoundMass)) |
DimensioningAmenities.kif 788-788 | |
| (defaultMaximumWidth Battery (MeasureFn 10 Inch)) |
DimensioningAmenities.kif 784-784 | |
| (defaultMinimumHeight Battery (MeasureFn 15 Millimeter)) |
DimensioningAmenities.kif 781-781 | |
| (defaultMinimumLength Battery (MeasureFn 15 Millimeter)) |
DimensioningAmenities.kif 785-785 | |
| (defaultMinimumMeasure Battery (MeasureFn 1 OunceMass)) |
DimensioningAmenities.kif 787-787 | |
| (defaultMinimumWidth Battery (MeasureFn 5 Millimeter)) |
DimensioningAmenities.kif 783-783 | |
| (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 3043-3044 | |
| (externalImage Battery "http://upload.wikimedia.org/wikipedia/en/thumb/0/ 0c/ AA-Batteries.png/ 200px-AA-Batteries.png") | pictureList.kif 1046-1046 | |
| (subclass Battery DCPowerSource) | Mid-level-ontology.kif 3041-3041 | |
| (subclass Battery ElectricDevice) | Mid-level-ontology.kif 3042-3042 |
| appearance as argument number 2 |
|
|
| (subclass NonRechargeableBattery Battery) | Cars.kif 2427-2427 | |
| (subclass RechargeableBattery Battery) | Cars.kif 2417-2417 | |
| (termFormat EnglishLanguage Battery "battery") | domainEnglishFormat.kif 2137-2137 |
| consequent |
|
|
| (=> (instance ?D Discharging) (exists (?B) (and (instance ?B Battery) (origin ?D ?B)))) |
Cars.kif 2410-2415 |
|
|
|
