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。注:这个类别包括大城市和小规模的聚居处,如城镇、乡村和小村庄等等。") chinese_format.kif 3350-3351
(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 13107-13110
(externalImage City "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Werle.gif") pictureList.kif 193-193 externalImage City and "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Werle.gif"
(externalImage City "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Chicago_Downtown_Aerial_View.jpg") pictureList.kif 854-854 externalImage City and "http://upload.wikimedia.org/wikipedia/commons/6/6f/ Chicago_Downtown_Aerial_View.jpg"
(subclass City GeopoliticalArea) Merge.kif 13105-13105 subclass City and GeopoliticalArea
(subclass City LandArea) Merge.kif 13106-13106 subclass City and LandArea

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


(instance AdanaTurkey City) CountriesAndRegions.kif 1392-1392 instance AdanaTurkey and City
(instance AddisAbabaEthiopia City) CountriesAndRegions.kif 1394-1394 instance AddisAbabaEthiopia and City
(instance AdenYemen City) CountriesAndRegions.kif 1396-1396 instance AdenYemen and City
(instance AdoraWestBank City) CountriesAndRegions.kif 1398-1398 instance AdoraWestBank and City
(instance AfulaIsrael City) CountriesAndRegions.kif 1400-1400 instance AfulaIsrael and City
(instance AgriTurkey City) CountriesAndRegions.kif 1402-1402 instance AgriTurkey and City
(instance AinDeflaAlgeria City) CountriesAndRegions.kif 1404-1404 instance AinDeflaAlgeria and City
(instance AinElHajarAlgeria City) CountriesAndRegions.kif 1406-1406 instance AinElHajarAlgeria and City
(instance AjaccioFrance City) CountriesAndRegions.kif 1408-1408 instance AjaccioFrance and City
(instance AlBalamandLebanon City) CountriesAndRegions.kif 1410-1410 instance AlBalamandLebanon and City
(instance AleiSinaiGazaStrip City) CountriesAndRegions.kif 1412-1412 instance AleiSinaiGazaStrip and City
(instance AleiZahavWestBank City) CountriesAndRegions.kif 1414-1414 instance AleiZahavWestBank and City
(instance AleyLebanon City) CountriesAndRegions.kif 1416-1416 instance AleyLebanon and City
(instance AlgiersAlgeria City) CountriesAndRegions.kif 1418-1418 instance AlgiersAlgeria and City
(instance AlkhanYurtRussia City) CountriesAndRegions.kif 1420-1420 instance AlkhanYurtRussia and City
(instance AlonMorehWestBank City) CountriesAndRegions.kif 1422-1422 instance AlonMorehWestBank and City
(instance AmbonIndonesia City) CountriesAndRegions.kif 1424-1424 instance AmbonIndonesia and City
(instance AmmanJordan City) CountriesAndRegions.kif 1426-1426 instance AmmanJordan and City
(instance AnNuwaydiratBahrain City) CountriesAndRegions.kif 1428-1428 instance AnNuwaydiratBahrain and City
(instance AndeanSpain City) CountriesAndRegions.kif 1430-1430 instance AndeanSpain and City
(instance AngkorWatCambodia City) CountriesAndRegions.kif 1432-1432 instance AngkorWatCambodia and City
(instance AnkaraTurkey City) CountriesAndRegions.kif 1434-1434 instance AnkaraTurkey and City
(instance AntalyaTurkey City) CountriesAndRegions.kif 1436-1436 instance AntalyaTurkey and City
(instance AntioquiaColombia City) CountriesAndRegions.kif 1438-1438 instance AntioquiaColombia and City
(instance AntwerpBelgium City) CountriesAndRegions.kif 1440-1440 instance AntwerpBelgium and 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 6369-6369 domain StreetAddressFn, 3 and City
(domain capitalCity 1 City) Government.kif 363-363 domain capitalCity, 1 and City
(domain postCity 2 City) Mid-level-ontology.kif 22552-22552 domain postCity, 2 and City

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22558-22563 located PostalPlace and City instance PostalPlace and PostalPlace instance City and City postCity PostalPlace and City
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))
Mid-level-ontology.kif 8037-8039 instance GeopoliticalArea and City instance GovernmentFn GeopoliticalArea and CityGovernment
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))
Mid-level-ontology.kif 24701-24709
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))
Government.kif 4606-4611
(=>
    (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 22478-22483
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 22592-22597

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


(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))
Mid-level-ontology.kif 7820-7825 instance GeopoliticalArea and CityDistrict GeopoliticalArea instance GeopoliticalArea and City geopoliticalSubdivision GeopoliticalArea and GeopoliticalArea
(=>
    (headOfGovernment ?A Mayor ?H)
    (instance ?A City))
Government.kif 1594-1596
(=>
    (instance ?B CityBlock)
    (exists (?C)
        (and
            (instance ?C City)
            (part ?B ?C))))
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