| France(france)
| | France, French_Republic, france, 法国, 法國 |
| appearance as argument number 1 |
|
|
| (currencyType France EuroDollar) | Economy.kif 2896-2896 | Euro dollar is a currency type of france |
| (documentation France EnglishLanguage "A large, industrialized European Nation.") | CountriesAndRegions.kif 1238-1238 | |
| (economyType France AdvancedEconomy) | Economy.kif 536-536 | Advanced economy is an economy type of france |
| (economyType France DevelopedCountry) | Economy.kif 155-155 | Developed country is an economy type of france |
| (externalImage France "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ F/ France.png") | pictureList.kif 445-445 | "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ Country_Maps/ F/ France.png" is a URL depicting france |
| (geographicSubregion France WesternEurope) | CountriesAndRegions.kif 350-350 | France is a geographic subregion of western europe |
| (instance France EuropeanNation) | CountriesAndRegions.kif 351-351 | France is an instance of european nation |
| (member France EuropeanMonetaryUnion) | Government.kif 3141-3141 | France is a member of european monetary union |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "FR" France) | Media.kif 2669-2669 | "FR" in ISO-3166-1-alpha-2 denotes france |
| antecedent |
|
|
| (=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris)))) |
CountriesAndRegions.kif 59-65 |
|
|
|
|