| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14448-14448 | 子類 MediaSystem and Collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25871-25871 | 子類 VideoGamePlayer and MediaSystem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26212-26212 | 子類 MultimediaProjector and MediaSystem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1204-1204 | 子類 AudioCDSystem and MediaSystem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1269-1269 | 子類 DVDSystem and MediaSystem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1382-1382 | 子類 VCRSystem and MediaSystem |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 817-817 | 子類 iPod and MediaSystem |
|
|