No TPTP formula. May not be expressible in strict first order. | Media.kif 2233-2233 | Code map is a subclass of classification scheme |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3130-3130 | Airline code map is a subclass of code map |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2242-2242 | Language code map is a subclass of code map |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2249-2249 | Currency code map is a subclass of code map |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2256-2256 | Geographic code map is a subclass of code map |