Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  France

Sigma KEE - France
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 法国欧洲国家instance
(member France EuropeanMonetaryUnion) Government.kif 3204-3204 法国欧洲货币联盟member

appearance as argument number 2
-------------------------


(capitalCity Paris France) CountriesAndRegions.kif 56-56 法国巴黎capital 城市
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3926-3926 法国南极洲claimed 领土
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3736-3736 Bassas da 印度法国dependent
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3756-3756 Clipperton岛法国dependent
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3764-3764 欧罗巴岛法国dependent
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3770-3770 法属圭亚那法国dependent
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3772-3772 法属波利尼西亚法国dependent
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3774-3774 法国南部和南极的土地法国dependent
(dependentGeopoliticalArea GloriosoIslands France) CountriesAndRegions.kif 3778-3778 Glorioso岛屿法国dependent
(dependentGeopoliticalArea Guadeloupe France) CountriesAndRegions.kif 3782-3782 瓜德罗普岛法国dependent
(dependentGeopoliticalArea JuanDeNovaIsland France) CountriesAndRegions.kif 3803-3803 胡安德诺瓦岛法国dependent
(dependentGeopoliticalArea Martinique France) CountriesAndRegions.kif 3809-3809 马提尼克法国dependent
(dependentGeopoliticalArea Mayotte France) CountriesAndRegions.kif 3811-3811 马约特法国dependent
(dependentGeopoliticalArea NewCaledonia France) CountriesAndRegions.kif 3821-3821 新喀里多尼亚法国dependent
(dependentGeopoliticalArea Reunion France) CountriesAndRegions.kif 3834-3834 团圆法国dependent
(dependentGeopoliticalArea SaintPierreAndMiquelon France) CountriesAndRegions.kif 3838-3838 圣皮埃尔和密克隆法国dependent
(dependentGeopoliticalArea TromelinIsland France) CountriesAndRegions.kif 3846-3846 特罗姆林岛法国dependent
(dependentGeopoliticalArea WallisAndFutuna France) CountriesAndRegions.kif 3855-3855 瓦利斯和富图纳群岛法国dependent
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2510-2510 Ajaccio 法国法国geographic 次要地区
(geographicSubregion CorsicaFrance France) CountriesAndRegions.kif 2750-2750 科西嘉岛法国法国geographic 次要地区
(geographicSubregion CorteFrance France) CountriesAndRegions.kif 2752-2752 科尔特法国法国geographic 次要地区
(geographicSubregion DinanFrance France) CountriesAndRegions.kif 2781-2781 迪南法国法国geographic 次要地区
(geographicSubregion LIleRousseFrance France) CountriesAndRegions.kif 3122-3122 Lile鲁塞法国法国geographic 次要地区
(geographicSubregion LyonsFrance France) CountriesAndRegions.kif 3156-3156 里昂法国法国geographic 次要地区
(geographicSubregion MarseillesFrance France) CountriesAndRegions.kif 3202-3202 马赛法国法国geographic 次要地区

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners