No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 756-756 | CartridgeHardDiskDrive est une sous-classe de HardDiskDrive |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 757-757 | CartridgeHardDiskDrive est une sous-classe de DiskDriveWithRemovableDisks |
![]() |