| No TPTP formula. May not be expressible in strict first order. | Media.kif 766-766 | Read only memory data storage is a subclass of digital data storage device |
| 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 |
|
|