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 | Oberwart austria is a geographic subregion of austria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2151-2151 | Oberwart austria is an instance of city |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3335-3335 | Oberwart austria has name "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 |