| OberwartAustria(oberwart austria)
|
| 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 1204-1204 | |
| 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 41509-41509 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41508-41508 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41507-41507 |
|
|
|