| (subclass AerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 8228-8228 | AerobicExerciseDevice は RecreationOrExerciseDevice の subclass では %n |
| (subclass RowingMachine AerobicExerciseDevice) | Mid-level-ontology.kif 8237-8237 | RowingMachine は AerobicExerciseDevice の subclass では %n |
|
|