streamOutfall
|
|
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 è una sottoclasse di HardDisk |
(subclass InternalHardDisk InternalDigitalDataStorageDevice) | ComputerInput.kif 671-671 | InternalHardDisk è una sottoclasse di InternalDigitalDataStorageDevice |
appearance as argument number 2 |
(disjoint ExternalDiskDrive InternalHardDisk) | ComputerInput.kif 745-745 | ExternalDiskDrive è disgiunto da InternalHardDisk |
(disjoint RemovableDisk InternalHardDisk) | ComputerInput.kif 686-686 | RemovableDisk è disgiunto da 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 |