| France(france)
| | France, French_Republic |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3230-3230 | Euro dollar is a currency type of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1238-1238 | Euro dollar is a currency type of france |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 541-541 | Advanced economy is an economy type of france |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 155-155 | Developed country is an economy type of france |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 445-445 | Developed country is an economy type of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 350-350 | France is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 351-351 | France is an instance of european nation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | France is a member of european monetary union |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 56-56 | France is a capital city of paris |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3926-3926 | France is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3736-3736 | Bassas da india is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3756-3756 | Clipperton island is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3764-3764 | Europa island is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3770-3770 | French guiana is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3772-3772 | French polynesia is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3774-3774 | French southern and antarctic lands is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3778-3778 | Glorioso islands is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3782-3782 | Guadeloupe is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3803-3803 | Juan de nova island is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3809-3809 | Martinique is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3811-3811 | Mayotte is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3821-3821 | New caledonia is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3834-3834 | Reunion is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3838-3838 | Saint pierre and miquelon is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3846-3846 | Tromelin island is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3855-3855 | Wallis and futuna is a dependent of france |
| 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 2750-2750 | Corsica france is a geographic subregion of france |
| 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 2781-2781 | Dinan france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3122-3122 | Lile rousse france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3156-3156 | Lyons france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3202-3202 | Marseilles france is a geographic subregion of 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 2701-2701 | "FR" in ISO_3166_1_alpha_2 denotes france |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 59-65 |
|
|
|
|