No TPTP formula. May not be expressible in strict first order. |
Media.kif 2968-2968 |
AlphaIDString e' uma sub-classe de FormalIdentifier |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2950-2950 |
AlphaNumericIDString e' uma sub-classe de FormalIdentifier |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3012-3012 |
ISBNcode e' uma sub-classe de FormalIdentifier |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3015-3015 |
ISMN e' uma sub-classe de FormalIdentifier |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3018-3018 |
ISRC e' uma sub-classe de FormalIdentifier |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2965-2965 |
NumericIDString e' uma sub-classe de FormalIdentifier |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3009-3009 |
UPCcode e' uma sub-classe de FormalIdentifier |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64884-64884 |
|