(subclass ComputerDisk DigitalDataStorageDevice) | ComputerInput.kif 657-657 | ComputerDisk は DigitalDataStorageDevice の subclass では %n |
(subclass HardDisk ComputerDisk) | ComputerInput.kif 665-665 | HardDisk は ComputerDisk の subclass では %n |
(subclass RemovableDisk ComputerDisk) | ComputerInput.kif 682-682 | RemovableDisk は ComputerDisk の subclass では %n |