OberwartAustria
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2152-2152 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1203-1203 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3331-3331 | geographicSubregion OberwartAustria and Austria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2151-2151 | OberwartAustria est une instance de ville |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3335-3335 | OberwartAustria s'appele nom "Oberwart" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41526-41526 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41525-41525 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41524-41524 |