VitoriaSpain(vitoria spain)![]() ![]() |
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 | Vitoria spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2431-2431 | Vitoria spain is an instance of city |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3652-3652 | Vitoria spain has name "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 |
![]() |
![]() |