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 3322-3322 externalImage EuropeanNation and "http://upload.wikimedia.org/wikipedia/commons/1/16/ Drapeau-01.gif"
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ EUflagChangedColorWhite.png") pictureList.kif 3484-3484 externalImage EuropeanNation and "http://upload.wikimedia.org/wikipedia/commons/1/1c/ EUflagChangedColorWhite.png"
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Europass.svg") pictureList.kif 3485-3485 externalImage EuropeanNation and "http://upload.wikimedia.org/wikipedia/commons/4/40/ Europass.svg"
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ c/ c6/ Europe_political_map.png") pictureList.kif 3487-3487 externalImage EuropeanNation and "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Europe_political_map.png"
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Regions_of_Europe_Map.png") pictureList.kif 3486-3486 externalImage EuropeanNation and "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Regions_of_Europe_Map.png"
(subclass EuropeanNation Nation) CountriesAndRegions.kif 73-73 EuropeanNation国家subclass

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


(instance Andorra EuropeanNation) CountriesAndRegions.kif 391-391 AndorraEuropeanNationinstance
(instance Belgium EuropeanNation) CountriesAndRegions.kif 349-349 BelgiumEuropeanNationinstance
(instance Czechoslovakia EuropeanNation) CountriesAndRegions.kif 847-847 CzechoslovakiaEuropeanNationinstance
(instance Denmark EuropeanNation) CountriesAndRegions.kif 316-316 DenmarkEuropeanNationinstance
(instance Finland EuropeanNation) CountriesAndRegions.kif 319-319 FinlandEuropeanNationinstance
(instance France EuropeanNation) CountriesAndRegions.kif 351-351 FranceEuropeanNationinstance
(instance Germany EuropeanNation) CountriesAndRegions.kif 280-280 GermanyEuropeanNationinstance
(instance Greece EuropeanNation) CountriesAndRegions.kif 332-332 GreeceEuropeanNationinstance
(instance HolySee EuropeanNation) CountriesAndRegions.kif 334-334 HolySeeEuropeanNationinstance
(instance Iceland EuropeanNation) CountriesAndRegions.kif 321-321 IcelandEuropeanNationinstance
(instance Ireland EuropeanNation) CountriesAndRegions.kif 354-354 IrelandEuropeanNationinstance
(instance Italy EuropeanNation) CountriesAndRegions.kif 336-336 ItalyEuropeanNationinstance
(instance Malta EuropeanNation) CountriesAndRegions.kif 338-338 MaltaEuropeanNationinstance
(instance Monaco EuropeanNation) CountriesAndRegions.kif 360-360 MonacoEuropeanNationinstance
(instance Netherlands EuropeanNation) CountriesAndRegions.kif 362-362 NetherlandsEuropeanNationinstance
(instance Norway EuropeanNation) CountriesAndRegions.kif 324-324 NorwayEuropeanNationinstance
(instance Poland EuropeanNation) CountriesAndRegions.kif 286-286 PolandEuropeanNationinstance
(instance Portugal EuropeanNation) CountriesAndRegions.kif 394-394 PortugalEuropeanNationinstance
(instance SanMarino EuropeanNation) CountriesAndRegions.kif 340-340 SanMarinoEuropeanNationinstance
(instance SovietUnion EuropeanNation) CountriesAndRegions.kif 80-80 SovietUnionEuropeanNationinstance
(instance Spain EuropeanNation) CountriesAndRegions.kif 396-396 SpainEuropeanNationinstance
(instance Sweden EuropeanNation) CountriesAndRegions.kif 327-327 SwedenEuropeanNationinstance
(instance Switzerland EuropeanNation) CountriesAndRegions.kif 292-292 SwitzerlandEuropeanNationinstance
(instance UnitedKingdom EuropeanNation) CountriesAndRegions.kif 364-364 UnitedKingdomEuropeanNationinstance
(termFormat EnglishLanguage EuropeanNation "european nation") domainEnglishFormat.kif 4184-4184 termFormat EnglishLanguage, EuropeanNation and "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

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


(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro EuropeanNation))
Media.kif 2507-2508 MontenegroEuropeanNationinstance 在 3 day 之后 holdsDuring
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia EuropeanNation))
Media.kif 2492-2493 SerbiaEuropeanNationinstance 在 5 day 之后 holdsDuring


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners