Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - City
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 13107-13110
No TPTP formula. May not be expressible in strict first order. pictureList.kif 193-193 "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Werle.gif" is a URL depicting city
No TPTP formula. May not be expressible in strict first order. pictureList.kif 854-854 "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Chicago_Downtown_Aerial_View.jpg" is a URL depicting city
No TPTP formula. May not be expressible in strict first order. Merge.kif 13105-13105 City is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13106-13106 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 6369-6369 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 363-363 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 22552-22552 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 22558-22563 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 8037-8039 A geopolitical area is an instance of city if and only if the geopolitical areagovernment is an instance of city government
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24701-24709
No TPTP formula. May not be expressible in strict first order. Government.kif 4606-4611
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 22478-22483
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22592-22597

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7820-7825 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 areathe other geopolitical areageopolitical 部分では %n
No TPTP formula. May not be expressible in strict first order. Government.kif 1594-1596
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7895-7900


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners