No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 817-817 |
AppleIPod est une sous-classe de MediaSystem |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1204-1204 |
AudioCDSystem est une sous-classe de MediaSystem |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1269-1269 |
DVDSystem est une sous-classe de MediaSystem |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26224-26224 |
MultimediaProjector est une sous-classe de MediaSystem |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1382-1382 |
VCRSystem est une sous-classe de MediaSystem |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25883-25883 |
VideoGamePlayer est une sous-classe de MediaSystem |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14453-14453 |
|