EntertainmentAppliance - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EntertainmentAppliance HouseholdAppliance)	HouseholdAppliances.kif 282-282	Entertainment appliance is a subclass of household appliance
(subclass EntertainmentAppliance RecreationOrExerciseDevice)	HouseholdAppliances.kif 283-283	Entertainment appliance is a subclass of recreation or exercise device
(documentation EntertainmentAppliance EnglishLanguage "An appliance that has the primary purpose of entertaining people.")	HouseholdAppliances.kif 285-286	Entertainment appliance is a subclass of recreation or exercise device

appearance as argument number 2

(termFormat EnglishLanguage EntertainmentAppliance "entertainment appliance")	HouseholdAppliances.kif 288-288
(subclass GameConsole EntertainmentAppliance)	HouseholdAppliances.kif 299-299	Game console is a subclass of entertainment appliance
(subclass MobileGameConsole EntertainmentAppliance)	HouseholdAppliances.kif 312-312	Mobile game console is a subclass of entertainment appliance
(subclass MediaAppliance EntertainmentAppliance)	HouseholdAppliances.kif 329-329	Media appliance is a subclass of entertainment appliance
(subclass PersonalComputer EntertainmentAppliance)	HouseholdAppliances.kif 414-414	Personal computer is a subclass of entertainment appliance

antecedent

(=>
    (instance ?DEVICE EntertainmentAppliance)
    (hasPurpose ?DEVICE
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (instrument ?REC ?DEVICE)))))

If X is an instance of entertainment appliance, then X has the purpose there exists Y such that Y is an instance of recreation or exercise and X is an instrument for Y