No TPTP formula. May not be expressible in strict first order. | Media.kif 3005-3005 | StandardProductID e' uma sub-classe de ProductID |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3006-3006 | StandardProductID e' uma sub-classe de StandardIdentifier |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3008-3008 | UPCcode e' uma sub-classe de StandardProductID |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3011-3011 | ISBNcode e' uma sub-classe de StandardProductID |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3014-3014 | ISMN e' uma sub-classe de StandardProductID |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3017-3017 | ISRC e' uma sub-classe de StandardProductID |