| CorteFrance(corte france)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1641-1641 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3976-3976 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2752-2752 | Corte france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1640-1640 | Corte france is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2753-2753 | Corte france has name "Corte" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17424-17424 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17423-17423 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17422-17422 |
|
|
|