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 14268-14271
(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 853-853
(subclass City GeopoliticalArea) Merge.kif 14266-14266 都市地政学的地域subclass では %n
(subclass City LandArea) Merge.kif 14267-14267 都市土地面積subclass では %n

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


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

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 6708-6708 StreetAddressFn の数値 3 引数は 都市instance では %n
(domain capitalCity 1 City) Government.kif 375-375 capitalCity の数値 1 引数は 都市instance では %n
(domain postCity 2 City) Mid-level-ontology.kif 24756-24756 postCity の数値 2 引数は 都市instance では %n

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 24762-24767 PostalPlace 都市located して %n PostalPlacePostalPlaceinstance では %n 都市都市instance では %n postCity PostalPlace and 都市
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))
Mid-level-ontology.kif 8332-8334 地政学的地域都市instance では %n 地政学的地域governmentCityGovernmentinstance では %n
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))
Mid-level-ontology.kif 26582-26590
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))
Government.kif 4675-4680
(=>
    (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 24682-24687
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 24796-24801

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


(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))
Mid-level-ontology.kif 8079-8084 地政学的地域CityDistrictinstance では %n 地政学的地域 地政学的地域都市instance では %n 地政学的地域 地政学的地域geopolitical 部分では %n
(=>
    (headOfGovernment ?A Mayor ?H)
    (instance ?A City))
Government.kif 1640-1642
(=>
    (instance ?B CityBlock)
    (exists (?C)
        (and
            (instance ?C City)
            (part ?B ?C))))
Mid-level-ontology.kif 8220-8225


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