| No TPTP formula. May not be expressible in strict first order. | Media.kif 1153-1153 | 子類 CompactDisc and DigitalDataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1154-1154 | 子類 CompactDisc and OpticalDisc |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 698-698 | 子類 CompactDisc and RemovableDigitalDataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1169-1169 | 子類 CDROM and CompactDisc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1177-1177 | 子類 CDR and CompactDisc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1182-1182 | 子類 CDRW and CompactDisc |
|
|