UnitedKingdom(united kingdom)
| Albion, Anglia, Britain, English, Great_Britain, U.K., UK, United_Kingdom, United_Kingdom_of_Great_Britain_and_Northern_Ireland |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "GB" UnitedKingdom) | Media.kif 2703-2703 | "GB" in ISO_3166_1_alpha_2 denotes united kingdom |
| consequent |
|
|
| (=> (instance ?AREA BritishCrownColony) (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony)) |
Government.kif 485-487 | If X is an instance of british crown colony, then X dependent area of type united kingdom for british crown colony |
| statement |
|
|
| (not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3202-3202 | United kingdom is not a member of european monetary union |
|
|