No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 770-770 | 子類 OpticalDiscDrive and DiskDrive |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 775-775 | 子類 CDDrive and OpticalDiscDrive |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 779-779 | 子類 DVDDrive and OpticalDiscDrive |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 783-783 | 子類 BluRayDrive and OpticalDiscDrive |
![]() |