(subclass RecreationOrExerciseDevice Device) | Mid-level-ontology.kif 2374-2374 | Recreation or exercise device is a subclass of device |
(subclass AerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 8228-8228 | Aerobic exercise device is a subclass of recreation or exercise device |
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 8232-8232 | Anaerobic exercise device is a subclass of recreation or exercise device |