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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CodeMap
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 2236-2242
(subclass CodeMap ClassificationScheme) Media.kif 2235-2235 CodeMap分类方案subclass

appearance as argument number 2
-------------------------


(instance IACOAirlineCode CodeMap) Transportation.kif 4062-4062 IACOAirlineCodeCodeMapinstance
(instance IATAAirlineCode CodeMap) Transportation.kif 4049-4049 IATAAirlineCodeCodeMapinstance
(subclass AirlineCodeMap CodeMap) Transportation.kif 4036-4036 AirlineCodeMapCodeMapsubclass
(subclass CurrencyCodeMap CodeMap) Media.kif 2251-2251 CurrencyCodeMapCodeMapsubclass
(subclass GeographicCodeMap CodeMap) Media.kif 2258-2258 GeographicCodeMapCodeMapsubclass
(subclass LanguageCodeMap CodeMap) Media.kif 2244-2244 LanguageCodeMapCodeMapsubclass
(termFormat EnglishLanguage CodeMap "code map") domainEnglishFormat.kif 64651-64651 LanguageCodeMapCodeMapsubclass

appearance as argument number 3
-------------------------


(domain codeMapping 1 CodeMap) Media.kif 2266-2266 codeMapping 的 1 数量 是 CodeMapinstance


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