|
|
   CodeMap
|
|
|
| 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 2225-2231 | |
| (subclass CodeMap ClassificationScheme) | Media.kif 2224-2224 | CodeMap is a subclass of classification scheme |
| appearance as argument number 2 |
|
|
| (instance IACOAirlineCode CodeMap) | Transportation.kif 3163-3163 | IACO airline code is an instance of CodeMap |
| (instance IATAAirlineCode CodeMap) | Transportation.kif 3150-3150 | IATA airline code is an instance of CodeMap |
| (subclass AirlineCodeMap CodeMap) | Transportation.kif 3137-3137 | Airline code map is a subclass of CodeMap |
| (subclass CurrencyCodeMap CodeMap) | Media.kif 2240-2240 | CurrencyCodeMap is a subclass of CodeMap |
| (subclass GeographicCodeMap CodeMap) | Media.kif 2247-2247 | GeographicCodeMap is a subclass of CodeMap |
| (subclass LanguageCodeMap CodeMap) | Media.kif 2233-2233 | LanguageCodeMap is a subclass of CodeMap |
| appearance as argument number 3 |
|
|
| (domain codeMapping 1 CodeMap) | Media.kif 2255-2255 | The number 1 argument of codeMapping is an instance of CodeMap |
|
|
|