RotisserieAppliance - Sigma Knowledge base Browser

appearance as argument number 1

(subclass RotisserieAppliance Device)	Society.kif 820-820	RotisserieAppliance is a subclass of device
(subclass RotisserieAppliance HeatingDevice)	Society.kif 821-821	RotisserieAppliance is a subclass of heating device
(subclass RotisserieAppliance HomeAppliance)	Society.kif 822-822	RotisserieAppliance is a subclass of home appliance
(documentation RotisserieAppliance EnglishLanguage "Rotisserie is a style of roasting where meat is skewered on a spit - a long solid rod used to hold food while it is being cooked over a fire in a fireplace or over a campfire, or roasted in an oven.")	Society.kif 823-824	RotisserieAppliance is a subclass of home appliance

antecedent

(=>
    (instance ?R RotisserieAppliance)
    (hasPurpose ?R
        (exists (?COOKING)
            (and
                (instance ?COOKING Cooking)
                (instrument ?COOKING ?R)))))

If X is an instance of RotisserieAppliance, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y