| (subclass RemovableDigitalDataStorageDevice DigitalDataStorageDevice) | ComputerInput.kif 652-652 | RemovableDigitalDataStorageDevice は DigitalDataStorageDevice の subclass では %n |
| (subclass RemovableDisk RemovableDigitalDataStorageDevice) | ComputerInput.kif 683-683 | RemovableDisk は RemovableDigitalDataStorageDevice の subclass では %n |
| (subclass CompactDisc RemovableDigitalDataStorageDevice) | ComputerInput.kif 698-698 | CompactDisc は RemovableDigitalDataStorageDevice の subclass では %n |
| (subclass FlashDrive RemovableDigitalDataStorageDevice) | ComputerInput.kif 795-795 | FlashDrive は RemovableDigitalDataStorageDevice の subclass では %n |
| (subclass MemoryCard RemovableDigitalDataStorageDevice) | ComputerInput.kif 801-801 | MemoryCard は RemovableDigitalDataStorageDevice の subclass では %n |
|
|