TreeView Knowledge Base Browser

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 14216-14219
(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 14214-14214	City is a subclass of geopolitical area
(subclass City LandArea)	Merge.kif 14215-14215	City is a subclass of land area

appearance as argument number 2

(instance AdanaTurkey City)	CountriesAndRegions.kif 1392-1392	Adana turkey is an instance of city
(instance AddisAbabaEthiopia City)	CountriesAndRegions.kif 1394-1394	Addis ababa ethiopia is an instance of city
(instance AdenYemen City)	CountriesAndRegions.kif 1396-1396	Aden yemen is an instance of city
(instance AdoraWestBank City)	CountriesAndRegions.kif 1398-1398	Adora west bank is an instance of city
(instance AfulaIsrael City)	CountriesAndRegions.kif 1400-1400	Afula israel is an instance of city
(instance AgriTurkey City)	CountriesAndRegions.kif 1402-1402	Agri turkey is an instance of city
(instance AinDeflaAlgeria City)	CountriesAndRegions.kif 1404-1404	Ain defla algeria is an instance of city
(instance AinElHajarAlgeria City)	CountriesAndRegions.kif 1406-1406	Ain el hajar algeria is an instance of city
(instance AjaccioFrance City)	CountriesAndRegions.kif 1408-1408	Ajaccio france is an instance of city
(instance AlBalamandLebanon City)	CountriesAndRegions.kif 1410-1410	Al balamand lebanon is an instance of city
(instance AleiSinaiGazaStrip City)	CountriesAndRegions.kif 1412-1412	Alei sinai gaza strip is an instance of city
(instance AleiZahavWestBank City)	CountriesAndRegions.kif 1414-1414	Alei zahav west bank is an instance of city
(instance AleyLebanon City)	CountriesAndRegions.kif 1416-1416	Aley lebanon is an instance of city
(instance AlgiersAlgeria City)	CountriesAndRegions.kif 1418-1418	Algiers algeria is an instance of city
(instance AlkhanYurtRussia City)	CountriesAndRegions.kif 1420-1420	Alkhan yurt russia is an instance of city
(instance AlonMorehWestBank City)	CountriesAndRegions.kif 1422-1422	Alon moreh west bank is an instance of city
(instance AmbonIndonesia City)	CountriesAndRegions.kif 1424-1424	Ambon indonesia is an instance of city
(instance AmmanJordan City)	CountriesAndRegions.kif 1426-1426	Amman jordan is an instance of city
(instance AnNuwaydiratBahrain City)	CountriesAndRegions.kif 1428-1428	An nuwaydirat bahrain is an instance of city
(instance AndeanSpain City)	CountriesAndRegions.kif 1430-1430	Andean spain is an instance of city
(instance AngkorWatCambodia City)	CountriesAndRegions.kif 1432-1432	Angkor wat cambodia is an instance of city
(instance AnkaraTurkey City)	CountriesAndRegions.kif 1434-1434	Ankara turkey is an instance of city
(instance AntalyaTurkey City)	CountriesAndRegions.kif 1436-1436	Antalya turkey is an instance of city
(instance AntioquiaColombia City)	CountriesAndRegions.kif 1438-1438	Antioquia colombia is an instance of city
(instance AntwerpBelgium City)	CountriesAndRegions.kif 1440-1440	Antwerp belgium is an instance of 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 6681-6681	The number 3 argument of street address is an instance of city
(domain capitalCity 1 City)	Government.kif 375-375	The number 1 argument of capital city is an instance of city
(domain postCity 2 City)	Mid-level-ontology.kif 24706-24706	The number 2 argument of post city is an instance of city

antecedent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24712-24717	A postal place is located at a city and the postal place is an instance of postal place and the city is an instance of city if and only if the postal place is in the city
(<=> (instance ?C City) (instance (GovernmentFn ?C) CityGovernment))	Mid-level-ontology.kif 8305-8307	A geopolitical area is an instance of city if and only if the government of the geopolitical area is an instance of city government
(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 26526-26534	If historical is an attribute of an object and the object is an instance of city, then there exists another object such that the other object is an instance of physical and historical is an attribute of the other object and the other object is located at the object
(=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))	Government.kif 4675-4680	If an agent diplomatic representation type consul general for a government and a geopolitical area is an instance of city and the government is equal to the government of the geopolitical area, then the agent is diplomatic organization type consulate general for the government
(=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris))))	CountriesAndRegions.kif 59-65	If a geopolitical area is an instance of city and the geopolitical area is a part of france, then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of paris
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 24632-24637	If a postal place is in a neighborhood and the neighborhood is a geographic subregion of a city and the city is an instance of city, then the postal place is in the city
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 24746-24751	If a postal place is in post code a postcode area and the postcode area is a geographic subregion of a city and the city is an instance of city, then the postal place is in the city

consequent

(<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY))))	Mid-level-ontology.kif 8052-8057	A geopolitical area is an instance of city district if and only if there exists another geopolitical area such that the other geopolitical area is an instance of city and the geopolitical area is a geopolitical part of the other geopolitical area
(=> (headOfGovernment ?A Mayor ?H) (instance ?A City))	Government.kif 1640-1642	If a geopolitical area is the head of government mayor for a human, then the geopolitical area is an instance of city
(=> (instance ?B CityBlock) (exists (?C) (and (instance ?C City) (part ?B ?C))))	Mid-level-ontology.kif 8193-8198	If an object is an instance of city block, then there exists another object such that the other object is an instance of city and the object is a part of the other object

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

KB Term:			Term intersection

English Word: