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 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国民subclass では %n

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


(instance Andorra EuropeanNation) CountriesAndRegions.kif 391-391 AndorraEuropeanNationinstance では %n
(instance Belgium EuropeanNation) CountriesAndRegions.kif 349-349 BelgiumEuropeanNationinstance では %n
(instance Czechoslovakia EuropeanNation) CountriesAndRegions.kif 847-847 CzechoslovakiaEuropeanNationinstance では %n
(instance Denmark EuropeanNation) CountriesAndRegions.kif 316-316 DenmarkEuropeanNationinstance では %n
(instance Finland EuropeanNation) CountriesAndRegions.kif 319-319 FinlandEuropeanNationinstance では %n
(instance France EuropeanNation) CountriesAndRegions.kif 351-351 FranceEuropeanNationinstance では %n
(instance Germany EuropeanNation) CountriesAndRegions.kif 280-280 GermanyEuropeanNationinstance では %n
(instance Greece EuropeanNation) CountriesAndRegions.kif 332-332 GreeceEuropeanNationinstance では %n
(instance HolySee EuropeanNation) CountriesAndRegions.kif 334-334 HolySeeEuropeanNationinstance では %n
(instance Iceland EuropeanNation) CountriesAndRegions.kif 321-321 IcelandEuropeanNationinstance では %n
(instance Ireland EuropeanNation) CountriesAndRegions.kif 354-354 IrelandEuropeanNationinstance では %n
(instance Italy EuropeanNation) CountriesAndRegions.kif 336-336 ItalyEuropeanNationinstance では %n
(instance Malta EuropeanNation) CountriesAndRegions.kif 338-338 MaltaEuropeanNationinstance では %n
(instance Monaco EuropeanNation) CountriesAndRegions.kif 360-360 MonacoEuropeanNationinstance では %n
(instance Netherlands EuropeanNation) CountriesAndRegions.kif 362-362 NetherlandsEuropeanNationinstance では %n
(instance Norway EuropeanNation) CountriesAndRegions.kif 324-324 NorwayEuropeanNationinstance では %n
(instance Poland EuropeanNation) CountriesAndRegions.kif 286-286 PolandEuropeanNationinstance では %n
(instance Portugal EuropeanNation) CountriesAndRegions.kif 394-394 PortugalEuropeanNationinstance では %n
(instance SanMarino EuropeanNation) CountriesAndRegions.kif 340-340 SanMarinoEuropeanNationinstance では %n
(instance SovietUnion EuropeanNation) CountriesAndRegions.kif 80-80 SovietUnionEuropeanNationinstance では %n
(instance Spain EuropeanNation) CountriesAndRegions.kif 396-396 SpainEuropeanNationinstance では %n
(instance Sweden EuropeanNation) CountriesAndRegions.kif 327-327 SwedenEuropeanNationinstance では %n
(instance Switzerland EuropeanNation) CountriesAndRegions.kif 292-292 SwitzerlandEuropeanNationinstance では %n
(instance UnitedKingdom EuropeanNation) CountriesAndRegions.kif 364-364 UnitedKingdomEuropeanNationinstance では %n
(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 SerbiaEuropeanNationinstance では %n 時間位置 は 5 day 目 の instance では %n は 時間位置afterduring holds %n{ない}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))
Media.kif 2528-2531 時間位置 は 3 day 目 の instance では %n MontenegroEuropeanNationinstance では %n は 時間位置afterduring holds %n{ない}


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