(subclass RecreationOrExerciseDevice Device) | Mid-level-ontology.kif 2374-2374 | RecreationOrExerciseDevice は デバイス の subclass では %n |
(subclass AerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 8227-8227 | AerobicExerciseDevice は RecreationOrExerciseDevice の subclass では %n |
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 8231-8231 | AnaerobicExerciseDevice は RecreationOrExerciseDevice の subclass では %n |