TreeView Knowledge Base Browser

appearance as argument number 1

(subclass HardDiskDrive DiskDrive)	ComputerInput.kif 778-778	Hard disk drive is a subclass of disk drive
(subclass HardDiskDrive ComputerComponent)	QoSontology.kif 71-71	Hard disk drive is a subclass of computer component
(subclass HardDiskDrive DigitalDataStorageDevice)	QoSontology.kif 72-72	Hard disk drive is a subclass of digital data storage device
(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 73-76	Hard disk drive is a subclass of digital data storage device

appearance as argument number 2

(subclass ExternalHardDiskDrive HardDiskDrive)	ComputerInput.kif 763-763	External hard disk drive is a subclass of hard disk drive
(subclass CartridgeHardDiskDrive HardDiskDrive)	ComputerInput.kif 772-772	Cartridge hard disk drive is a subclass of hard disk drive
(termFormat EnglishLanguage HardDiskDrive "hard disk drive")	domainEnglishFormat.kif 27422-27422	Cartridge hard disk drive is a subclass of hard disk drive
(termFormat ChineseTraditionalLanguage HardDiskDrive "硬盤驅動器")	domainEnglishFormat.kif 27423-27423	Cartridge hard disk drive is a subclass of hard disk drive
(termFormat ChineseLanguage HardDiskDrive "硬盘驱动器")	domainEnglishFormat.kif 27424-27424	Cartridge hard disk drive is a subclass of hard disk drive

antecedent

If X is an instance of hard disk drive, then bits per second is an unit measuring performance of X

consequent

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

If X is an instance of internal hard disk, then there exists Y such that Y is an instance of hard disk drive and X is a component of Y