CodeMap(code map) |
appearance as argument number 1 |
(documentation CodeMap EnglishLanguage "An instance of CodeMap is a ClassificationScheme that specifies correspondences (typically, one to one or one to many) between members of a set of tokens (typically, short alphanumeric SymbolicStrings) and other entities. In most cases, the other entities will be terms (logical constants) that denote SUMO concepts.") | Media.kif 2234-2240 | |
(subclass CodeMap ClassificationScheme) | Media.kif 2233-2233 | Code map is a subclass of classification scheme |
appearance as argument number 2 |
(instance IACOAirlineCode CodeMap) | Transportation.kif 3983-3983 | IACO airline code is an instance of code map |
(instance IATAAirlineCode CodeMap) | Transportation.kif 3970-3970 | IATA airline code is an instance of code map |
(subclass AirlineCodeMap CodeMap) | Transportation.kif 3957-3957 | Airline code map is a subclass of code map |
(subclass CurrencyCodeMap CodeMap) | Media.kif 2249-2249 | Currency code map is a subclass of code map |
(subclass GeographicCodeMap CodeMap) | Media.kif 2256-2256 | Geographic code map is a subclass of code map |
(subclass LanguageCodeMap CodeMap) | Media.kif 2242-2242 | Language code map is a subclass of code map |
(termFormat EnglishLanguage CodeMap "code map") | domainEnglishFormat.kif 64705-64705 | Language code map is a subclass of code map |
appearance as argument number 3 |
(domain codeMapping 1 CodeMap) | Media.kif 2264-2264 | The number 1 argument of code mapping is an instance of code map |