Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuropeanNation

Sigma KEE - EuropeanNation
EuropeanNation
more pictures...

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


(documentation EuropeanNation EnglishLanguage "The class of nations that are in Europe.") CountriesAndRegions.kif 74-74
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 16/ Drapeau-01.gif") pictureList.kif 3322-3322
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ EUflagChangedColorWhite.png") pictureList.kif 3484-3484
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Europass.svg") pictureList.kif 3485-3485
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ c/ c6/ Europe_political_map.png") pictureList.kif 3487-3487
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Regions_of_Europe_Map.png") pictureList.kif 3486-3486
(subclass EuropeanNation Nation) CountriesAndRegions.kif 73-73

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


(instance Andorra EuropeanNation) CountriesAndRegions.kif 391-391
(instance Belgium EuropeanNation) CountriesAndRegions.kif 349-349
(instance Czechoslovakia EuropeanNation) CountriesAndRegions.kif 847-847
(instance Denmark EuropeanNation) CountriesAndRegions.kif 316-316
(instance Finland EuropeanNation) CountriesAndRegions.kif 319-319
(instance France EuropeanNation) CountriesAndRegions.kif 351-351
(instance Germany EuropeanNation) CountriesAndRegions.kif 280-280
(instance Greece EuropeanNation) CountriesAndRegions.kif 332-332
(instance HolySee EuropeanNation) CountriesAndRegions.kif 334-334
(instance Iceland EuropeanNation) CountriesAndRegions.kif 321-321
(instance Ireland EuropeanNation) CountriesAndRegions.kif 354-354
(instance Italy EuropeanNation) CountriesAndRegions.kif 336-336
(instance Malta EuropeanNation) CountriesAndRegions.kif 338-338
(instance Monaco EuropeanNation) CountriesAndRegions.kif 360-360
(instance Netherlands EuropeanNation) CountriesAndRegions.kif 362-362
(instance Norway EuropeanNation) CountriesAndRegions.kif 324-324
(instance Poland EuropeanNation) CountriesAndRegions.kif 286-286
(instance Portugal EuropeanNation) CountriesAndRegions.kif 394-394
(instance SanMarino EuropeanNation) CountriesAndRegions.kif 340-340
(instance SovietUnion EuropeanNation) CountriesAndRegions.kif 80-80
(instance Spain EuropeanNation) CountriesAndRegions.kif 396-396
(instance Sweden EuropeanNation) CountriesAndRegions.kif 327-327
(instance Switzerland EuropeanNation) CountriesAndRegions.kif 292-292
(instance UnitedKingdom EuropeanNation) CountriesAndRegions.kif 364-364
(termFormat EnglishLanguage EuropeanNation "european nation") domainEnglishFormat.kif 4184-4184

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?N EuropeanNation)
    (part ?N Europe))
CountriesAndRegions.kif 76-78

statement
-------------------------


(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro EuropeanNation))
Media.kif 2507-2508
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia EuropeanNation))
Media.kif 2492-2493


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners