Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Battery
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
-------------------------


(subclass Battery DCPowerSource) Mid-level-ontology.kif 3176-3176 Battery is a subclass of DC power source
(subclass Battery ElectricDevice) Mid-level-ontology.kif 3177-3177 Battery is a subclass of electric device
(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 3178-3179 Battery is a subclass of electric device
(defaultMinimumHeight Battery
    (MeasureFn 15 Millimeter))		 DimensioningAmenities.kif 783-783 The minimum expected height of battery is 15 millimeter(s)
(defaultMaximumHeight Battery
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 784-784 The maximum expected height of battery is 10 inch(s)
(defaultMinimumWidth Battery
    (MeasureFn 5 Millimeter))		 DimensioningAmenities.kif 785-785 The minimum expected width of battery is 5 millimeter(s)
(defaultMaximumWidth Battery
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 786-786 The maximum expected width of battery is 10 inch(s)
(defaultMinimumLength Battery
    (MeasureFn 15 Millimeter))		 DimensioningAmenities.kif 787-787 The minimum expected length of battery is 15 millimeter(s)
(defaultMaximumLength Battery
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 788-788 The maximum expected length of battery is 12 inch(s)
(defaultMinimumMeasure Battery
    (MeasureFn 1 OunceMass))		 DimensioningAmenities.kif 789-789 The minimum expected value of battery is 1 Ounce(s)
(defaultMaximumMeasure Battery
    (MeasureFn 30 PoundMass))		 DimensioningAmenities.kif 790-790 The maximum expected value of battery is 30 pound mass(s)
(externalImage Battery "http://upload.wikimedia.org/wikipedia/en/thumb/0/ 0c/ AA_Batteries.png/ 200px_AA_Batteries.png") pictureList.kif 1045-1045 The maximum expected value of battery is 30 pound mass(s)

appearance as argument number 2
-------------------------


(subclass RechargeableBattery Battery) Cars.kif 2272-2272 Rechargeable battery is a subclass of battery
(subclass NonRechargeableBattery Battery) Cars.kif 2282-2282 Non_rechargeable battery is a subclass of battery
(termFormat EnglishLanguage Battery "battery") domainEnglishFormat.kif 10210-10210 Non_rechargeable battery is a subclass of battery
(termFormat ChineseTraditionalLanguage Battery "電池") domainEnglishFormat.kif 10211-10211 Non_rechargeable battery is a subclass of battery
(termFormat ChineseLanguage Battery "电池") domainEnglishFormat.kif 10212-10212 Non_rechargeable battery is a subclass of battery

antecedent
-------------------------


(=>
    (and
        (instance ?DEVICE ElectricDevice)
        (instance ?BATTERY Battery)
        (instance ?PROC Process)
        (patient ?PROC Electricity)
        (destination ?PROC ?DEVICE)
        (agent ?PROC ?BATTERY))
    (instance ?DEVICE BatteryPoweredDevice))		 HouseholdAppliances.kif 53-61 If All of the following hold: (1) X is an instance of electric device (2) Y is an instance of battery (3) Z is an instance of process (4) electricity is a patient of Z (5) Z ends up at X (6) Y is an agent of Z, then X is an instance of battery powered device

consequent
-------------------------


(=>
    (instance ?D Discharging)
    (exists (?B)
        (and
            (instance ?B Battery)
            (origin ?D ?B))))		 Cars.kif 2265-2270 If X is an instance of discharging, then there exists Y such that Y is an instance of battery and X originates at Y
(=>
    (instance ?DEVICE UninterruptiblePowerSupplyUnit)
    (exists (?BATTERY)
        (and
            (instance ?BATTERY Battery)
            (part ?DEVICE ?BATTERY))))		 HouseholdAppliances.kif 585-590 If X is an instance of uninterruptible power supply unit, then there exists Y such that Y is an instance of battery and X is a part of Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners