No TPTP formula. May not be expressible in strict first order. |
Media.kif 1189-1189 |
不相交的 BluRayDisc and CompactDisc |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1190-1190 |
不相交的 BluRayDisc and DVD |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 785-785 |
BluRayDrive reads 或 writes BluRayDisc |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1188-1188 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1187-1187 |
子類 BluRayDisc and OpticalDisc |