ComputerDisk | ![]() |
appearance as argument number 1 |
![]() |
(documentation ComputerDisk EnglishLanguage "A type of DigitalDataStorageDevice that is disk-shaped and is read while being spun in a DiskDrive.") | ComputerInput.kif 686-687 | |
(subclass ComputerDisk DigitalDataStorageDevice) | ComputerInput.kif 685-685 |
appearance as argument number 2 |
![]() |
(subclass HardDisk ComputerDisk) | ComputerInput.kif 693-693 | |
(subclass RemovableDisk ComputerDisk) | ComputerInput.kif 710-710 |
appearance as argument number 3 |
![]() |
(domainSubclass diskTypeForDrive 1 ComputerDisk) | ComputerInput.kif 764-764 |
antecedent |
![]() |
(=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped)) |
ComputerInput.kif 689-691 |
![]() |
![]() |