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

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


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

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

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