Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1In2In3Re4En5In6Ra7RaFn

 Sigma KEE - EuropeanNation
EuropeanNation(european nation)
more pictures...		Balkan_country, Balkan_nation, Balkan_state, Baltic_Republic, Baltic_State, Bosna_i_Hercegovina, Bosnia, Bosnia-Herzegovina, Bosnia_and_Herzegovina, East_Germany, European_country, European_nation, Federal_Republic_of_Germany, Flanders, German_Democratic_Republic, Republic_of_Bosnia_and_Herzegovina, Scandinavian_country, Scandinavian_nation, West_Germany

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


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

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


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

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 If X is an instance of european nation, then X is a part of europe

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


(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2448-2451 Serbia is an instance of european nation and X is an instance of the day 5 of month the month June holds during after X
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2475-2478 X is an instance of the day 3 of month the month June and Montenegro is an instance of european nation holds during after X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners