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 14246-14249 | |
(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 14244-14244 | City ist eine teilkategorie von GeopoliticalArea |
(subclass City LandArea) | Merge.kif 14245-14245 | City ist eine teilkategorie von LandArea |
appearance as argument number 2 |
(instance AdanaTurkey City) | CountriesAndRegions.kif 1392-1392 | AdanaTurkey ist ein fall von City %n{nicht} |
(instance AddisAbabaEthiopia City) | CountriesAndRegions.kif 1394-1394 | AddisAbabaEthiopia ist ein fall von City %n{nicht} |
(instance AdenYemen City) | CountriesAndRegions.kif 1396-1396 | AdenYemen ist ein fall von City %n{nicht} |
(instance AdoraWestBank City) | CountriesAndRegions.kif 1398-1398 | AdoraWestBank ist ein fall von City %n{nicht} |
(instance AfulaIsrael City) | CountriesAndRegions.kif 1400-1400 | AfulaIsrael ist ein fall von City %n{nicht} |
(instance AgriTurkey City) | CountriesAndRegions.kif 1402-1402 | AgriTurkey ist ein fall von City %n{nicht} |
(instance AinDeflaAlgeria City) | CountriesAndRegions.kif 1404-1404 | AinDeflaAlgeria ist ein fall von City %n{nicht} |
(instance AinElHajarAlgeria City) | CountriesAndRegions.kif 1406-1406 | AinElHajarAlgeria ist ein fall von City %n{nicht} |
(instance AjaccioFrance City) | CountriesAndRegions.kif 1408-1408 | AjaccioFrance ist ein fall von City %n{nicht} |
(instance AlBalamandLebanon City) | CountriesAndRegions.kif 1410-1410 | AlBalamandLebanon ist ein fall von City %n{nicht} |
(instance AleiSinaiGazaStrip City) | CountriesAndRegions.kif 1412-1412 | AleiSinaiGazaStrip ist ein fall von City %n{nicht} |
(instance AleiZahavWestBank City) | CountriesAndRegions.kif 1414-1414 | AleiZahavWestBank ist ein fall von City %n{nicht} |
(instance AleyLebanon City) | CountriesAndRegions.kif 1416-1416 | AleyLebanon ist ein fall von City %n{nicht} |
(instance AlgiersAlgeria City) | CountriesAndRegions.kif 1418-1418 | AlgiersAlgeria ist ein fall von City %n{nicht} |
(instance AlkhanYurtRussia City) | CountriesAndRegions.kif 1420-1420 | AlkhanYurtRussia ist ein fall von City %n{nicht} |
(instance AlonMorehWestBank City) | CountriesAndRegions.kif 1422-1422 | AlonMorehWestBank ist ein fall von City %n{nicht} |
(instance AmbonIndonesia City) | CountriesAndRegions.kif 1424-1424 | AmbonIndonesia ist ein fall von City %n{nicht} |
(instance AmmanJordan City) | CountriesAndRegions.kif 1426-1426 | AmmanJordan ist ein fall von City %n{nicht} |
(instance AnNuwaydiratBahrain City) | CountriesAndRegions.kif 1428-1428 | AnNuwaydiratBahrain ist ein fall von City %n{nicht} |
(instance AndeanSpain City) | CountriesAndRegions.kif 1430-1430 | AndeanSpain ist ein fall von City %n{nicht} |
(instance AngkorWatCambodia City) | CountriesAndRegions.kif 1432-1432 | AngkorWatCambodia ist ein fall von City %n{nicht} |
(instance AnkaraTurkey City) | CountriesAndRegions.kif 1434-1434 | AnkaraTurkey ist ein fall von City %n{nicht} |
(instance AntalyaTurkey City) | CountriesAndRegions.kif 1436-1436 | AntalyaTurkey ist ein fall von City %n{nicht} |
(instance AntioquiaColombia City) | CountriesAndRegions.kif 1438-1438 | AntioquiaColombia ist ein fall von City %n{nicht} |
(instance AntwerpBelgium City) | CountriesAndRegions.kif 1440-1440 | AntwerpBelgium ist ein fall von City %n{nicht} |
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 6709-6709 | Die Zahl 3 Argument von StreetAddressFn ist ein fall von City %n{nicht} |
(domain capitalCity 1 City) | Government.kif 375-375 | Die Zahl 1 Argument von capitalCity ist ein fall von City %n{nicht} |
(domain postCity 2 City) | Mid-level-ontology.kif 24757-24757 | Die Zahl 2 Argument von postCity ist ein fall von City %n{nicht} |
antecedent |
consequent |
(<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8080-8085 | GeopoliticalArea ist ein fall von CityDistrict %n{nicht} genau dann wenn es gibt ** GeopoliticalArea um ** ** GeopoliticalArea ist ein fall von City %n{nicht} und geopoliticalSubdivision ** GeopoliticalArea and ** ** GeopoliticalArea |
(=> (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 8221-8226 |
|