|
|
   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 3322-3322 | |
| (externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ EUflagChangedColorWhite.png") | pictureList.kif 3484-3484 | |
| (externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Europass.svg") | pictureList.kif 3485-3485 | |
| (externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ c/ c6/ Europe_political_map.png") | pictureList.kif 3487-3487 | |
| (externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Regions_of_Europe_Map.png") | pictureList.kif 3486-3486 | |
| (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 22579-22579 | |
| 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 day 的 instance 在 那个 时间位置 之后 holdsDuring |
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation))) |
Media.kif 2528-2531 | 时间位置 是 3 day 的 instance 和 Montenegro 是 欧洲国家 的 instance 在 那个 时间位置 之后 holdsDuring |
|
|
|
