|
|
   EuropeanNation
|
|
|
| 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 | 子類 歐洲國家 and Nation |
| appearance as argument number 2 |
|
|
| (instance Andorra EuropeanNation) | CountriesAndRegions.kif 391-391 | 例 安道爾 and 歐洲國家 |
| (instance Belgium EuropeanNation) | CountriesAndRegions.kif 349-349 | 例 比利時 and 歐洲國家 |
| (instance Czechoslovakia EuropeanNation) | CountriesAndRegions.kif 847-847 | 例 捷克斯洛伐克 and 歐洲國家 |
| (instance Denmark EuropeanNation) | CountriesAndRegions.kif 316-316 | 例 丹麥 and 歐洲國家 |
| (instance Finland EuropeanNation) | CountriesAndRegions.kif 319-319 | 例 芬蘭 and 歐洲國家 |
| (instance France EuropeanNation) | CountriesAndRegions.kif 351-351 | 例 法國 and 歐洲國家 |
| (instance Germany EuropeanNation) | CountriesAndRegions.kif 280-280 | 例 德國 and 歐洲國家 |
| (instance Greece EuropeanNation) | CountriesAndRegions.kif 332-332 | 例 希臘 and 歐洲國家 |
| (instance HolySee EuropeanNation) | CountriesAndRegions.kif 334-334 | 例 教廷 and 歐洲國家 |
| (instance Iceland EuropeanNation) | CountriesAndRegions.kif 321-321 | 例 冰島 and 歐洲國家 |
| (instance Ireland EuropeanNation) | CountriesAndRegions.kif 354-354 | 例 愛爾蘭 and 歐洲國家 |
| (instance Italy EuropeanNation) | CountriesAndRegions.kif 336-336 | 例 意大利 and 歐洲國家 |
| (instance Malta EuropeanNation) | CountriesAndRegions.kif 338-338 | 例 馬耳他 and 歐洲國家 |
| (instance Monaco EuropeanNation) | CountriesAndRegions.kif 360-360 | 例 摩納哥 and 歐洲國家 |
| (instance Netherlands EuropeanNation) | CountriesAndRegions.kif 362-362 | 例 荷蘭 and 歐洲國家 |
| (instance Norway EuropeanNation) | CountriesAndRegions.kif 324-324 | 例 挪威 and 歐洲國家 |
| (instance Poland EuropeanNation) | CountriesAndRegions.kif 286-286 | 例 波蘭 and 歐洲國家 |
| (instance Portugal EuropeanNation) | CountriesAndRegions.kif 394-394 | 例 葡萄牙 and 歐洲國家 |
| (instance SanMarino EuropeanNation) | CountriesAndRegions.kif 340-340 | 例 聖馬力諾 and 歐洲國家 |
| (instance SovietUnion EuropeanNation) | CountriesAndRegions.kif 80-80 | 例 前蘇聯 and 歐洲國家 |
| (instance Spain EuropeanNation) | CountriesAndRegions.kif 396-396 | 例 西班牙 and 歐洲國家 |
| (instance Sweden EuropeanNation) | CountriesAndRegions.kif 327-327 | 例 瑞典 and 歐洲國家 |
| (instance Switzerland EuropeanNation) | CountriesAndRegions.kif 292-292 | 例 瑞士 and 歐洲國家 |
| (instance UnitedKingdom EuropeanNation) | CountriesAndRegions.kif 364-364 | 例 英國 and 歐洲國家 |
| (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 | 持有期間 未來 TimePosition and 例 Serbia and 歐洲國家 例 TimePosition and 天 5 and 月 June and 年 2006 |
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation))) |
Media.kif 2528-2531 | 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例 Montenegro and 歐洲國家 |
|
|
|
