| 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 2236-2242 | |
| (subclass CodeMap ClassificationScheme) | Media.kif 2235-2235 | Code map is a subclass of classification scheme |
| appearance as argument number 2 |
|
|
| (instance IACOAirlineCode CodeMap) | Transportation.kif 4060-4060 | IACO airline code is an instance of code map |
| (instance IATAAirlineCode CodeMap) | Transportation.kif 4047-4047 | IATA airline code is an instance of code map |
| (subclass AirlineCodeMap CodeMap) | Transportation.kif 4034-4034 | Airline code map is a subclass of code map |
| (subclass CurrencyCodeMap CodeMap) | Media.kif 2251-2251 | Currency code map is a subclass of code map |
| (subclass GeographicCodeMap CodeMap) | Media.kif 2258-2258 | Geographic code map is a subclass of code map |
| (subclass LanguageCodeMap CodeMap) | Media.kif 2244-2244 | 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 2266-2266 | 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