VitoriaSpain
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2432-2432 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5191-5191 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5542-5542 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3651-3651 | 维多利亚西班牙 是 西班牙 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2431-2431 | 维多利亚西班牙 是 城市 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3652-3652 | 维多利亚西班牙 的名 是 "Vitoria" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61796-61796 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61795-61795 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61794-61794 |