No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 817-817 |
子類 iPod 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. |
Mid-level-ontology.kif 26212-26212 |
子類 MultimediaProjector 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. |
Mid-level-ontology.kif 25871-25871 |
子類 VideoGamePlayer and MediaSystem |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14452-14452 |
|