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	Hard disk drive is a subclass of computer component
(subclass HardDiskDrive DigitalDataStorageDevice)	QoSontology.kif 77-77	Hard disk drive is a subclass of digital data storage device
(subclass HardDiskDrive DiskDrive)	ComputerInput.kif 762-762	Hard disk drive is a subclass of disk drive

appearance as argument number 2

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

antecedent

QoSontology.kif 847-849

consequent

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

ComputerInput.kif 675-680