Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WesternEuropeanUnion(western european union) |
| appearance as argument number 1 |
|
| (instance WesternEuropeanUnion OrganizationOfNations) | Government.kif 4302-4302 | Western european union is an instance of organization of nations |
| (dateEstablished WesternEuropeanUnion (DayFn 23 (MonthFn October (YearFn 1954)))) |
Government.kif 4305-4305 | The day 23 of month the month October is a date established of western european union |
| (organizationalObjective WesternEuropeanUnion MutualDefensePact) | Government.kif 4306-4306 | Mutual defense pact is an organizational objective of western european union |
| (organizationalObjective WesternEuropeanUnion PoliticalIntegration) | Government.kif 4307-4307 | Political integration is an organizational objective of western european union |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Western European Union" WesternEuropeanUnion) | Government.kif 4303-4303 | Western european union is a conventional long name of "Western European Union" |
| (abbreviation "WEU" WesternEuropeanUnion) | Government.kif 4304-4304 | "WEU" is an abbreviation of western european union |
| (termFormat EnglishLanguage WesternEuropeanUnion "western european union") | domainEnglishFormat.kif 62782-62782 | "WEU" is an abbreviation of western european union |
| (termFormat ChineseTraditionalLanguage WesternEuropeanUnion "西歐聯盟") | domainEnglishFormat.kif 62783-62783 | "WEU" is an abbreviation of western european union |
| (termFormat ChineseLanguage WesternEuropeanUnion "西欧联盟") | domainEnglishFormat.kif 62784-62784 | "WEU" is an abbreviation of western european union |
|