No TPTP formula. May not be expressible in strict first order. | Media.kif 1169-1169 | CDROM is a subclass of compact disc |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1170-1170 | CDROM is a subclass of read only memory data storage |