UninterruptiblePowerSupplyUnit - Sigma Knowledge base Browser

appearance as argument number 1

(subclass UninterruptiblePowerSupplyUnit HomeOfficeAppliance)	HouseholdAppliances.kif 579-579	Uninterruptible power supply unit is a subclass of home office appliance
(subclass UninterruptiblePowerSupplyUnit PowerSource)	HouseholdAppliances.kif 580-580	Uninterruptible power supply unit is a subclass of power source
(documentation UninterruptiblePowerSupplyUnit EnglishLanguage "A PowerSource that can supply power from a build_in rechargeable Battery .")	HouseholdAppliances.kif 581-581	Uninterruptible power supply unit is a subclass of power source

appearance as argument number 2

(termFormat EnglishLanguage UninterruptiblePowerSupplyUnit "uninterruptible power supply unit")	HouseholdAppliances.kif 582-582
(abbreviation "UPS" UninterruptiblePowerSupplyUnit)	HouseholdAppliances.kif 583-583	"UPS" is an abbreviation of uninterruptible power supply unit

antecedent

(=>
    (instance ?DEVICE UninterruptiblePowerSupplyUnit)
    (exists (?BATTERY)
        (and
            (instance ?BATTERY Battery)
            (part ?DEVICE ?BATTERY))))

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