Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CodeMap
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


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