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 |
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. |
domainEnglishFormat.kif 65537-65537 |
|