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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - France
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
-------------------------


(capitalCity Paris France) CountriesAndRegions.kif 56-56 France is a capital city of paris
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3927-3927 France is a claimed territory of antarctica
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3737-3737 Bassas da india is a dependent of france
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3757-3757 Clipperton island is a dependent of france
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3765-3765 Europa island is a dependent of france
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3771-3771 French guiana is a dependent of france
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3773-3773 French polynesia is a dependent of france
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3775-3775 French southern and antarctic lands is a dependent of france
(dependentGeopoliticalArea GloriosoIslands France) CountriesAndRegions.kif 3779-3779 Glorioso islands is a dependent of france
(dependentGeopoliticalArea Guadeloupe France) CountriesAndRegions.kif 3783-3783 Guadeloupe is a dependent of france
(dependentGeopoliticalArea JuanDeNovaIsland France) CountriesAndRegions.kif 3804-3804 Juan de nova island is a dependent of france
(dependentGeopoliticalArea Martinique France) CountriesAndRegions.kif 3810-3810 Martinique is a dependent of france
(dependentGeopoliticalArea Mayotte France) CountriesAndRegions.kif 3812-3812 Mayotte is a dependent of france
(dependentGeopoliticalArea NewCaledonia France) CountriesAndRegions.kif 3822-3822 New caledonia is a dependent of france
(dependentGeopoliticalArea Reunion France) CountriesAndRegions.kif 3835-3835 Reunion is a dependent of france
(dependentGeopoliticalArea SaintPierreAndMiquelon France) CountriesAndRegions.kif 3839-3839 Saint pierre and miquelon is a dependent of france
(dependentGeopoliticalArea TromelinIsland France) CountriesAndRegions.kif 3847-3847 Tromelin island is a dependent of france
(dependentGeopoliticalArea WallisAndFutuna France) CountriesAndRegions.kif 3856-3856 Wallis and futuna is a dependent of france
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2511-2511 Ajaccio france is a geographic subregion of france
(geographicSubregion CorsicaFrance France) CountriesAndRegions.kif 2751-2751 Corsica france is a geographic subregion of france
(geographicSubregion CorteFrance France) CountriesAndRegions.kif 2753-2753 Corte france is a geographic subregion of france
(geographicSubregion DinanFrance France) CountriesAndRegions.kif 2782-2782 Dinan france is a geographic subregion of france
(geographicSubregion LIleRousseFrance France) CountriesAndRegions.kif 3123-3123 L ile rousse france is a geographic subregion of france
(geographicSubregion LyonsFrance France) CountriesAndRegions.kif 3157-3157 Lyons france is a geographic subregion of france
(geographicSubregion MarseillesFrance France) CountriesAndRegions.kif 3203-3203 Marseilles france is a geographic subregion of france

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 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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners