No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 773-773 |
OpticalDiscDrive reads 或 writes OpticalDisc |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 783-783 |
子類 BluRayDrive and OpticalDiscDrive |
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. |
domainEnglishFormat.kif 65273-65273 |
|