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 CodeMap e' uma sub-classe de ClassificationScheme

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


(instance IACOAirlineCode CodeMap) Transportation.kif 3156-3156 IACOAirlineCode e' uma instancia de CodeMap
(instance IATAAirlineCode CodeMap) Transportation.kif 3143-3143 IATAAirlineCode e' uma instancia de CodeMap
(subclass AirlineCodeMap CodeMap) Transportation.kif 3130-3130 AirlineCodeMap e' uma sub-classe de CodeMap
(subclass CurrencyCodeMap CodeMap) Media.kif 2249-2249 CurrencyCodeMap e' uma sub-classe de CodeMap
(subclass GeographicCodeMap CodeMap) Media.kif 2256-2256 GeographicCodeMap e' uma sub-classe de CodeMap
(subclass LanguageCodeMap CodeMap) Media.kif 2242-2242 LanguageCodeMap e' uma sub-classe de CodeMap
(termFormat EnglishLanguage CodeMap "code map") domainEnglishFormat.kif 64657-64657

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


(domain codeMapping 1 CodeMap) Media.kif 2264-2264 O argumento numero 1 de codeMapping e' uma instancia de CodeMap


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