| Montenegro(Montenegro) | | Crna_Gora, Montenegro |
| appearance as argument number 1 |
|
|
| (documentation Montenegro EnglishLanguage "Montenegro is a Nation that historically formed part of Yugoslavia, then part of SerbiaAndMontenegro, and most recently has become an IndependentState after seceding from SerbiaAndMontenegro on 3 June 2006.") | Media.kif 2542-2546 | |
| (geographicSubregion Montenegro SerbiaAndMontenegro) | Media.kif 2540-2540 | Montenegro is a geographic subregion of serbia and montenegro |
| (instance Montenegro GeopoliticalArea) | Media.kif 2524-2524 | Montenegro is an instance of geopolitical area |
| appearance as argument number 2 |
|
|
| (meetsSpatially Serbia Montenegro) | Media.kif 2541-2541 | Serbia meets Montenegro |
| (termFormat EnglishLanguage Montenegro "Montenegro") | domainEnglishFormat.kif 65212-65212 | Serbia meets Montenegro |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "ME" Montenegro) | Media.kif 2753-2753 | "ME" in ISO_3166_1_alpha_2 denotes Montenegro |
| statement |
|
|
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation))) |
Media.kif 2530-2533 | A time position is an instance of the day 3 of month the month June and Montenegro is an instance of european nation holds during after the time position |
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro IndependentState))) |
Media.kif 2525-2528 | A time position is an instance of the day 3 of month the month June and Montenegro is an instance of independent state holds during after the time position |
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (names "Montenegro" Montenegro))) |
Media.kif 2535-2538 | A time position is an instance of the day 3 of month the month June and Montenegro has name "Montenegro" holds during after the time position |
|
|
|