HardDiskDrive - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HardDiskDrive EnglishLanguage "The primary computer storage medium, which is made of one or more aluminum or glass platters, coated with a ferromagnetic material. Most hard disks are fixed disks, which are permanently sealed in the drive.")	QoSontology.kif 78-81
(subclass HardDiskDrive ComputerComponent)	QoSontology.kif 76-76	HardDiskDrive is a subclass of ComputerComponent
(subclass HardDiskDrive DigitalDataStorageDevice)	QoSontology.kif 77-77	HardDiskDrive is a subclass of DigitalDataStorageDevice
(subclass HardDiskDrive DiskDrive)	ComputerInput.kif 762-762	HardDiskDrive is a subclass of DiskDrive

appearance as argument number 2

(subclass CartridgeHardDiskDrive HardDiskDrive)	ComputerInput.kif 756-756	CartridgeHardDiskDrive is a subclass of HardDiskDrive
(subclass ExternalHardDiskDrive HardDiskDrive)	ComputerInput.kif 747-747	ExternalHardDiskDrive is a subclass of HardDiskDrive
(termFormat ChineseLanguage HardDiskDrive "硬盘驱动器")	domainEnglishFormat.kif 27430-27430	ExternalHardDiskDrive is a subclass of HardDiskDrive
(termFormat ChineseTraditionalLanguage HardDiskDrive "硬盤驅動器")	domainEnglishFormat.kif 27429-27429	ExternalHardDiskDrive is a subclass of HardDiskDrive
(termFormat EnglishLanguage HardDiskDrive "hard disk drive")	domainEnglishFormat.kif 27428-27428	ExternalHardDiskDrive is a subclass of HardDiskDrive

antecedent

QoSontology.kif 956-958

consequent

(=>
    (instance ?DISK InternalHardDisk)
    (exists (?DRIVE)
        (and
            (instance ?DRIVE HardDiskDrive)
            (component ?DISK ?DRIVE))))

ComputerInput.kif 675-680