| AjaccioFrance(ajaccio france)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1409-1409 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4485-4485 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3967-3967 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2510-2510 | Ajaccio france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1408-1408 | Ajaccio france is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2511-2511 | Ajaccio france has name "Ajaccio" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6325-6325 | Ajaccio france has name "Ajaccio" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6324-6324 | Ajaccio france has name "Ajaccio" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6323-6323 | Ajaccio france has name "Ajaccio" |
|
|
|