France(法國) |
appearance as argument number 1 |
(currencyType France EuroDollar) | Economy.kif 2893-2893 | 歐元 是 法國 的 currency 類別 |
(documentation France EnglishLanguage "A large, industrialized European Nation.") | CountriesAndRegions.kif 1238-1238 | |
(economyType France AdvancedEconomy) | Economy.kif 541-541 | 發達經濟 是 法國 的 economy 類別 |
(economyType France DevelopedCountry) | Economy.kif 155-155 | 發達國家 是 法國 的 economy 類別 |
(externalImage France "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ F/ France.png") | pictureList.kif 445-445 | |
(geographicSubregion France WesternEurope) | CountriesAndRegions.kif 350-350 | 法國 是 西歐 的 geographic 次要地區 |
(instance France EuropeanNation) | CountriesAndRegions.kif 351-351 | 例 法國 and 歐洲國家 |
(member France EuropeanMonetaryUnion) | Government.kif 3168-3168 | 會員 法國 and 歐洲貨幣聯盟 |
appearance as argument number 2 |
appearance as argument number 3 |
(codeMapping ISO-3166-1-alpha-2 "FR" France) | Media.kif 2699-2699 | "FR" 在 ISO-3166-1-alpha-2 denotes 法國 |
antecedent |
(=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris)))) |
CountriesAndRegions.kif 59-65 |
|