TreeView Knowledge Base Browser

appearance as argument number 1

(subclass InternalHardDisk HardDisk)	ComputerInput.kif 686-686	Internal hard disk is a subclass of hard disk
(subclass InternalHardDisk InternalDigitalDataStorageDevice)	ComputerInput.kif 687-687	Internal hard disk is a subclass of internal digital data storage device
(documentation InternalHardDisk EnglishLanguage "A type of HardDisk that is installed in a Computer (in its HardDiskDrive) and is not readily removable.")	ComputerInput.kif 688-689	Internal hard disk is a subclass of internal digital data storage device

appearance as argument number 2

(disjoint RemovableDisk InternalHardDisk)	ComputerInput.kif 702-702	Removable disk is disjoint from internal hard disk
(disjoint ExternalDiskDrive InternalHardDisk)	ComputerInput.kif 761-761	External disk drive is disjoint from internal hard disk
(termFormat EnglishLanguage InternalHardDisk "internal hard disk")	domainEnglishFormat.kif 65042-65042	External disk drive is disjoint from internal hard disk

antecedent

(=>
    (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