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 3230-3230 currencyType France and EuroDollar
(documentation France EnglishLanguage "A large, industrialized European Nation.") CountriesAndRegions.kif 1238-1238 currencyType France and EuroDollar
(economyType France AdvancedEconomy) Economy.kif 541-541 economyType France and AdvancedEconomy
(economyType France DevelopedCountry) Economy.kif 155-155 economyType France and DevelopedCountry
(externalImage France "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ F/ France.png") pictureList.kif 445-445 economyType France and DevelopedCountry
(geographicSubregion France WesternEurope) CountriesAndRegions.kif 350-350 geographicSubregion France and WesternEurope
(instance France EuropeanNation) CountriesAndRegions.kif 351-351 France est une instance de EuropeanNation
(meetsSpatially France GulfOfLion) Geography.kif 5417-5417 France rencontre GulfOfLion
(member France EuropeanMonetaryUnion) Government.kif 3165-3165 France est un membre de EuropeanMonetaryUnion

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


(capitalCity ParisFrance France) CountriesAndRegions.kif 56-56 capitalCity ParisFrance and France
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3921-3921 claimedTerritory Antarctica and France
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3731-3731 dependentGeopoliticalArea BassasDaIndia and France
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3751-3751 dependentGeopoliticalArea ClippertonIsland and France
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3759-3759 dependentGeopoliticalArea EuropaIsland and France
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3765-3765 dependentGeopoliticalArea FrenchGuiana and France
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3767-3767 dependentGeopoliticalArea FrenchPolynesia and France
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3769-3769 dependentGeopoliticalArea FrenchSouthernAndAntarcticLands and France
(dependentGeopoliticalArea GloriosoIslands France) CountriesAndRegions.kif 3773-3773 dependentGeopoliticalArea GloriosoIslands and France
(dependentGeopoliticalArea Guadeloupe France) CountriesAndRegions.kif 3777-3777 dependentGeopoliticalArea Guadeloupe and France
(dependentGeopoliticalArea JuanDeNovaIsland France) CountriesAndRegions.kif 3798-3798 dependentGeopoliticalArea JuanDeNovaIsland and France
(dependentGeopoliticalArea Martinique France) CountriesAndRegions.kif 3804-3804 dependentGeopoliticalArea Martinique and France
(dependentGeopoliticalArea Mayotte France) CountriesAndRegions.kif 3806-3806 dependentGeopoliticalArea Mayotte and France
(dependentGeopoliticalArea NewCaledonia France) CountriesAndRegions.kif 3816-3816 dependentGeopoliticalArea NewCaledonia and France
(dependentGeopoliticalArea Reunion France) CountriesAndRegions.kif 3829-3829 dependentGeopoliticalArea Reunion and France
(dependentGeopoliticalArea SaintPierreAndMiquelon France) CountriesAndRegions.kif 3833-3833 dependentGeopoliticalArea SaintPierreAndMiquelon and France
(dependentGeopoliticalArea TromelinIsland France) CountriesAndRegions.kif 3841-3841 dependentGeopoliticalArea TromelinIsland and France
(dependentGeopoliticalArea WallisAndFutuna France) CountriesAndRegions.kif 3850-3850 dependentGeopoliticalArea WallisAndFutuna and France
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2512-2512 geographicSubregion AjaccioFrance and France
(geographicSubregion CorsicaFrance France) CountriesAndRegions.kif 2752-2752 geographicSubregion CorsicaFrance and France
(geographicSubregion CorteFrance France) CountriesAndRegions.kif 2754-2754 geographicSubregion CorteFrance and France
(geographicSubregion DinanFrance France) CountriesAndRegions.kif 2783-2783 geographicSubregion DinanFrance and France
(geographicSubregion LIleRousseFrance France) CountriesAndRegions.kif 3122-3122 geographicSubregion LIleRousseFrance and France
(geographicSubregion LyonsFrance France) CountriesAndRegions.kif 3155-3155 geographicSubregion LyonsFrance and France
(geographicSubregion MarseillesFrance France) CountriesAndRegions.kif 3201-3201 geographicSubregion MarseillesFrance and 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 2701-2701 codeMapping ISO_3166_1_alpha_2, "FR" and France

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


(=>
    (and
        (instance ?CITY City)
        (part ?CITY France))
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn ParisFrance))))		 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