|
|
   DiskDrive
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 733-733 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 730-730 | DiskDrive 是 电脑组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 731-731 | DiskDrive 是 ComputerIODevice 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 752-752 | DiskDriveWithRemovableDisks 是 DiskDrive 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 742-742 | ExternalDiskDrive 是 DiskDrive 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 762-762 | 硬盘驱动器 是 DiskDrive 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 770-770 | OpticalDiscDrive 是 DiskDrive 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64770-64770 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 737-737 | diskTypeForDrive 的 2 数量 是 DiskDrive 的 subclass |
|
|
|