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

Formal Language: 



KB Term:  Term intersection
English Word: 

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