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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 EuropeanNation ist eine teilkategorie von Nation

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


(instance Andorra EuropeanNation) CountriesAndRegions.kif 391-391 Andorra ist ein fall von EuropeanNation %n{nicht}
(instance Belgium EuropeanNation) CountriesAndRegions.kif 349-349 Belgium ist ein fall von EuropeanNation %n{nicht}
(instance Czechoslovakia EuropeanNation) CountriesAndRegions.kif 847-847 Czechoslovakia ist ein fall von EuropeanNation %n{nicht}
(instance Denmark EuropeanNation) CountriesAndRegions.kif 316-316 Denmark ist ein fall von EuropeanNation %n{nicht}
(instance Finland EuropeanNation) CountriesAndRegions.kif 319-319 Finland ist ein fall von EuropeanNation %n{nicht}
(instance France EuropeanNation) CountriesAndRegions.kif 351-351 France ist ein fall von EuropeanNation %n{nicht}
(instance Germany EuropeanNation) CountriesAndRegions.kif 280-280 Germany ist ein fall von EuropeanNation %n{nicht}
(instance Greece EuropeanNation) CountriesAndRegions.kif 332-332 Greece ist ein fall von EuropeanNation %n{nicht}
(instance HolySee EuropeanNation) CountriesAndRegions.kif 334-334 HolySee ist ein fall von EuropeanNation %n{nicht}
(instance Iceland EuropeanNation) CountriesAndRegions.kif 321-321 Iceland ist ein fall von EuropeanNation %n{nicht}
(instance Ireland EuropeanNation) CountriesAndRegions.kif 354-354 Ireland ist ein fall von EuropeanNation %n{nicht}
(instance Italy EuropeanNation) CountriesAndRegions.kif 336-336 Italy ist ein fall von EuropeanNation %n{nicht}
(instance Malta EuropeanNation) CountriesAndRegions.kif 338-338 Malta ist ein fall von EuropeanNation %n{nicht}
(instance Monaco EuropeanNation) CountriesAndRegions.kif 360-360 Monaco ist ein fall von EuropeanNation %n{nicht}
(instance Netherlands EuropeanNation) CountriesAndRegions.kif 362-362 Netherlands ist ein fall von EuropeanNation %n{nicht}
(instance Norway EuropeanNation) CountriesAndRegions.kif 324-324 Norway ist ein fall von EuropeanNation %n{nicht}
(instance Poland EuropeanNation) CountriesAndRegions.kif 286-286 Poland ist ein fall von EuropeanNation %n{nicht}
(instance Portugal EuropeanNation) CountriesAndRegions.kif 394-394 Portugal ist ein fall von EuropeanNation %n{nicht}
(instance SanMarino EuropeanNation) CountriesAndRegions.kif 340-340 SanMarino ist ein fall von EuropeanNation %n{nicht}
(instance SovietUnion EuropeanNation) CountriesAndRegions.kif 80-80 SovietUnion ist ein fall von EuropeanNation %n{nicht}
(instance Spain EuropeanNation) CountriesAndRegions.kif 396-396 Spain ist ein fall von EuropeanNation %n{nicht}
(instance Sweden EuropeanNation) CountriesAndRegions.kif 327-327 Sweden ist ein fall von EuropeanNation %n{nicht}
(instance Switzerland EuropeanNation) CountriesAndRegions.kif 292-292 Switzerland ist ein fall von EuropeanNation %n{nicht}
(instance UnitedKingdom EuropeanNation) CountriesAndRegions.kif 364-364 UnitedKingdom ist ein fall von EuropeanNation %n{nicht}
(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 ist ein fall von EuropeanNation %n{nicht} und TimePosition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))
Media.kif 2528-2531 TimePosition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von EuropeanNation %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}


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