| Serbia | |
| appearance as argument number 1 |
|
|
| (documentation Serbia EnglishLanguage "The Republic of Serbia is a Nation that historically formed part of Yugoslavia, then part of SerbiaAndMontenegro, and most recently has become an IndependentState after recognizing the secession of Montenegro from SerbiaAndMontenegro on 5 June 2006.") | Media.kif 2503-2507 | |
| (geographicSubregion Serbia SerbiaAndMontenegro) | Media.kif 2502-2502 | geographicSubregion Serbia and SerbiaAndMontenegro |
| (instance Serbia GeopoliticalArea) | Media.kif 2485-2485 | instance Serbia and GeopoliticalArea |
| (meetsSpatially Serbia Montenegro) | Media.kif 2530-2530 | meetsSpatially Serbia and Montenegro |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "RS" Serbia) | Media.kif 2795-2795 | codeMapping ISO-3166-1-alpha-2, "RS" and Serbia |
| statement |
|
|
| (holdsDuring (FutureFn ?T) (and (instance Serbia EuropeanNation) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2492-2495 | holdsDuring FutureFn TimePosition and instance Serbia and EuropeanNation instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006 |
| (holdsDuring (FutureFn ?T) (and (instance Serbia IndependentState) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2487-2490 | holdsDuring FutureFn TimePosition and instance Serbia and IndependentState instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006 |
| (holdsDuring (FutureFn ?T) (and (names "Republic of Serbia" Serbia) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2497-2500 | holdsDuring FutureFn TimePosition and names "Republic of Serbia" and Serbia instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006 |
|
|
|