|
|
   City
|
|
|
| appearance as argument number 1 |
|
|
| (documentation City ChineseLanguage "这是一处地方相对小、由一个社区的人居住，并拥有某种政治架构的 LandArea。注：这个类别包括大城市和小规模的聚居处，如城镇、乡村和小村庄等等。") | chinese_format.kif 3350-3351 | |
| (documentation City 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 14105-14108 | |
| (externalImage City "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Werle.gif") | pictureList.kif 193-193 | |
| (externalImage City "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Chicago_Downtown_Aerial_View.jpg") | pictureList.kif 854-854 | |
| (subclass City GeopoliticalArea) | Merge.kif 14103-14103 | subclass City and GeopoliticalArea |
| (subclass City LandArea) | Merge.kif 14104-14104 | subclass City and LandArea |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain StreetAddressFn 3 City) | Mid-level-ontology.kif 6669-6669 | domain StreetAddressFn, 3 and City |
| (domain capitalCity 1 City) | Government.kif 375-375 | domain capitalCity, 1 and City |
| (domain postCity 2 City) | Mid-level-ontology.kif 24648-24648 | domain postCity, 2 and City |
| antecedent |
|
|
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO)) |
Mid-level-ontology.kif 24654-24659 | located PostalPlace and City instance PostalPlace and PostalPlace instance City and City postCity PostalPlace and City |
| (<=> (instance ?C City) (instance (GovernmentFn ?C) CityGovernment)) |
Mid-level-ontology.kif 8293-8295 | instance GeopoliticalArea and City instance GeopoliticalArea の government and CityGovernment |
| (=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X)))) |
Mid-level-ontology.kif 26503-26511 | |
| (=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4675-4680 | |
| (=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris)))) |
CountriesAndRegions.kif 59-65 | |
| (=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 24574-24579 | |
| (=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 24688-24693 |
| consequent |
|
|
| (<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8040-8045 | instance GeopoliticalArea and CityDistrict GeopoliticalArea instance GeopoliticalArea and City GeopoliticalArea は GeopoliticalArea の geopolitical 部分では %n |
| (=> (headOfGovernment ?A Mayor ?H) (instance ?A City)) |
Government.kif 1640-1642 | |
| (=> (instance ?B CityBlock) (exists (?C) (and (instance ?C City) (part ?B ?C)))) |
Mid-level-ontology.kif 8181-8186 |
|
|
|
