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

Formal Language: 



KB Term:  Term intersection
English Word: 

  City

Sigma KEE - City
City

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
(externalImage City "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Chicago_Downtown_Aerial_View.jpg") pictureList.kif 854-854
(subclass City GeopoliticalArea) Merge.kif 14273-14273
(subclass City LandArea) Merge.kif 14274-14274

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


(instance AdanaTurkey City) CountriesAndRegions.kif 1392-1392
(instance AddisAbabaEthiopia City) CountriesAndRegions.kif 1394-1394
(instance AdenYemen City) CountriesAndRegions.kif 1396-1396
(instance AdoraWestBank City) CountriesAndRegions.kif 1398-1398
(instance AfulaIsrael City) CountriesAndRegions.kif 1400-1400
(instance AgriTurkey City) CountriesAndRegions.kif 1402-1402
(instance AinDeflaAlgeria City) CountriesAndRegions.kif 1404-1404
(instance AinElHajarAlgeria City) CountriesAndRegions.kif 1406-1406
(instance AjaccioFrance City) CountriesAndRegions.kif 1408-1408
(instance AlBalamandLebanon City) CountriesAndRegions.kif 1410-1410
(instance AleiSinaiGazaStrip City) CountriesAndRegions.kif 1412-1412
(instance AleiZahavWestBank City) CountriesAndRegions.kif 1414-1414
(instance AleyLebanon City) CountriesAndRegions.kif 1416-1416
(instance AlgiersAlgeria City) CountriesAndRegions.kif 1418-1418
(instance AlkhanYurtRussia City) CountriesAndRegions.kif 1420-1420
(instance AlonMorehWestBank City) CountriesAndRegions.kif 1422-1422
(instance AmbonIndonesia City) CountriesAndRegions.kif 1424-1424
(instance AmmanJordan City) CountriesAndRegions.kif 1426-1426
(instance AnNuwaydiratBahrain City) CountriesAndRegions.kif 1428-1428
(instance AndeanSpain City) CountriesAndRegions.kif 1430-1430
(instance AngkorWatCambodia City) CountriesAndRegions.kif 1432-1432
(instance AnkaraTurkey City) CountriesAndRegions.kif 1434-1434
(instance AntalyaTurkey City) CountriesAndRegions.kif 1436-1436
(instance AntioquiaColombia City) CountriesAndRegions.kif 1438-1438
(instance AntwerpBelgium City) CountriesAndRegions.kif 1440-1440

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
(domain capitalCity 1 City) Government.kif 363-363
(domain postCity 2 City) Mid-level-ontology.kif 22551-22551

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22557-22562
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))
Mid-level-ontology.kif 8036-8038
(=>
    (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
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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