| 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 |
| 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 752-752 | DiskDriveWithRemovableDisks 是 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 |
|
|