France![]() | ![]() |
appearance as argument number 1 |
![]() |
(currencyType France EuroDollar) | Economy.kif 3230-3230 | currencyType France and EuroDollar |
(documentation France EnglishLanguage "A large, industrialized European Nation.") | CountriesAndRegions.kif 1238-1238 | currencyType France and EuroDollar |
(economyType France AdvancedEconomy) | Economy.kif 541-541 | economyType France and AdvancedEconomy |
(economyType France DevelopedCountry) | Economy.kif 155-155 | economyType France and DevelopedCountry |
(externalImage France "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ F/ France.png") | pictureList.kif 445-445 | economyType France and DevelopedCountry |
(geographicSubregion France WesternEurope) | CountriesAndRegions.kif 350-350 | geographicSubregion France and WesternEurope |
(instance France EuropeanNation) | CountriesAndRegions.kif 351-351 | France は EuropeanNation の instance では |
(member France EuropeanMonetaryUnion) | Government.kif 3165-3165 | France は EuropeanMonetaryUnion の member では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(codeMapping ISO_3166_1_alpha_2 "FR" France) | Media.kif 2701-2701 | codeMapping ISO_3166_1_alpha_2, "FR" and France |
antecedent |
![]() |
(=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris)))) |
CountriesAndRegions.kif 59-65 |
![]() |
![]() |