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

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 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
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))
Media.kif 2528-2531


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