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 | 奧伯特奧地利 是 奧地利 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2151-2151 | 例 奧伯特奧地利 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3335-3335 | 名 "Oberwart" and 奧伯特奧地利 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41524-41524 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41523-41523 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41522-41522 |