Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  France

 Sigma KEE - France
France(france)
France, French_Republic

appearance as argument number 1
-------------------------


(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
(documentation France EnglishLanguage "A large, industrialized European Nation.") CountriesAndRegions.kif 1238-1238 France is an instance of european nation
(economyType France DevelopedCountry) Economy.kif 155-155 Developed country is an economy type of france
(economyType France AdvancedEconomy) Economy.kif 541-541 Advanced economy is an economy type of france
(currencyType France EuroDollar) Economy.kif 3225-3225 Euro dollar is a currency type of france
(meetsSpatially France GulfOfLion) Geography.kif 6752-6752 France meets Gulf Of Lion
(member France EuropeanMonetaryUnion) Government.kif 3196-3196 France is a member of european monetary union
(externalImage France "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ F/ France.png") pictureList.kif 445-445 France is a member of european monetary union

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


(part ParisFrance France) CountriesAndRegions.kif 55-55 Paris is a part of france
(capitalCity ParisFrance France) CountriesAndRegions.kif 56-56 France is a capital city of paris
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2516-2516 Ajaccio france is a geographic subregion of france
(geographicSubregion CorsicaFrance France) CountriesAndRegions.kif 2757-2757 Corsica france is a geographic subregion of france
(geographicSubregion CorteFrance France) CountriesAndRegions.kif 2759-2759 Corte france is a geographic subregion of france
(geographicSubregion DinanFrance France) CountriesAndRegions.kif 2788-2788 Dinan france is a geographic subregion of france
(geographicSubregion LIleRousseFrance France) CountriesAndRegions.kif 3127-3127 Lile rousse france is a geographic subregion of france
(geographicSubregion LyonsFrance France) CountriesAndRegions.kif 3160-3160 Lyons france is a geographic subregion of france
(geographicSubregion MarseillesFrance France) CountriesAndRegions.kif 3206-3206 Marseilles france is a geographic subregion of france
(geographicSubregion PauFrance France) CountriesAndRegions.kif 3389-3389 Pau france is a geographic subregion of france
(geographicSubregion SaintAvoldFrance France) CountriesAndRegions.kif 3461-3461 Saint avold france is a geographic subregion of france
(geographicSubregion SaintJeanDeLuzFrance France) CountriesAndRegions.kif 3465-3465 Saint jean de luz france is a geographic subregion of france
(geographicSubregion StrasbourgFrance France) CountriesAndRegions.kif 3550-3550 Strasbourg france is a geographic subregion of france
(geographicSubregion ToulonFrance France) CountriesAndRegions.kif 3569-3569 ToulonFrance is a geographic subregion of france
(geographicSubregion VitrollesFrance France) CountriesAndRegions.kif 3655-3655 Vitrolles france is a geographic subregion of france
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3736-3736 Bassas da india is a dependent of france
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3756-3756 Clipperton island is a dependent of france
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3764-3764 Europa island is a dependent of france
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3770-3770 French guiana is a dependent of france
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3772-3772 French polynesia is a dependent of france
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3774-3774 French southern and antarctic lands is a dependent of france
(dependentGeopoliticalArea GloriosoIslands France) CountriesAndRegions.kif 3778-3778 Glorioso islands is a dependent of france
(dependentGeopoliticalArea Guadeloupe France) CountriesAndRegions.kif 3782-3782 Guadeloupe is a dependent of france
(dependentGeopoliticalArea JuanDeNovaIsland France) CountriesAndRegions.kif 3803-3803 Juan de nova island is a dependent of france
(dependentGeopoliticalArea Martinique France) CountriesAndRegions.kif 3809-3809 Martinique is a dependent 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 2646-2646 "FR" in ISO_3166_1_alpha_2 denotes france

antecedent
-------------------------


(=>
    (and
        (instance ?CITY City)
        (part ?CITY France))
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn ParisFrance))))		 CountriesAndRegions.kif 59-65 If X is an instance of city and X is a part of france, then the number of instances in the resident of X is less than or equal to the number of instances in the resident of paris


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners