No TPTP formula. May not be expressible in strict first order. |
Media.kif 1189-1189 |
BluRayDisc 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1190-1190 |
BluRayDisc 和 % 2 是 disjoint |
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 是 OpticalDisc 的 subclass |