|
|
  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 | Serbia 是 塞尔维亚和黑山 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2494-2494 | Serbia 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2539-2539 | Serbia 接上 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 | "RS" 在 ISO-3166-1-alpha-2 denotes Serbia |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia 是 欧洲国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia 是 独立国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia 的名 是 "Republic of Serbia" 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
|
|
|