No TPTP formula. May not be expressible in strict first order. | Media.kif 3005-3005 | 子類 StandardProductID and ProductID |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3006-3006 | 子類 StandardProductID and StandardIdentifier |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3008-3008 | 子類 UPCcode and StandardProductID |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3011-3011 | 子類 ISBNcode and StandardProductID |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3014-3014 | 子類 ISMN and StandardProductID |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3017-3017 | 子類 ISRC and StandardProductID |