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 672-673 | |
(subclass InternalHardDisk HardDisk) | ComputerInput.kif 670-670 | InternalHardDisk e' uma sub-classe de HardDisk |
(subclass InternalHardDisk InternalDigitalDataStorageDevice) | ComputerInput.kif 671-671 | InternalHardDisk e' uma sub-classe de InternalDigitalDataStorageDevice |
appearance as argument number 2 |
(disjoint ExternalDiskDrive InternalHardDisk) | ComputerInput.kif 745-745 | ExternalDiskDrive e' disjunto de InternalHardDisk |
(disjoint RemovableDisk InternalHardDisk) | ComputerInput.kif 686-686 | RemovableDisk e' disjunto de InternalHardDisk |
(termFormat EnglishLanguage InternalHardDisk "internal hard disk") | domainEnglishFormat.kif 65041-65041 |
antecedent |
(=> (instance ?DISK InternalHardDisk) (exists (?DRIVE) (and (instance ?DRIVE HardDiskDrive) (component ?DISK ?DRIVE)))) |
ComputerInput.kif 675-680 |
|