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 2896-2896 currencyType France and EuroDollar
(documentation France EnglishLanguage "A large, industrialized European Nation.") CountriesAndRegions.kif 1238-1238
(economyType France AdvancedEconomy) Economy.kif 536-536 economyType France and AdvancedEconomy
(economyType France DevelopedCountry) Economy.kif 155-155 economyType France and DevelopedCountry
(externalImage France "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ F/ France.png") pictureList.kif 445-445
(geographicSubregion France WesternEurope) CountriesAndRegions.kif 350-350 geographicSubregion France and WesternEurope
(instance France EuropeanNation) CountriesAndRegions.kif 351-351 instance France and EuropeanNation
(member France EuropeanMonetaryUnion) Government.kif 3135-3135 member France and EuropeanMonetaryUnion

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


(capitalCity Paris France) CountriesAndRegions.kif 56-56 capitalCity Paris and France
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3928-3928 claimedTerritory Antarctica and France
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3738-3738 dependentGeopoliticalArea BassasDaIndia and France
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3758-3758 dependentGeopoliticalArea ClippertonIsland and France
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3766-3766 dependentGeopoliticalArea EuropaIsland and France
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3772-3772 dependentGeopoliticalArea FrenchGuiana and France
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3774-3774 dependentGeopoliticalArea FrenchPolynesia and France
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3776-3776 dependentGeopoliticalArea FrenchSouthernAndAntarcticLands and France
(dependentGeopoliticalArea GloriosoIslands France) CountriesAndRegions.kif 3780-3780 dependentGeopoliticalArea GloriosoIslands and France
(dependentGeopoliticalArea Guadeloupe France) CountriesAndRegions.kif 3784-3784 dependentGeopoliticalArea Guadeloupe and France
(dependentGeopoliticalArea JuanDeNovaIsland France) CountriesAndRegions.kif 3805-3805 dependentGeopoliticalArea JuanDeNovaIsland and France
(dependentGeopoliticalArea Martinique France) CountriesAndRegions.kif 3811-3811 dependentGeopoliticalArea Martinique and France
(dependentGeopoliticalArea Mayotte France) CountriesAndRegions.kif 3813-3813 dependentGeopoliticalArea Mayotte and France
(dependentGeopoliticalArea NewCaledonia France) CountriesAndRegions.kif 3823-3823 dependentGeopoliticalArea NewCaledonia and France
(dependentGeopoliticalArea Reunion France) CountriesAndRegions.kif 3836-3836 dependentGeopoliticalArea Reunion and France
(dependentGeopoliticalArea SaintPierreAndMiquelon France) CountriesAndRegions.kif 3840-3840 dependentGeopoliticalArea SaintPierreAndMiquelon and France
(dependentGeopoliticalArea TromelinIsland France) CountriesAndRegions.kif 3848-3848 dependentGeopoliticalArea TromelinIsland and France
(dependentGeopoliticalArea WallisAndFutuna France) CountriesAndRegions.kif 3857-3857 dependentGeopoliticalArea WallisAndFutuna and France
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2511-2511 geographicSubregion AjaccioFrance and France
(geographicSubregion CorsicaFrance France) CountriesAndRegions.kif 2751-2751 geographicSubregion CorsicaFrance and France
(geographicSubregion CorteFrance France) CountriesAndRegions.kif 2753-2753 geographicSubregion CorteFrance and France
(geographicSubregion DinanFrance France) CountriesAndRegions.kif 2782-2782 geographicSubregion DinanFrance and France
(geographicSubregion LIleRousseFrance France) CountriesAndRegions.kif 3123-3123 geographicSubregion LIleRousseFrance and France
(geographicSubregion LyonsFrance France) CountriesAndRegions.kif 3157-3157 geographicSubregion LyonsFrance and France
(geographicSubregion MarseillesFrance France) CountriesAndRegions.kif 3203-3203 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 2669-2669 codeMapping ISO-3166-1-alpha-2, "FR" and 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