| Serbia(Serbia) | | Serbia, Srbija |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2512-2516 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2511-2511 | Serbia is a geographic subregion of serbia and montenegro |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2494-2494 | Serbia is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2539-2539 | Serbia meets Montenegro |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65496-65496 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2807-2807 | "RS" in ISO_3166_1_alpha_2 denotes Serbia |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia is an instance of european nation and a time position is an instance of the day 5 holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia is an instance of independent state and a time position is an instance of the day 5 holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia has name "Republic of Serbia" and a time position is an instance of the day 5 holds during after the time position |
|
|
|