|
|
  SoutheasternEurope
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2526-2526 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 225-225 | Southeastern europe is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 161-161 | Southeastern europe is a geographic subregion of europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 226-226 | Southeastern europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 89-89 | Southeastern europe is an instance of geographic area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 370-370 | Albania is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 372-372 | Bosnia and herzegovina is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 374-374 | Bulgaria is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 376-376 | Croatia is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 378-378 | Macedonia is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 380-380 | Romania is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 384-384 | Serbia and montenegro is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 382-382 | Turkey is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 119-119 | Southeastern europe has name "Southeastern Europe" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54108-54108 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54107-54107 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54106-54106 |
|
|
|
