| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3350-3351 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13999-14002 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 193-193 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 854-854 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13997-13997 | City is a subclass of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13998-13998 | City is a subclass of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1392-1392 | Adana turkey is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1394-1394 | Addis ababa ethiopia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1396-1396 | Aden yemen is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1398-1398 | Adora west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1400-1400 | Afula israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1402-1402 | Agri turkey is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1404-1404 | Ain defla algeria is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1406-1406 | Ain el hajar algeria is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1408-1408 | Ajaccio france is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1410-1410 | Al balamand lebanon is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1412-1412 | Alei sinai gaza strip is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1414-1414 | Alei zahav west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1416-1416 | Aley lebanon is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1418-1418 | Algiers algeria is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1420-1420 | Alkhan yurt russia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1422-1422 | Alon moreh west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1424-1424 | Ambon indonesia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1426-1426 | Amman jordan is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1428-1428 | An nuwaydirat bahrain is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1430-1430 | Andean spain is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1432-1432 | Angkor wat cambodia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1434-1434 | Ankara turkey is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1436-1436 | Antalya turkey is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1438-1438 | Antioquia colombia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1440-1440 | Antwerp belgium is an instance of city |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6373-6373 | The number 3 argument of street address is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 375-375 | The number 1 argument of capital city is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24131-24131 | The number 2 argument of postCity is an instance of city |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24137-24142 | A PostalPlace is located at a city and the PostalPlace is an instance of PostalPlace and the city is an instance of city if and only if the PostalPlace is in the city |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7940-7942 | A geopolitical area is an instance of city if and only if the government of the geopolitical area is an instance of city government |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25981-25989 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4667-4672 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 59-65 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24057-24062 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24171-24176 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7753-7758 | 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 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1637-1639 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7828-7833 |
|
|
|
|