CodeMap(code map) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2234-2240 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2233-2233 | Code map is a subclass of classification scheme |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3156-3156 | IACO airline code is an instance of code map |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3143-3143 | IATA airline code is an instance of code map |
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 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 |
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. | domainEnglishFormat.kif 64657-64657 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2264-2264 | The number 1 argument of code mapping is an instance of code map |