| 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 |
|
|
|