| 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 4056-4056 | IACO airline code is an instance of code map |
| (instance IATAAirlineCode CodeMap) | Transportation.kif 4043-4043 | IATA airline code is an instance of code map |
| (subclass AirlineCodeMap CodeMap) | Transportation.kif 4030-4030 | 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 64680-64680 | 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners