No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 752-752 |
子類 DiskDriveWithRemovableDisks and DiskDrive |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 742-742 |
子類 ExternalDiskDrive and DiskDrive |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 762-762 |
子類 硬盤驅動器 and DiskDrive |
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. |
domainEnglishFormat.kif 64770-64770 |
|