Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass City GeopoliticalArea) Merge.kif 14419-14419 City is a subclass of geopolitical area
(subclass City LandArea) Merge.kif 14420-14420 City is a subclass of land area
(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 14421-14424 City is a subclass of land area
(externalImage City "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Werle.gif") pictureList.kif 193-193 City is a subclass of land area
(externalImage City "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Chicago_Downtown_Aerial_View.jpg") pictureList.kif 853-853 City is a subclass of land area

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


(instance Countries_USA_provinces_Nevada_cities_LasVegas City) ComputingBrands.kif 2384-2384 Las Vegas is an instance of city
(subclass AmericanCity City) CountriesAndRegions.kif 35-35 American city is a subclass of city
(subclass EuropeanCity City) CountriesAndRegions.kif 47-47 European city is a subclass of city
(instance LondonUnitedKingdom City) CountriesAndRegions.kif 67-67 London is an instance of city
(instance MontrealCanada City) CountriesAndRegions.kif 745-745 Montreal canada is an instance of city
(instance MoscowRussia City) CountriesAndRegions.kif 748-748 Moscow russia is an instance of city
(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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


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

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


(=>
    (and
        (instance ?CITY City)
        (part ?CITY France))
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn ParisFrance))))		 CountriesAndRegions.kif 59-65 If X is an instance of city and X is a part of france, then the number of instances in the resident of X is less than or equal to the number of instances in the resident of paris
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))		 Government.kif 4656-4661 If X diplomatic representation type consul general for Y, Z is an instance of city, and equal Y and the government of Z, then X is diplomatic organization type consulate general for Y
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))		 Mid-level-ontology.kif 9579-9581 X is an instance of city if and only if the government of X is an instance of city government
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))		 Mid-level-ontology.kif 27064-27069 If X is in Y, Y is a geographic subregion of Z, and Z is an instance of city, then X is in Z
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 27144-27149 X is located at Y, X is an instance of postal place, Y is an instance of city if, and only if X is in Y
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))		 Mid-level-ontology.kif 27178-27183 If X is in post code Y, Y is a geographic subregion of Z, and Z is an instance of city, then X is in Z
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))		 Mid-level-ontology.kif 29239-29247 If historical is an attribute of X and X is an instance of city, then there exists Y such that Y is an instance of physical, historical is an attribute of Y, and Y is located at X

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


(=>
    (headOfGovernment ?A Mayor ?H)
    (instance ?A City))		 Government.kif 1602-1604 If X is the head of government mayor for Y, then X is an instance of city
(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))		 Mid-level-ontology.kif 9287-9292 X is an instance of city district if, only if there exists Y such that Y is an instance of city, and X is a geopolitical part of Y
(=>
    (instance ?B CityBlock)
    (exists (?C)
        (and
            (instance ?C City)
            (part ?B ?C))))		 Mid-level-ontology.kif 9428-9433 If X is an instance of city block, then there exists Y such that Y is an instance of city and X is a part of Y
(=>
    (instance ?T BusinessTrip)
    (exists (?Destination)
        (and
            (instance ?Destination City)
            (destination ?BT ?Destination))))		 TravelPolicies.kif 711-716 If X is an instance of BusinessTrip, then there exists Y such that Y is an instance of city and Z ends up at Y


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 3.0 is open source software produced by Articulate Software and its partners