(subclass ComputerDisk DigitalDataStorageDevice) | ComputerInput.kif 657-657 | Computer disk is a subclass of digital data storage device |
(subclass HardDisk ComputerDisk) | ComputerInput.kif 665-665 | Hard disk is a subclass of computer disk |
(subclass RemovableDisk ComputerDisk) | ComputerInput.kif 682-682 | Removable disk is a subclass of computer disk |