| 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 | 例 維多利亞西班牙 and City |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3652-3652 | 名 "Vitoria" and 維多利亞西班牙 |
| 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 |
|
|
|