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
-------------------------


(documentation City ChineseLanguage "这是一处地方相对小、由一个社区的人居住,并拥有某种政治架构的 LandArea。注:这个类别包括大城市和小规模的聚居处,如城镇、乡村和小村庄等等。") Merge.kif 14279-14280
(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 14275-14278
(externalImage City "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Werle.gif") pictureList.kif 193-193 "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Werle.gif" is a URL depicting city
(externalImage City "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Chicago_Downtown_Aerial_View.jpg") pictureList.kif 854-854 "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Chicago_Downtown_Aerial_View.jpg" is a URL depicting city
(subclass City GeopoliticalArea) Merge.kif 14273-14273 City is a subclass of geopolitical area
(subclass City LandArea) Merge.kif 14274-14274 City is a subclass of land area

appearance as argument number 2
-------------------------


(instance AdanaTurkey City) CountriesAndRegions.kif 1392-1392 Adana turkey is an instance of city
(instance AddisAbabaEthiopia City) CountriesAndRegions.kif 1394-1394 Addis ababa ethiopia is an instance of city
(instance AdenYemen City) CountriesAndRegions.kif 1396-1396 Aden yemen is an instance of city
(instance AdoraWestBank City) CountriesAndRegions.kif 1398-1398 Adora west bank is an instance of city
(instance AfulaIsrael City) CountriesAndRegions.kif 1400-1400 Afula israel is an instance of city
(instance AgriTurkey City) CountriesAndRegions.kif 1402-1402 Agri turkey is an instance of city
(instance AinDeflaAlgeria City) CountriesAndRegions.kif 1404-1404 Ain defla algeria is an instance of city
(instance AinElHajarAlgeria City) CountriesAndRegions.kif 1406-1406 Ain el hajar algeria is an instance of city
(instance AjaccioFrance City) CountriesAndRegions.kif 1408-1408 Ajaccio france is an instance of city
(instance AlBalamandLebanon City) CountriesAndRegions.kif 1410-1410 Al balamand lebanon is an instance of city
(instance AleiSinaiGazaStrip City) CountriesAndRegions.kif 1412-1412 Alei sinai gaza strip is an instance of city
(instance AleiZahavWestBank City) CountriesAndRegions.kif 1414-1414 Alei zahav west bank is an instance of city
(instance AleyLebanon City) CountriesAndRegions.kif 1416-1416 Aley lebanon is an instance of city
(instance AlgiersAlgeria City) CountriesAndRegions.kif 1418-1418 Algiers algeria is an instance of city
(instance AlkhanYurtRussia City) CountriesAndRegions.kif 1420-1420 Alkhan yurt russia is an instance of city
(instance AlonMorehWestBank City) CountriesAndRegions.kif 1422-1422 Alon moreh west bank is an instance of city
(instance AmbonIndonesia City) CountriesAndRegions.kif 1424-1424 Ambon indonesia is an instance of city
(instance AmmanJordan City) CountriesAndRegions.kif 1426-1426 Amman jordan is an instance of city
(instance AnNuwaydiratBahrain City) CountriesAndRegions.kif 1428-1428 An nuwaydirat bahrain is an instance of city
(instance AndeanSpain City) CountriesAndRegions.kif 1430-1430 Andean spain is an instance of city
(instance AngkorWatCambodia City) CountriesAndRegions.kif 1432-1432 Angkor wat cambodia is an instance of city
(instance AnkaraTurkey City) CountriesAndRegions.kif 1434-1434 Ankara turkey is an instance of city
(instance AntalyaTurkey City) CountriesAndRegions.kif 1436-1436 Antalya turkey is an instance of city
(instance AntioquiaColombia City) CountriesAndRegions.kif 1438-1438 Antioquia colombia is an instance of city
(instance AntwerpBelgium City) 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
-------------------------


(domain StreetAddressFn 3 City) Mid-level-ontology.kif 6370-6370 The number 3 argument of street address is an instance of city
(domain capitalCity 1 City) Government.kif 363-363 The number 1 argument of capital city is an instance of city
(domain postCity 2 City) Mid-level-ontology.kif 22551-22551 The number 2 argument of postCity is an instance of city

antecedent
-------------------------


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22557-22562 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
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))
Mid-level-ontology.kif 8036-8038 A geopolitical area is an instance of city if and only if the government of the geopolitical area is an instance of city government
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))
Mid-level-ontology.kif 24700-24708
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))
Government.kif 4612-4616
(=>
    (and
        (instance ?CITY City)
        (part ?CITY France))
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn Paris))))
CountriesAndRegions.kif 59-65
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 22477-22482
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 22591-22596

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


(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))
Mid-level-ontology.kif 7819-7824 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
(=>
    (headOfGovernment ?A Mayor ?H)
    (instance ?A City))
Government.kif 1600-1602
(=>
    (instance ?B CityBlock)
    (exists (?C)
        (and
            (instance ?C City)
            (part ?B ?C))))
Mid-level-ontology.kif 7894-7899


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