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 e' uma instancia de Cidade |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3335-3335 | OberwartAustria se chama nome "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 |