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

Formal Language: 



KB Term:  Term intersection
English Word: 

  City

Sigma KEE - City
City(ville)

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 14246-14249
(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 14244-14244 Ville est une sous-classe de secteur g�opolitique
(subclass City LandArea) Merge.kif 14245-14245 Ville est une sous-classe de zone de terre

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


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

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 6709-6709 Le nombre 3 argument de StreetAddressFn est une instance de ville
(domain capitalCity 1 City) Government.kif 375-375 Le nombre 1 argument de capitalCity est une instance de ville
(domain postCity 2 City) Mid-level-ontology.kif 24757-24757 Le nombre 2 argument de postCity est une instance de ville

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 24763-24768 PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))
Mid-level-ontology.kif 8333-8335 Secteur g�opolitique est une instance de ville le gouvernment de secteur g�opolitique est une instance de CityGovernment
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))
Mid-level-ontology.kif 26594-26602
(=>
    (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 24683-24688
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 24797-24802

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


(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))
Mid-level-ontology.kif 8080-8085 Secteur g�opolitique est une instance de CityDistrict secteur g�opolitique secteur g�opolitique est une instance de ville sous-division g�opolitique
(=>
    (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 8221-8226


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