more pictures...
| 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 3320-3320 | |
| (externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ EUflagChangedColorWhite.png") | pictureList.kif 3482-3482 | |
| (externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Europass.svg") | pictureList.kif 3483-3483 | |
| (externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ c/ c6/ Europe_political_map.png") | pictureList.kif 3485-3485 | |
| (externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Regions_of_Europe_Map.png") | pictureList.kif 3484-3484 | |
| (subclass EuropeanNation Nation) | CountriesAndRegions.kif 73-73 |
| appearance as argument number 2 |
|
|
| (instance Andorra EuropeanNation) | CountriesAndRegions.kif 391-391 | |
| (instance Belgium EuropeanNation) | CountriesAndRegions.kif 349-349 | |
| (instance Czechoslovakia EuropeanNation) | CountriesAndRegions.kif 847-847 | |
| (instance Denmark EuropeanNation) | CountriesAndRegions.kif 316-316 | |
| (instance Finland EuropeanNation) | CountriesAndRegions.kif 319-319 | |
| (instance France EuropeanNation) | CountriesAndRegions.kif 351-351 | |
| (instance Germany EuropeanNation) | CountriesAndRegions.kif 280-280 | |
| (instance Greece EuropeanNation) | CountriesAndRegions.kif 332-332 | |
| (instance HolySee EuropeanNation) | CountriesAndRegions.kif 334-334 | |
| (instance Iceland EuropeanNation) | CountriesAndRegions.kif 321-321 | |
| (instance Ireland EuropeanNation) | CountriesAndRegions.kif 354-354 | |
| (instance Italy EuropeanNation) | CountriesAndRegions.kif 336-336 | |
| (instance Malta EuropeanNation) | CountriesAndRegions.kif 338-338 | |
| (instance Monaco EuropeanNation) | CountriesAndRegions.kif 360-360 | |
| (instance Netherlands EuropeanNation) | CountriesAndRegions.kif 362-362 | |
| (instance Norway EuropeanNation) | CountriesAndRegions.kif 324-324 | |
| (instance Poland EuropeanNation) | CountriesAndRegions.kif 286-286 | |
| (instance Portugal EuropeanNation) | CountriesAndRegions.kif 394-394 | |
| (instance SanMarino EuropeanNation) | CountriesAndRegions.kif 340-340 | |
| (instance SovietUnion EuropeanNation) | CountriesAndRegions.kif 80-80 | |
| (instance Spain EuropeanNation) | CountriesAndRegions.kif 396-396 | |
| (instance Sweden EuropeanNation) | CountriesAndRegions.kif 327-327 | |
| (instance Switzerland EuropeanNation) | CountriesAndRegions.kif 292-292 | |
| (instance UnitedKingdom EuropeanNation) | CountriesAndRegions.kif 364-364 | |
| (termFormat ChineseLanguage EuropeanNation "欧洲国家") | domainEnglishFormat.kif 22588-22588 | |
| 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 | |
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation))) |
Media.kif 2528-2531 |
|
|
|