|
|
  France
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2893-2893 | currencyType France and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1238-1238 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 541-541 | economyType France and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 155-155 | economyType France and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 445-445 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 350-350 | geographicSubregion France and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 351-351 | France est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3204-3204 | France est un membre de EuropeanMonetaryUnion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 56-56 | capitalCity Paris and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3926-3926 | claimedTerritory Antarctica and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3736-3736 | dependentGeopoliticalArea BassasDaIndia and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3756-3756 | dependentGeopoliticalArea ClippertonIsland and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3764-3764 | dependentGeopoliticalArea EuropaIsland and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3770-3770 | dependentGeopoliticalArea FrenchGuiana and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3772-3772 | dependentGeopoliticalArea FrenchPolynesia and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3774-3774 | dependentGeopoliticalArea FrenchSouthernAndAntarcticLands and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3778-3778 | dependentGeopoliticalArea GloriosoIslands and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3782-3782 | dependentGeopoliticalArea Guadeloupe and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3803-3803 | dependentGeopoliticalArea JuanDeNovaIsland and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3809-3809 | dependentGeopoliticalArea Martinique and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3811-3811 | dependentGeopoliticalArea Mayotte and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3821-3821 | dependentGeopoliticalArea NewCaledonia and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3834-3834 | dependentGeopoliticalArea Reunion and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3838-3838 | dependentGeopoliticalArea SaintPierreAndMiquelon and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3846-3846 | dependentGeopoliticalArea TromelinIsland and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3855-3855 | dependentGeopoliticalArea WallisAndFutuna and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2510-2510 | geographicSubregion AjaccioFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2750-2750 | geographicSubregion CorsicaFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2752-2752 | geographicSubregion CorteFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2781-2781 | geographicSubregion DinanFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3122-3122 | geographicSubregion LIleRousseFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3156-3156 | geographicSubregion LyonsFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3202-3202 | geographicSubregion MarseillesFrance and France |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2699-2699 | codeMapping ISO-3166-1-alpha-2, "FR" and France |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 59-65 |
|
|
|
|
