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 subclass EuropeanNation and Nation

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


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

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 ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2492-2495 holdsDuring FutureFn TimePosition and instance Serbia and EuropeanNation instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))
Media.kif 2519-2522 holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 instance Montenegro and EuropeanNation


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 3.0 is open source software produced by Articulate Software and its partners