| 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 2514-2518 | |
| (geographicSubregion Serbia SerbiaAndMontenegro) | Media.kif 2513-2513 | geographicSubregion Serbia and SerbiaAndMontenegro |
| (instance Serbia GeopoliticalArea) | Media.kif 2496-2496 | Serbia は 地政学的地域 の instance では |
| (meetsSpatially Serbia Montenegro) | Media.kif 2541-2541 | Serbia は Montenegro と meets |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Serbia "Serbia") | domainEnglishFormat.kif 65467-65467 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "RS" Serbia) | Media.kif 2809-2809 | 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 2503-2506 | Serbia は EuropeanNation の instance では 時間位置 は 5 day 目 の instance では は 時間位置 の after の during holds |
| (holdsDuring (FutureFn ?T) (and (instance Serbia IndependentState) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2498-2501 | Serbia は IndependentState の instance では 時間位置 は 5 day 目 の instance では は 時間位置 の after の during holds |
| (holdsDuring (FutureFn ?T) (and (names "Republic of Serbia" Serbia) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2508-2511 | Serbia は "Republic of Serbia" の &ames$"name" を 持って 時間位置 は 5 day 目 の instance では は 時間位置 の after の during holds |
|
|
|