| EuropeanCity
|
| appearance as argument number 1 |
|
| (documentation EuropeanCity EnglishLanguage "The class of cities that are in Europe.") | CountriesAndRegions.kif 48-48 | |
| (externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ European_flag_in_the_wind.jpg") | pictureList.kif 10004-10004 | |
| (externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Aftnn_The_Seine_from_the_Eiffel_Tower.jpg") | pictureList.kif 10964-10964 | |
| (externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ 442px_-_London_Lead_Image.jpg") | pictureList.kif 10965-10965 | |
| (externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Cityscapeberlin2006.JPG") | pictureList.kif 10966-10966 | |
| (subclass EuropeanCity City) | CountriesAndRegions.kif 47-47 |
| appearance as argument number 2 |
|
|
| (instance BerlinGermany EuropeanCity) | CountriesAndRegions.kif 716-716 | |
| (instance BernSwitzerland EuropeanCity) | CountriesAndRegions.kif 720-720 | |
| (instance CopenhagenDenmark EuropeanCity) | CountriesAndRegions.kif 843-843 | |
| (instance LondonUnitedKingdom EuropeanCity) | CountriesAndRegions.kif 69-69 | |
| (instance Paris EuropeanCity) | CountriesAndRegions.kif 54-54 | |
| (instance RomeItaly EuropeanCity) | CountriesAndRegions.kif 778-778 | |
| (instance WarsawPoland EuropeanCity) | CountriesAndRegions.kif 801-801 | |
| (termFormat ChineseLanguage EuropeanCity "欧洲城市") | domainEnglishFormat.kif 22558-22558 | |
| (termFormat ChineseTraditionalLanguage EuropeanCity "歐洲城市") | domainEnglishFormat.kif 22557-22557 | |
| (termFormat EnglishLanguage EuropeanCity "european city") | domainEnglishFormat.kif 22556-22556 |
| antecedent |
|
|
| (=> (instance ?CITY EuropeanCity) (part ?CITY Europe)) |
CountriesAndRegions.kif 50-52 |
|
|
|