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 欧洲国家国家subclass

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


(instance Andorra EuropeanNation) CountriesAndRegions.kif 391-391 安道尔欧洲国家instance
(instance Belgium EuropeanNation) CountriesAndRegions.kif 349-349 比利时欧洲国家instance
(instance Czechoslovakia EuropeanNation) CountriesAndRegions.kif 847-847 捷克斯洛伐克欧洲国家instance
(instance Denmark EuropeanNation) CountriesAndRegions.kif 316-316 丹麦欧洲国家instance
(instance Finland EuropeanNation) CountriesAndRegions.kif 319-319 芬兰欧洲国家instance
(instance France EuropeanNation) CountriesAndRegions.kif 351-351 法国欧洲国家instance
(instance Germany EuropeanNation) CountriesAndRegions.kif 280-280 德国欧洲国家instance
(instance Greece EuropeanNation) CountriesAndRegions.kif 332-332 希腊欧洲国家instance
(instance HolySee EuropeanNation) CountriesAndRegions.kif 334-334 教廷欧洲国家instance
(instance Iceland EuropeanNation) CountriesAndRegions.kif 321-321 冰岛欧洲国家instance
(instance Ireland EuropeanNation) CountriesAndRegions.kif 354-354 爱尔兰欧洲国家instance
(instance Italy EuropeanNation) CountriesAndRegions.kif 336-336 意大利欧洲国家instance
(instance Malta EuropeanNation) CountriesAndRegions.kif 338-338 马耳他欧洲国家instance
(instance Monaco EuropeanNation) CountriesAndRegions.kif 360-360 摩纳哥欧洲国家instance
(instance Netherlands EuropeanNation) CountriesAndRegions.kif 362-362 荷兰欧洲国家instance
(instance Norway EuropeanNation) CountriesAndRegions.kif 324-324 挪威欧洲国家instance
(instance Poland EuropeanNation) CountriesAndRegions.kif 286-286 波兰欧洲国家instance
(instance Portugal EuropeanNation) CountriesAndRegions.kif 394-394 葡萄牙欧洲国家instance
(instance SanMarino EuropeanNation) CountriesAndRegions.kif 340-340 圣马力诺欧洲国家instance
(instance SovietUnion EuropeanNation) CountriesAndRegions.kif 80-80 前苏联欧洲国家instance
(instance Spain EuropeanNation) CountriesAndRegions.kif 396-396 西班牙欧洲国家instance
(instance Sweden EuropeanNation) CountriesAndRegions.kif 327-327 瑞典欧洲国家instance
(instance Switzerland EuropeanNation) CountriesAndRegions.kif 292-292 瑞士欧洲国家instance
(instance UnitedKingdom EuropeanNation) CountriesAndRegions.kif 364-364 英国欧洲国家instance
(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欧洲国家instance 时间位置 是 5 dayinstance那个 时间位置 之后 holdsDuring
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))
Media.kif 2528-2531 时间位置 是 3 dayinstanceMontenegro欧洲国家instance那个 时间位置 之后 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 3.0 is open source software produced by Articulate Software and its partners