|
|
   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 | subclass ComputerDisk and DigitalDataStorageDevice |
| appearance as argument number 2 |
|
|
| (subclass HardDisk ComputerDisk) | ComputerInput.kif 693-693 | subclass HardDisk and ComputerDisk |
| (subclass RemovableDisk ComputerDisk) | ComputerInput.kif 710-710 | subclass RemovableDisk and ComputerDisk |
| appearance as argument number 3 |
|
|
| (domainSubclass diskTypeForDrive 1 ComputerDisk) | ComputerInput.kif 764-764 | domainSubclass diskTypeForDrive, 1 and ComputerDisk |
| antecedent |
|
|
| (=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped)) |
ComputerInput.kif 689-691 |
|
|
|
|