No TPTP formula. May not be expressible in strict first order. |
Media.kif 1189-1189 |
BluRayDisc est disjoint de CompactDisc |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1190-1190 |
BluRayDisc est disjoint de DVD |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 785-785 |
diskTypeForDrive BluRayDisc and BluRayDrive |
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 est une sous-classe de OpticalDisc |