ExternalDiskDrive |
appearance as argument number 1 |
(disjoint ExternalDiskDrive InternalHardDisk) | ComputerInput.kif 745-745 | ExternalDiskDrive e' disjunto de InternalHardDisk |
(documentation ExternalDiskDrive EnglishLanguage "A type of DiskDrive that can be attached to a Computer by a cable.") | ComputerInput.kif 743-744 | |
(subclass ExternalDiskDrive DiskDrive) | ComputerInput.kif 742-742 | ExternalDiskDrive e' uma sub-classe de DiskDrive |
appearance as argument number 2 |
(subclass ExternalHardDiskDrive ExternalDiskDrive) | ComputerInput.kif 748-748 | ExternalHardDiskDrive e' uma sub-classe de ExternalDiskDrive |
(termFormat EnglishLanguage ExternalDiskDrive "external disk drive") | domainEnglishFormat.kif 64842-64842 |