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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 法國 and 歐洲國家
(member France EuropeanMonetaryUnion) Government.kif 3168-3168 會員 法國 and 歐洲貨幣聯盟

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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