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
(documentation France EnglishLanguage "A large, industrialized European Nation.") CountriesAndRegions.kif 1238-1238
(economyType France AdvancedEconomy) Economy.kif 536-536
(economyType France DevelopedCountry) Economy.kif 155-155
(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
(instance France EuropeanNation) CountriesAndRegions.kif 351-351
(member France EuropeanMonetaryUnion) Government.kif 3135-3135

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


(capitalCity Paris France) CountriesAndRegions.kif 56-56
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3927-3927
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3737-3737
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3757-3757
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3765-3765
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3771-3771
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3773-3773
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3775-3775
(dependentGeopoliticalArea GloriosoIslands France) CountriesAndRegions.kif 3779-3779
(dependentGeopoliticalArea Guadeloupe France) CountriesAndRegions.kif 3783-3783
(dependentGeopoliticalArea JuanDeNovaIsland France) CountriesAndRegions.kif 3804-3804
(dependentGeopoliticalArea Martinique France) CountriesAndRegions.kif 3810-3810
(dependentGeopoliticalArea Mayotte France) CountriesAndRegions.kif 3812-3812
(dependentGeopoliticalArea NewCaledonia France) CountriesAndRegions.kif 3822-3822
(dependentGeopoliticalArea Reunion France) CountriesAndRegions.kif 3835-3835
(dependentGeopoliticalArea SaintPierreAndMiquelon France) CountriesAndRegions.kif 3839-3839
(dependentGeopoliticalArea TromelinIsland France) CountriesAndRegions.kif 3847-3847
(dependentGeopoliticalArea WallisAndFutuna France) CountriesAndRegions.kif 3856-3856
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2511-2511
(geographicSubregion CorsicaFrance France) CountriesAndRegions.kif 2751-2751
(geographicSubregion CorteFrance France) CountriesAndRegions.kif 2753-2753
(geographicSubregion DinanFrance France) CountriesAndRegions.kif 2782-2782
(geographicSubregion LIleRousseFrance France) CountriesAndRegions.kif 3123-3123
(geographicSubregion LyonsFrance France) CountriesAndRegions.kif 3157-3157
(geographicSubregion MarseillesFrance France) CountriesAndRegions.kif 3203-3203

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

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