|
|
   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 | EuropeanNation ist eine teilkategorie von Nation |
| appearance as argument number 2 |
|
|
| (instance Andorra EuropeanNation) | CountriesAndRegions.kif 391-391 | Andorra ist ein fall von EuropeanNation %n{nicht} |
| (instance Belgium EuropeanNation) | CountriesAndRegions.kif 349-349 | Belgium ist ein fall von EuropeanNation %n{nicht} |
| (instance Czechoslovakia EuropeanNation) | CountriesAndRegions.kif 847-847 | Czechoslovakia ist ein fall von EuropeanNation %n{nicht} |
| (instance Denmark EuropeanNation) | CountriesAndRegions.kif 316-316 | Denmark ist ein fall von EuropeanNation %n{nicht} |
| (instance Finland EuropeanNation) | CountriesAndRegions.kif 319-319 | Finland ist ein fall von EuropeanNation %n{nicht} |
| (instance France EuropeanNation) | CountriesAndRegions.kif 351-351 | France ist ein fall von EuropeanNation %n{nicht} |
| (instance Germany EuropeanNation) | CountriesAndRegions.kif 280-280 | Germany ist ein fall von EuropeanNation %n{nicht} |
| (instance Greece EuropeanNation) | CountriesAndRegions.kif 332-332 | Greece ist ein fall von EuropeanNation %n{nicht} |
| (instance HolySee EuropeanNation) | CountriesAndRegions.kif 334-334 | HolySee ist ein fall von EuropeanNation %n{nicht} |
| (instance Iceland EuropeanNation) | CountriesAndRegions.kif 321-321 | Iceland ist ein fall von EuropeanNation %n{nicht} |
| (instance Ireland EuropeanNation) | CountriesAndRegions.kif 354-354 | Ireland ist ein fall von EuropeanNation %n{nicht} |
| (instance Italy EuropeanNation) | CountriesAndRegions.kif 336-336 | Italy ist ein fall von EuropeanNation %n{nicht} |
| (instance Malta EuropeanNation) | CountriesAndRegions.kif 338-338 | Malta ist ein fall von EuropeanNation %n{nicht} |
| (instance Monaco EuropeanNation) | CountriesAndRegions.kif 360-360 | Monaco ist ein fall von EuropeanNation %n{nicht} |
| (instance Netherlands EuropeanNation) | CountriesAndRegions.kif 362-362 | Netherlands ist ein fall von EuropeanNation %n{nicht} |
| (instance Norway EuropeanNation) | CountriesAndRegions.kif 324-324 | Norway ist ein fall von EuropeanNation %n{nicht} |
| (instance Poland EuropeanNation) | CountriesAndRegions.kif 286-286 | Poland ist ein fall von EuropeanNation %n{nicht} |
| (instance Portugal EuropeanNation) | CountriesAndRegions.kif 394-394 | Portugal ist ein fall von EuropeanNation %n{nicht} |
| (instance SanMarino EuropeanNation) | CountriesAndRegions.kif 340-340 | SanMarino ist ein fall von EuropeanNation %n{nicht} |
| (instance SovietUnion EuropeanNation) | CountriesAndRegions.kif 80-80 | SovietUnion ist ein fall von EuropeanNation %n{nicht} |
| (instance Spain EuropeanNation) | CountriesAndRegions.kif 396-396 | Spain ist ein fall von EuropeanNation %n{nicht} |
| (instance Sweden EuropeanNation) | CountriesAndRegions.kif 327-327 | Sweden ist ein fall von EuropeanNation %n{nicht} |
| (instance Switzerland EuropeanNation) | CountriesAndRegions.kif 292-292 | Switzerland ist ein fall von EuropeanNation %n{nicht} |
| (instance UnitedKingdom EuropeanNation) | CountriesAndRegions.kif 364-364 | UnitedKingdom ist ein fall von EuropeanNation %n{nicht} |
| (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 ist ein fall von EuropeanNation %n{nicht} und TimePosition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** TimePosition %n{nicht} |
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation))) |
Media.kif 2528-2531 | TimePosition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von EuropeanNation %n{nicht} haelt waehrend nach ** TimePosition %n{nicht} |
|
|
|
