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

Formal Language: 



KB Term:  Term intersection
English Word: 

  truth

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 14292-14295
(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 14290-14290 城市地缘政治区域subclass
(subclass City LandArea) Merge.kif 14291-14291 城市土地面积subclass

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


(instance AdanaTurkey City) CountriesAndRegions.kif 1392-1392 阿达纳土耳其城市instance
(instance AddisAbabaEthiopia City) CountriesAndRegions.kif 1394-1394 亚的斯亚贝巴埃塞俄比亚城市instance
(instance AdenYemen City) CountriesAndRegions.kif 1396-1396 腺也门城市instance
(instance AdoraWestBank City) CountriesAndRegions.kif 1398-1398 阿多拉西岸城市instance
(instance AfulaIsrael City) CountriesAndRegions.kif 1400-1400 阿富拉以色列城市instance
(instance AgriTurkey City) CountriesAndRegions.kif 1402-1402 阿格里土耳其城市instance
(instance AinDeflaAlgeria City) CountriesAndRegions.kif 1404-1404 Ain defla 阿尔及利亚城市instance
(instance AinElHajarAlgeria City) CountriesAndRegions.kif 1406-1406 Ain el hajar 阿尔及利亚城市instance
(instance AjaccioFrance City) CountriesAndRegions.kif 1408-1408 Ajaccio 法国城市instance
(instance AlBalamandLebanon City) CountriesAndRegions.kif 1410-1410 Al balamand 黎巴嫩城市instance
(instance AleiSinaiGazaStrip City) CountriesAndRegions.kif 1412-1412 Alei sinai 加沙地帶城市instance
(instance AleiZahavWestBank City) CountriesAndRegions.kif 1414-1414 Alei zahav 西方银行城市instance
(instance AleyLebanon City) CountriesAndRegions.kif 1416-1416 阿莱黎巴嫩城市instance
(instance AlgiersAlgeria City) CountriesAndRegions.kif 1418-1418 阿尔及尔,阿尔及利亚城市instance
(instance AlkhanYurtRussia City) CountriesAndRegions.kif 1420-1420 烷烃蒙古包俄罗斯城市instance
(instance AlonMorehWestBank City) CountriesAndRegions.kif 1422-1422 Alon城市instance
(instance AmbonIndonesia City) CountriesAndRegions.kif 1424-1424 安汶印度尼西亚城市instance
(instance AmmanJordan City) CountriesAndRegions.kif 1426-1426 安曼,约旦城市instance
(instance AnNuwaydiratBahrain City) CountriesAndRegions.kif 1428-1428 一个 nuwaydirat 巴林城市instance
(instance AndeanSpain City) CountriesAndRegions.kif 1430-1430 安第斯西班牙城市instance
(instance AngkorWatCambodia City) CountriesAndRegions.kif 1432-1432 吴哥窟柬埔寨城市instance
(instance AnkaraTurkey City) CountriesAndRegions.kif 1434-1434 安卡拉土耳其城市instance
(instance AntalyaTurkey City) CountriesAndRegions.kif 1436-1436 安塔利亚土耳其城市instance
(instance AntioquiaColombia City) CountriesAndRegions.kif 1438-1438 Antioquia 哥伦比亚城市instance
(instance AntwerpBelgium City) CountriesAndRegions.kif 1440-1440 安特卫普比利时城市instance

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 6703-6703 街道地址 的 3 数量 是 城市instance
(domain capitalCity 1 City) Government.kif 375-375 首都 的 1 数量 是 城市instance
(domain postCity 2 City) Mid-level-ontology.kif 25045-25045 postCity 的 2 数量 是 城市instance

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 25051-25056 PostalPlacelocated 城市那个 PostalPlacePostalPlaceinstance那个 城市城市instance 若且唯若 那个 PostalPlace 是在 那个 城市
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))
Mid-level-ontology.kif 8551-8553 地缘政治区域城市instance 若且唯若 那个 地缘政治区域Government市政府instance
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))
Mid-level-ontology.kif 26858-26866
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))
Government.kif 4639-4644
(=>
    (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 24971-24976
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 25085-25090

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


(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))
Mid-level-ontology.kif 8298-8303 地缘政治区域市区instance 若且唯若 有存在 另一个 地缘政治区域 这样 那个 另外 地缘政治区域城市instance那个 地缘政治区域那个 另外 地缘政治区域 的地缘政治部分
(=>
    (headOfGovernment ?A Mayor ?H)
    (instance ?A City))
Government.kif 1604-1606
(=>
    (instance ?B CityBlock)
    (exists (?C)
        (and
            (instance ?C City)
            (part ?B ?C))))
Mid-level-ontology.kif 8439-8444


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