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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - City
City(Cidade)

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 Cidade e' uma sub-classe de Area Geopolitica
(subclass City LandArea) Merge.kif 14245-14245 Cidade e' uma sub-classe de Area terrestre

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


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

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 O argumento numero 3 de StreetAddressFn e' uma instancia de Cidade
(domain capitalCity 1 City) Government.kif 375-375 O argumento numero 1 de capitalCity e' uma instancia de Cidade
(domain postCity 2 City) Mid-level-ontology.kif 24757-24757 O argumento numero 2 de postCity e' uma instancia de Cidade

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 24763-24768 PostalPlace e' situado em Cidade PostalPlace e' uma instancia de PostalPlace Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))
Mid-level-ontology.kif 8333-8335 Area Geopolitica e' uma instancia de Cidade o governo de Area Geopolitica e' uma instancia 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 Area Geopolitica e' uma instancia de CityDistrict Area Geopolitica Area Geopolitica e' uma instancia de Cidade sub-divisao geopolitica
(=>
    (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 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