|
|
  BelgradeSerbiaAndMontenegro
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1541-1541 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1420-1420 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2638-2638 | 貝爾格萊德塞爾維亞和黑山 是 塞爾維亞和黑山 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1540-1540 | 例 貝爾格萊德塞爾維亞和黑山 and City |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2639-2639 | 名 "Belgrade" and 貝爾格萊德塞爾維亞和黑山 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10667-10667 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10666-10666 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10665-10665 |
|
|
|
