|
|
  truth
|
|
|
| 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 | 城市 是 地缘政治区域 的 subclass |
| (subclass City LandArea) | Merge.kif 14291-14291 | 城市 是 土地面积 的 subclass |
| appearance as argument number 2 |
|
|
| (instance AdanaTurkey City) | CountriesAndRegions.kif 1392-1392 | 阿达纳土耳其 是 城市 的 instance |
| (instance AddisAbabaEthiopia City) | CountriesAndRegions.kif 1394-1394 | 亚的斯亚贝巴埃塞俄比亚 是 城市 的 instance |
| (instance AdenYemen City) | CountriesAndRegions.kif 1396-1396 | 腺也门 是 城市 的 instance |
| (instance AdoraWestBank City) | CountriesAndRegions.kif 1398-1398 | 阿多拉西岸 是 城市 的 instance |
| (instance AfulaIsrael City) | CountriesAndRegions.kif 1400-1400 | 阿富拉以色列 是 城市 的 instance |
| (instance AgriTurkey City) | CountriesAndRegions.kif 1402-1402 | 阿格里土耳其 是 城市 的 instance |
| (instance AinDeflaAlgeria City) | CountriesAndRegions.kif 1404-1404 | Ain defla 阿尔及利亚 是 城市 的 instance |
| (instance AinElHajarAlgeria City) | CountriesAndRegions.kif 1406-1406 | Ain el hajar 阿尔及利亚 是 城市 的 instance |
| (instance AjaccioFrance City) | CountriesAndRegions.kif 1408-1408 | Ajaccio 法国 是 城市 的 instance |
| (instance AlBalamandLebanon City) | CountriesAndRegions.kif 1410-1410 | Al balamand 黎巴嫩 是 城市 的 instance |
| (instance AleiSinaiGazaStrip City) | CountriesAndRegions.kif 1412-1412 | Alei sinai 加沙地帶 是 城市 的 instance |
| (instance AleiZahavWestBank City) | CountriesAndRegions.kif 1414-1414 | Alei zahav 西方银行 是 城市 的 instance |
| (instance AleyLebanon City) | CountriesAndRegions.kif 1416-1416 | 阿莱黎巴嫩 是 城市 的 instance |
| (instance AlgiersAlgeria City) | CountriesAndRegions.kif 1418-1418 | 阿尔及尔，阿尔及利亚 是 城市 的 instance |
| (instance AlkhanYurtRussia City) | CountriesAndRegions.kif 1420-1420 | 烷烃蒙古包俄罗斯 是 城市 的 instance |
| (instance AlonMorehWestBank City) | CountriesAndRegions.kif 1422-1422 | Alon 是 城市 的 instance |
| (instance AmbonIndonesia City) | CountriesAndRegions.kif 1424-1424 | 安汶印度尼西亚 是 城市 的 instance |
| (instance AmmanJordan City) | CountriesAndRegions.kif 1426-1426 | 安曼，约旦 是 城市 的 instance |
| (instance AnNuwaydiratBahrain City) | CountriesAndRegions.kif 1428-1428 | 一个 nuwaydirat 巴林 是 城市 的 instance |
| (instance AndeanSpain City) | CountriesAndRegions.kif 1430-1430 | 安第斯西班牙 是 城市 的 instance |
| (instance AngkorWatCambodia City) | CountriesAndRegions.kif 1432-1432 | 吴哥窟柬埔寨 是 城市 的 instance |
| (instance AnkaraTurkey City) | CountriesAndRegions.kif 1434-1434 | 安卡拉土耳其 是 城市 的 instance |
| (instance AntalyaTurkey City) | CountriesAndRegions.kif 1436-1436 | 安塔利亚土耳其 是 城市 的 instance |
| (instance AntioquiaColombia City) | CountriesAndRegions.kif 1438-1438 | Antioquia 哥伦比亚 是 城市 的 instance |
| (instance AntwerpBelgium City) | CountriesAndRegions.kif 1440-1440 | 安特卫普比利时 是 城市 的 instance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain StreetAddressFn 3 City) | Mid-level-ontology.kif 6703-6703 | 街道地址 的 3 数量 是 城市 的 instance |
| (domain capitalCity 1 City) | Government.kif 375-375 | 首都 的 1 数量 是 城市 的 instance |
| (domain postCity 2 City) | Mid-level-ontology.kif 25045-25045 | postCity 的 2 数量 是 城市 的 instance |
| antecedent |
|
|
| consequent |
|
|
| (<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8298-8303 | 地缘政治区域 是 市区 的 instance 若且唯若 有存在 另一个 地缘政治区域 这样 那个 另外 地缘政治区域 是 城市 的 instance 和 那个 地缘政治区域 是 那个 另外 地缘政治区域 的地缘政治部分 |
| (=> (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 8439-8444 |
|
|
|
