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 | geographicSubregion SoutheasternEurope and EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 161-161 | geographicSubregion SoutheasternEurope and Europe |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 226-226 | geographicSubregion SoutheasternEurope and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 89-89 | SoutheasternEurope e' uma instancia de Area Geografica |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 370-370 | geographicSubregion Albania and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 372-372 | geographicSubregion BosniaAndHerzegovina and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 374-374 | geographicSubregion Bulgaria and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 376-376 | geographicSubregion Croatia and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 378-378 | geographicSubregion Macedonia and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 380-380 | geographicSubregion Romania and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 384-384 | geographicSubregion SerbiaAndMontenegro and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 382-382 | geographicSubregion Turkey and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 119-119 | SoutheasternEurope se chama nome "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 |