|
|
  Serbia
|
|
|
| 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 | geographicSubregion Serbia and SerbiaAndMontenegro |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2494-2494 | Serbia est une instance de secteur g�opolitique |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2539-2539 | Serbia rencontre Montenegro |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65473-65473 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2807-2807 | codeMapping ISO-3166-1-alpha-2, "RS" and Serbia |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia s'appele nom "Republic of Serbia" position temporel est une instance de le jour 5 pendant apr�s position temporel |
|
|
|