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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


(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 3321-3321
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ EUflagChangedColorWhite.png") pictureList.kif 3483-3483
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Europass.svg") pictureList.kif 3484-3484
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ c/ c6/ Europe_political_map.png") pictureList.kif 3486-3486
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Regions_of_Europe_Map.png") pictureList.kif 3485-3485
(subclass EuropeanNation Nation) CountriesAndRegions.kif 73-73 European nation is a subclass of nation

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


(instance Andorra EuropeanNation) CountriesAndRegions.kif 391-391 Andorra is an instance of european nation
(instance Belgium EuropeanNation) CountriesAndRegions.kif 349-349 Belgium is an instance of european nation
(instance Czechoslovakia EuropeanNation) CountriesAndRegions.kif 847-847 Czechoslovakia 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 France EuropeanNation) CountriesAndRegions.kif 351-351 France is an instance of european nation
(instance Germany EuropeanNation) CountriesAndRegions.kif 280-280 Germany 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 Iceland EuropeanNation) CountriesAndRegions.kif 321-321 Iceland is an instance of european nation
(instance Ireland EuropeanNation) CountriesAndRegions.kif 354-354 Ireland 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 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 Norway EuropeanNation) CountriesAndRegions.kif 324-324 Norway is an instance of european nation
(instance Poland EuropeanNation) CountriesAndRegions.kif 286-286 Poland is an instance of european nation
(instance Portugal EuropeanNation) CountriesAndRegions.kif 394-394 Portugal is an instance of european nation
(instance SanMarino EuropeanNation) CountriesAndRegions.kif 340-340 San marino is an instance of european nation
(instance SovietUnion EuropeanNation) CountriesAndRegions.kif 80-80 Soviet union is an instance of european nation
(instance Spain EuropeanNation) CountriesAndRegions.kif 396-396 Spain is an instance of european nation
(instance Sweden EuropeanNation) CountriesAndRegions.kif 327-327 Sweden is an instance of european nation
(instance Switzerland EuropeanNation) CountriesAndRegions.kif 292-292 Switzerland is an instance of european nation
(instance UnitedKingdom EuropeanNation) CountriesAndRegions.kif 364-364 United kingdom is an instance of european nation
(termFormat ChineseLanguage EuropeanNation "欧洲国家") domainEnglishFormat.kif 22576-22576

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 2501-2504 Serbia is an instance of european nation and a time position is an instance of the day 5 holds during after the time position
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))
Media.kif 2528-2531 A time position is an instance of the day 3 and Montenegro is an instance of european nation holds during after the time position


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