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 | Belgrade serbia and montenegro is a geographic subregion of serbia and montenegro |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1540-1540 | Belgrade serbia and montenegro is an instance of city |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2639-2639 | Belgrade serbia and montenegro has name "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 |