StandardIdentifier(standard identifier) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2933-2933 | Standard identifier is a subclass of identifier |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2934-2934 | ISO code is a subclass of standard identifier |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3006-3006 | Standard product ID is a subclass of standard identifier |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2932-2932 | Uniform resource locator is a subclass of standard identifier |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65538-65538 |