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 14292-14295 | |
(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 853-853 | |
(subclass City GeopoliticalArea) | Merge.kif 14290-14290 | Cidade e' uma sub-classe de Area Geopolitica |
(subclass City LandArea) | Merge.kif 14291-14291 | Cidade e' uma sub-classe de Area terrestre |
appearance as argument number 2 |
appearance as argument number 3 |
(domain StreetAddressFn 3 City) | Mid-level-ontology.kif 6703-6703 | O argumento numero 3 de StreetAddressFn e' uma instancia de Cidade |
(domain capitalCity 1 City) | Government.kif 375-375 | O argumento numero 1 de capitalCity e' uma instancia de Cidade |
(domain postCity 2 City) | Mid-level-ontology.kif 24814-24814 | O argumento numero 2 de postCity e' uma instancia de Cidade |
antecedent |
consequent |
(<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8107-8112 | Area Geopolitica e' uma instancia de CityDistrict Area Geopolitica Area Geopolitica e' uma instancia de Cidade sub-divisao geopolitica |
(=> (headOfGovernment ?A Mayor ?H) (instance ?A City)) |
Government.kif 1604-1606 |
|
(=> (instance ?B CityBlock) (exists (?C) (and (instance ?C City) (part ?B ?C)))) |
Mid-level-ontology.kif 8248-8253 |