No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 756-756 | 子類 CartridgeHardDiskDrive and 硬盤驅動器 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 757-757 | 子類 CartridgeHardDiskDrive and DiskDriveWithRemovableDisks |