| CompactDisc | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 777-777 | CDDrive reads 或 writes CompactDisc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1149-1152 | |
| 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 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1189-1189 | 不相交的 BluRayDisc 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 1169-1169 | 子類 CDROM and CompactDisc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1182-1182 | 子類 CDRW and CompactDisc |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64668-64668 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1156-1166 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1209-1223 |
|
|
|
|