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