| City(city)
| | Aachen, Aalst, Aberdare, Aberdeen, Abidjan, Abilene, Abu_Dhabi, Abuja, Abydos, Accra, Acragas, Actium, Adelaide, Adrianople, Adrianopolis, Agra, Agrigento, Aix-la-Chapelle, Akaba, Aken, Akron, Al_Aqabah, Al_Madinah, Albanian_capital, Albany, Albuquerque, Alep, Aleppo, Alexandria, Algerian_capital, Algiers, Allentown, Alma-Ata, Almaty, Altoona, Amarillo, Amman, Amsterdam, Anaheim, Anchorage, Ann_Arbor, Annapolis, Antakiya, Antakya, Antananarivo, Antioch, Anzio, Apeldoorn, Apia, Appleton... |
| appearance as argument number 1 |
|
|
| s__documentation(s__City,s__ChineseLanguage,'"这是一处地方相对小、由一个社区的人居住，并拥有某种政治架构的 LandArea。注：这个类别包括大城市和小规模的聚居处，如城镇、乡村和小村庄等等。"')
|
chinese_format.kif 3350-3351 | |
| s__documentation(s__City,s__EnglishLanguage,'"A LandArea of relatively small size, inhabited by a community of people, and having some sort of political structure. Note that this class includes both large cities and small settlements like towns, villages, hamlets, etc."')
|
Merge.kif 13608-13611 | |
| s__externalImage(s__City,'"http://upload.wikimedia.org/wikipedia/commons/3/3b/ Werle.gif"')
|
pictureList.kif 193-193 | |
| s__externalImage(s__City,'"http://upload.wikimedia.org/wikipedia/commons/6/6f/ Chicago_Downtown_Aerial_View.jpg"')
|
pictureList.kif 854-854 | |
| s__instance(s__GeopoliticalArea,s__SetOrClass) s__instance(s__City,s__SetOrClass) s__subclass(s__City,s__GeopoliticalArea)
|
Merge.kif 13606-13606 | City is a subclass of geopolitical area |
| s__instance(s__LandArea,s__SetOrClass) s__subclass(s__City,s__LandArea) s__instance(s__City,s__SetOrClass)
|
Merge.kif 13607-13607 | City is a subclass of land area |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__StreetAddressFn__m,n__3,s__City)
|
Mid-level-ontology.kif 6345-6345 | The number 3 argument of street address is an instance of city |
| s__domain(s__capitalCity__m,n__1,s__City)
|
Government.kif 363-363 | The number 1 argument of capital city is an instance of city |
| s__domain(s__postCity__m,n__2,s__City)
|
Mid-level-ontology.kif 23775-23775 | The number 2 argument of postCity is an instance of city |
| antecedent |
|
|
| consequent |
|
|
| ( ! [V__DISTRICT] : (((s__instance(V__DISTRICT,s__CityDistrict) => ( ? [V__CITY] : ((s__instance(V__CITY,s__City) & s__geopoliticalSubdivision(V__DISTRICT,V__CITY))))) & (( ? [V__CITY] : ((s__instance(V__CITY,s__City) & s__geopoliticalSubdivision(V__DISTRICT,V__CITY)))) => s__instance(V__DISTRICT,s__CityDistrict))) ) )
|
Mid-level-ontology.kif 7725-7730 | A geopolitical area is an instance of city district if and only if there exists another geopolitical area such that the other geopolitical area is an instance of city and the geopolitical area is a geopolitical part of the other geopolitical area |
| ( ! [V__A,V__H] : (((s__instance(V__A,s__GeopoliticalArea) & s__instance(V__H,s__Human)) => ((s__headOfGovernment(V__A,s__Mayor,V__H) => (s__instance(V__A,s__City))))) ) )
|
Government.kif 1626-1628 |
|
| ( ! [V__B] : ((s__instance(V__B,s__CityBlock) => (( ? [V__C] : ((s__instance(V__C,s__City) & s__part(V__B,V__C)))))) ) )
|
Mid-level-ontology.kif 7800-7805 |
|
|
|
|