BatteryPoweredDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BatteryPoweredDevice ElectricDevice)	HouseholdAppliances.kif 41-41	Battery powered device is a subclass of electric device
(documentation BatteryPoweredDevice EnglishLanguage "%BatteryPoweredDevice is an ElectricDevice that can be powered by either build_in Battery or attachable. Some battery powered devices can have multiple ")	HouseholdAppliances.kif 43-46	Battery powered device is a subclass of electric device

appearance as argument number 2

(termFormat EnglishLanguage BatteryPoweredDevice "battery powered device")	HouseholdAppliances.kif 48-48
(subclass MobileGameConsole BatteryPoweredDevice)	HouseholdAppliances.kif 313-313	Mobile game console is a subclass of battery powered device
(subclass PortablePersonalComputer BatteryPoweredDevice)	HouseholdAppliances.kif 434-434	Portable personal computer is a subclass of battery powered device

consequent

(=>
    (and
        (instance ?DEVICE ElectricDevice)
        (instance ?BATTERY Battery)
        (instance ?PROC Process)
        (patient ?PROC Electricity)
        (destination ?PROC ?DEVICE)
        (agent ?PROC ?BATTERY))
    (instance ?DEVICE BatteryPoweredDevice))

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