(subclass DiskDriveWithRemovableDisks DiskDrive) | ComputerInput.kif 752-752 | DiskDriveWithRemovableDisks は DiskDrive の subclass では %n |
(subclass CartridgeHardDiskDrive DiskDriveWithRemovableDisks) | ComputerInput.kif 757-757 | CartridgeHardDiskDrive は DiskDriveWithRemovableDisks の subclass では %n |
(subclass FloppyDiskDrive DiskDriveWithRemovableDisks) | ComputerInput.kif 766-766 | FloppyDiskDrive は DiskDriveWithRemovableDisks の subclass では %n |