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 2234-2240
(subclass CodeMap ClassificationScheme) Media.kif 2233-2233 CodeMapClassificationSchemesubclass では %n

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


(instance IACOAirlineCode CodeMap) Transportation.kif 3156-3156 IACOAirlineCodeCodeMapinstance では %n
(instance IATAAirlineCode CodeMap) Transportation.kif 3143-3143 IATAAirlineCodeCodeMapinstance では %n
(subclass AirlineCodeMap CodeMap) Transportation.kif 3130-3130 AirlineCodeMapCodeMapsubclass では %n
(subclass CurrencyCodeMap CodeMap) Media.kif 2249-2249 CurrencyCodeMapCodeMapsubclass では %n
(subclass GeographicCodeMap CodeMap) Media.kif 2256-2256 GeographicCodeMapCodeMapsubclass では %n
(subclass LanguageCodeMap CodeMap) Media.kif 2242-2242 LanguageCodeMapCodeMapsubclass では %n
(termFormat EnglishLanguage CodeMap "code map") domainEnglishFormat.kif 64657-64657

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


(domain codeMapping 1 CodeMap) Media.kif 2264-2264 codeMapping の数値 1 引数は CodeMapinstance では %n


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