|
|
   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 è una sottoclasse di Nazione |
| appearance as argument number 2 |
|
|
| 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 è un' istanza di EuropeanNation PosizioneTemporale è un' istanza di il giorno 5 vales durante dopo PosizioneTemporale |
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation))) |
Media.kif 2528-2531 | PosizioneTemporale è un' istanza di il giorno 3 Montenegro è un' istanza di EuropeanNation vales durante dopo PosizioneTemporale |
|
|
|
