| 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 | 贝尔格莱德塞尔维亚和黑山 是 城市 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2639-2639 | 贝尔格莱德塞尔维亚和黑山 的名 是 "Belgrade" |
| 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 |
|
|
|