|
|
  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 | geographicSubregion BelgradeSerbiaAndMontenegro and SerbiaAndMontenegro |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1540-1540 | BelgradeSerbiaAndMontenegro e' uma instancia de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2639-2639 | BelgradeSerbiaAndMontenegro se chama nome "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 |
|
|
|
