AerobicExerciseDevice - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AerobicExerciseDevice EnglishLanguage "An RecreationOrExerciseDevice whose purpose is to develop the cardiovascular system.")	Mid-level-ontology.kif 8929-8930
(subclass AerobicExerciseDevice RecreationOrExerciseDevice)	Mid-level-ontology.kif 8928-8928	Aerobic exercise device is a subclass of recreation or exercise device

appearance as argument number 2

(disjoint AnaerobicExerciseDevice AerobicExerciseDevice)	Mid-level-ontology.kif 8933-8933	Anaerobic exercise device is disjoint from aerobic exercise device
(disjoint Toy AerobicExerciseDevice)	Mid-level-ontology.kif 2383-2383	Toy is disjoint from aerobic exercise device
(subclass RowingMachine AerobicExerciseDevice)	Mid-level-ontology.kif 8937-8937	Ergometer is a subclass of aerobic exercise device
(termFormat ChineseLanguage AerobicExerciseDevice "有氧运动装置")	domainEnglishFormat.kif 5649-5649	Ergometer is a subclass of aerobic exercise device
(termFormat ChineseTraditionalLanguage AerobicExerciseDevice "有氧運動裝置")	domainEnglishFormat.kif 5648-5648	Ergometer is a subclass of aerobic exercise device
(termFormat EnglishLanguage AerobicExerciseDevice "aerobic exercise device")	domainEnglishFormat.kif 5647-5647	Ergometer is a subclass of aerobic exercise device

consequent

(=>
    (instance ?X ExerciseCenter)
    (hasPurpose ?X
        (exists (?DEVICE)
            (and
                (or
                    (instance ?DEVICE AerobicExerciseDevice)
                    (instance ?DEVICE AnaerobicExerciseDevice))
                (located ?DEVICE ?X)))))

Mid-level-ontology.kif 27693-27701