RecreationOrExerciseDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subclass RecreationOrExerciseDevice Device)	Mid-level-ontology.kif 2973-2973	Recreation or exercise device is a subclass of device
(documentation RecreationOrExerciseDevice EnglishLanguage "A Device whose purpose is RecreationOrExercise.")	Mid-level-ontology.kif 2974-2974	Recreation or exercise device is a subclass of device

appearance as argument number 2

(subclass AerobicExerciseDevice RecreationOrExerciseDevice)	Mid-level-ontology.kif 9549-9549	Aerobic exercise device is a subclass of recreation or exercise device
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice)	Mid-level-ontology.kif 9553-9553	Anaerobic exercise device is a subclass of recreation or exercise device
(subclass RecreationOrExerciseAppliance RecreationOrExerciseDevice)	HouseholdAppliances.kif 164-164	Whirlpool bathtub is a subclass of recreation or exercise device
(subclass EntertainmentAppliance RecreationOrExerciseDevice)	HouseholdAppliances.kif 283-283	Entertainment appliance is a subclass of recreation or exercise device
(termFormat EnglishLanguage RecreationOrExerciseDevice "recreation or exercise device")	domainEnglishFormat.kif 49011-49011	Entertainment appliance is a subclass of recreation or exercise device
(termFormat ChineseTraditionalLanguage RecreationOrExerciseDevice "娛樂或運動器材")	domainEnglishFormat.kif 49012-49012	Entertainment appliance is a subclass of recreation or exercise device
(termFormat ChineseLanguage RecreationOrExerciseDevice "娱乐或运动器材")	domainEnglishFormat.kif 49013-49013	Entertainment appliance is a subclass of recreation or exercise device

antecedent

(=>
    (instance ?D RecreationOrExerciseDevice)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E RecreationOrExercise)
                (instrument ?E ?D)))))

If X is an instance of recreation or exercise device, 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