(subclass InternalHardDisk HardDisk) | ComputerInput.kif 670-670 | Internal hard disk is a subclass of hard disk |
(subclass InternalHardDisk InternalDigitalDataStorageDevice) | ComputerInput.kif 671-671 | Internal hard disk is a subclass of internal digital data storage device |