| 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 2540-2544 | |
| (geographicSubregion Montenegro SerbiaAndMontenegro) | Media.kif 2538-2538 | Montenegro is a geographic subregion of serbia and montenegro |
| (instance Montenegro GeopoliticalArea) | Media.kif 2522-2522 | Montenegro is an instance of geopolitical area |
| appearance as argument number 2 |
|
|
| (meetsSpatially Serbia Montenegro) | Media.kif 2539-2539 | Serbia meets Montenegro |
| (termFormat EnglishLanguage Montenegro "Montenegro") | domainEnglishFormat.kif 65237-65237 | Serbia meets Montenegro |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "ME" Montenegro) | Media.kif 2751-2751 | "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 2528-2531 | A time position is an instance of the day 3 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 2523-2526 | A time position is an instance of the day 3 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 2533-2536 | A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position |
|
|
|