InternalHardDisk |
appearance as argument number 1 |
![]() |
(documentation InternalHardDisk EnglishLanguage "A type of HardDisk that is installed in a Computer (in its HardDiskDrive) and is not readily removable.") | ComputerInput.kif 700-701 | |
(subclass InternalHardDisk HardDisk) | ComputerInput.kif 698-698 | |
(subclass InternalHardDisk InternalDigitalDataStorageDevice) | ComputerInput.kif 699-699 |
appearance as argument number 2 |
![]() |
(disjoint ExternalDiskDrive InternalHardDisk) | ComputerInput.kif 773-773 | |
(disjoint RemovableDisk InternalHardDisk) | ComputerInput.kif 714-714 |
antecedent |
![]() |
(=> (instance ?DISK InternalHardDisk) (exists (?DRIVE) (and (instance ?DRIVE HardDiskDrive) (component ?DISK ?DRIVE)))) |
ComputerInput.kif 703-708 |
![]() |
![]() |