Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CurrencyCodeMap
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CurrencyCodeMap CodeMap) | Media.kif 2196-2196 | Currency code map is a subclass of code map |
| (documentation CurrencyCodeMap EnglishLanguage "An instance of CurrencyCodeMap is a CodeMap that specifies correspondences (typically, one to one or one to many) between members of a set of tokens that identifiy currencies, and SUMO terms.") | Media.kif 2197-2201 | Currency code map is a subclass of code map |
| appearance as argument number 2 |
|
|
| (instance ISO_4217_A CurrencyCodeMap) | Media.kif 2225-2225 | ISO_4217_A is an instance of currency code map |
| (termFormat EnglishLanguage CurrencyCodeMap "currency code map") | domainEnglishFormat.kif 64729-64729 | ISO_4217_A is an instance of currency code map |
|