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 2921-2921 | Territory code is a subclass of ISO code |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2936-2936 | ISO language code is a subclass of ISO code |