| 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 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 |
|
|
|