Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Serbia
|
|
|
| appearance as argument number 1 |
|
|
| (instance Serbia GeopoliticalArea) | Media.kif 2441-2441 | Serbia is an instance of geopolitical area |
| (geographicSubregion Serbia SerbiaAndMontenegro) | Media.kif 2458-2458 | Serbia is a geographic subregion of serbia and montenegro |
| (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 2459-2463 | Serbia is a geographic subregion of serbia and montenegro |
| (meetsSpatially Serbia Montenegro) | Media.kif 2486-2486 | Serbia meets Montenegro |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Serbia "Serbia") | domainEnglishFormat.kif 65476-65476 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "RS" Serbia) | Media.kif 2754-2754 | "RS" in ISO_3166_1_alpha_2 denotes Serbia |
| statement |
|
|
| (holdsDuring (FutureFn ?T) (and (instance Serbia IndependentState) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2443-2446 | Serbia is an instance of independent state and X is an instance of the day 5 of month the month June holds during after X |
| (holdsDuring (FutureFn ?T) (and (instance Serbia EuropeanNation) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2448-2451 | Serbia is an instance of european nation and X is an instance of the day 5 of month the month June holds during after X |
| (holdsDuring (FutureFn ?T) (and (names "Republic of Serbia" Serbia) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2453-2456 | Serbia has name "Republic of Serbia" and X is an instance of the day 5 of month the month June holds during after X |
|