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 10006-10006 | |
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Aftnn_The_Seine_from_the_Eiffel_Tower.jpg") | pictureList.kif 10971-10971 | |
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ 442px_-_London_Lead_Image.jpg") | pictureList.kif 10972-10972 | |
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Cityscapeberlin2006.JPG") | pictureList.kif 10973-10973 | |
(subclass EuropeanCity City) | CountriesAndRegions.kif 47-47 | 欧洲城市 是 城市 的 subclass |
appearance as argument number 2 |
(instance BerlinGermany EuropeanCity) | CountriesAndRegions.kif 716-716 | 柏林,德国 是 欧洲城市 的 instance |
(instance BernSwitzerland EuropeanCity) | CountriesAndRegions.kif 720-720 | 伯尔尼瑞士 是 欧洲城市 的 instance |
(instance CopenhagenDenmark EuropeanCity) | CountriesAndRegions.kif 843-843 | 哥本哈根丹麦 是 欧洲城市 的 instance |
(instance LondonUnitedKingdom EuropeanCity) | CountriesAndRegions.kif 69-69 | 伦敦 是 欧洲城市 的 instance |
(instance Paris EuropeanCity) | CountriesAndRegions.kif 54-54 | 巴黎 是 欧洲城市 的 instance |
(instance RomeItaly EuropeanCity) | CountriesAndRegions.kif 778-778 | 意大利罗马 是 欧洲城市 的 instance |
(instance WarsawPoland EuropeanCity) | CountriesAndRegions.kif 801-801 | 华沙波兰 是 欧洲城市 的 instance |
(termFormat ChineseLanguage EuropeanCity "欧洲城市") | domainEnglishFormat.kif 22546-22546 | |
(termFormat ChineseTraditionalLanguage EuropeanCity "歐洲城市") | domainEnglishFormat.kif 22545-22545 | |
(termFormat EnglishLanguage EuropeanCity "european city") | domainEnglishFormat.kif 22544-22544 |
antecedent |
(=> (instance ?CITY EuropeanCity) (part ?CITY Europe)) |
CountriesAndRegions.kif 50-52 |