![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
EuropeanUnion
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (conventionalLongName "European Union" EuropeanUnion) | Government.kif 3244-3244 | European union is a conventional long name of "European Union" |
| (abbreviation "EU" EuropeanUnion) | Government.kif 3245-3245 | "EU" is an abbreviation of european union |
| (successorOrganization EuropeanCommunity EuropeanUnion) | Government.kif 3252-3252 | European union is a successor organization of european community |
| (termFormat EnglishLanguage EuropeanUnion "european union") | domainEnglishFormat.kif 22597-22597 | European union is a successor organization of european community |
| (termFormat ChineseTraditionalLanguage EuropeanUnion "歐洲聯盟") | domainEnglishFormat.kif 22598-22598 | European union is a successor organization of european community |
| (termFormat ChineseLanguage EuropeanUnion "欧洲联盟") | domainEnglishFormat.kif 22599-22599 | European union is a successor organization of european community |