]> 2008/06/10 OpenCyc Knowledge Base Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. Indian district District-India The collection of all the districts of the nation of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7XJwpEbGdrcN5Y29ycA" class="cyc_term">India</a>. Districts are the administrative subdivision between cities and states. http://en.wikipedia.org/wiki/Districts_of_India districts of India district of India districts in India district in India Indian districts WestNimar-District-India West Nimar District Ujjain District Ujjain-District-India ParganasNorth-District-India Parganas North District Una-District-India Una District Giridih-District-India Giridih District Purba Champaran District PurbaChamparan-District-India RudraPrayag-District-India Rudra Prayag District Medak District Medak-District-India Betul District Betul-District-India Datia District Datia-District-India Hissar-District-India Hissar District Dumka-District-India Dumka District Tiruvannamalai-District-India Tiruvannamalai District South Goa District SouthGoa-District-India Shahjahanpur District Shahjahanpur-District-India Bageshwar-District-India Bageshwar District Shravasti District Shravasti-District-India The Dangs District TheDangs-District-India Udhampur-District-India Udhampur District Nabarangpur-District-India Nabarangpur District Rajsamand-District-India Rajsamand District Bhind District Bhind-District-India Latur-District-India Latur District Sitamarhi District Sitamarhi-District-India Nashik-District-India Nashik District East Khasi Hills District EastKhasiHills-District-India Wardha District Wardha-District-India Kasargod District Kasargod-District-India Kannauj-District-India Kannauj District Auraiya District Auraiya-District-India Lohardaga-District-India Lohardaga District Patna District Patna-District-India Kupwara District Kupwara-District-India Chamba-District-India Chamba District Dhenkanal-District-India Dhenkanal District Saiha District Saiha-District-India Palakkad-District-India Palakkad District Jyotiba Phule Nagar District JyotibaPhuleNagar-District-India Agra District Agra-District-India Malappuram-District-India Malappuram District Sundargarh-District-India Sundargarh District KanpurDehat-District-India Kanpur Dehat District Ludhiana District Ludhiana-District-India Ballia-District-India Ballia District Gandhinagar District Gandhinagar-District-India Salem District Salem-District-India Uttarkashi District Uttarkashi-District-India Satna District Satna-District-India Bilaspur District Bilaspur-District-India Jalaun District Jalaun-District-India Kargil-District-India Kargil District EastGodavari-District-India East Godavari District Kheda-District-India Kheda District Nagpur District Nagpur-District-India Sultanpur District Sultanpur-District-India Begusarai-District-India Begusarai District Gorakhpur-District-India Gorakhpur District Gadag District Gadag-District-India Bolangir-District-India Bolangir District Ukhrul District Ukhrul-District-India RaeBareli-District-India Rae Bareli District Gajapati District Gajapati-District-India Faridkot District Faridkot-District-India Jalore-District-India Jalore District Bankura-District-India Bankura District Jamui District Jamui-District-India FatehgarhSahib-District-India Fatehgarh Sahib District Nayagarh-District-India Nayagarh District Hyderabad-District-India Hyderabad District Thiruvallur District Thiruvallur-District-India Jodhpur District Jodhpur-District-India Khammam-District-India Khammam District Nizamabad-District-India Nizamabad District Pilibhit-District-India Pilibhit District Sawai Madhopur District SawaiMadhopur-District-India Mirzapur District Mirzapur-District-India WestKhasiHills-District-India West Khasi Hills District Hathras District Hathras-District-India Wayanad District Wayanad-District-India Dhubri-District-India Dhubri District Chhatarpur District Chhatarpur-District-India Dharmapuri District Dharmapuri-District-India KarbiAnglong-District-India Karbi Anglong District Leh-District-India Leh District Lahaul And Spiti District LahaulAndSpiti-District-India Faridabad-District-India Faridabad District Dantewada-District-India Dantewada District Sheopur-District-India Sheopur District LakhimpurKheri-District-India Lakhimpur Kheri District Virudhunagar-District-India Virudhunagar District Dibang Valley District DibangValley-District-India Murshidabad-District-India Murshidabad District Nadia District Nadia-District-India Muzaffarpur District Muzaffarpur-District-India Diu-District-India Diu District Sivaganga District Sivaganga-District-India Mysore-District-India Mysore District Bareilly District Bareilly-District-India Samastipur District Samastipur-District-India West Siang District WestSiang-District-India Guntur District Guntur-District-India Jaunpur District Jaunpur-District-India Bellary District Bellary-District-India Bhadrak District Bhadrak-District-India Kokrajhar-District-India Kokrajhar District Barwani District Barwani-District-India Marigaon-District-India Marigaon District Nainital-District-India Nainital District Bhilwara-District-India Bhilwara District Dharwad District Dharwad-District-India PanchMahals-District-India Panch Mahals District Kaimur-District-India Kaimur District SouthTripura-District-India South Tripura District Gurdaspur District Gurdaspur-District-India Theni-District-India Theni District Bid District Bid-District-India Surat-District-India Surat District Senapati-District-India Senapati District Sangli District Sangli-District-India Purnia-District-India Purnia District Yanam-District-India Yanam District Kinnaur-District-India Kinnaur District Jalpaiguri-District-India Jalpaiguri District Baran-District-India Baran District Mahendragarh-District-India Mahendragarh District Sabar Kantha District SabarKantha-District-India Shimla District Shimla-District-India NawanShehar-District-India Nawan Shehar District Warangal-District-India Warangal District Sibsagar District Sibsagar-District-India Goalpara-District-India Goalpara District Changlang District Changlang-District-India Sirsa District Sirsa-District-India Dehradun District Dehradun-District-India Bhavnagar District Bhavnagar-District-India Vishakhapatnam-District-India Vishakhapatnam District Munger-District-India Munger District Churu-District-India Churu District Baghpat-District-India Baghpat District East Siang District EastSiang-District-India Muktsar-District-India Muktsar District Bhopal District Bhopal-District-India Kamrup District Kamrup-District-India Dhar District Dhar-District-India Aizawl-District-India Aizawl District Ratlam-District-India Ratlam District Ambala District Ambala-District-India Bathinda-District-India Bathinda District Ganjam District Ganjam-District-India Hoshangabad District Hoshangabad-District-India Narsinghpur-District-India Narsinghpur District Rajnandgaon-District-India Rajnandgaon District Faizabad District Faizabad-District-India Kaushambi-District-India Kaushambi District Nuapada-District-India Nuapada District Saharsa District Saharsa-District-India Vadodara-District-India Vadodara District Morena District Morena-District-India Rangareddi District Rangareddi-District-India Sonbhadra-District-India Sonbhadra District Purba Singhbhum District PurbaSinghbhum-District-India Panchkula District Panchkula-District-India Bishnupur District Bishnupur-District-India Chandauli District Chandauli-District-India Ahmednagar-District-India Ahmednagar District Ramanathapuram District Ramanathapuram-District-India Gulbarga-District-India Gulbarga District Kanpur-District-India Kanpur District Champhai-District-India Champhai District Solapur-District-India Solapur District Golaghat-District-India Golaghat District Darbhanga District Darbhanga-District-India Gautam Buddha Nagar District GautamBuddhaNagar-District-India Banswara-District-India Banswara District Nalbari-District-India Nalbari District Jind-District-India Jind District Barabanki-District-India Barabanki District Dungarpur District Dungarpur-District-India Amravati-District-India Amravati District Meerut District Meerut-District-India Namakkal District Namakkal-District-India Siddharth Nagar District SiddharthNagar-District-India Uttara Kannada District UttaraKannada-District-India Boudh District Boudh-District-India Dakshin Dinajpur District DakshinDinajpur-District-India Mayurbhanj-District-India Mayurbhanj District Kollam-District-India Kollam District Dholpur-District-India Dholpur District Kancheepuram District Kancheepuram-District-India Damoh-District-India Damoh District Allahabad-District-India Allahabad District Bahraich-District-India Bahraich District Pauri Garhwal District PauriGarhwal-District-India Tumkur District Tumkur-District-India Mahesana-District-India Mahesana District Nanded District Nanded-District-India Dausa District Dausa-District-India Umaria District Umaria-District-India Nawada District Nawada-District-India Udupi District Udupi-District-India Pondicherry-District-India Pondicherry District Srikakulam District Srikakulam-District-India Amreli-District-India Amreli District Angul District Angul-District-India Hanumangarh District Hanumangarh-District-India Cuttack District Cuttack-District-India Guna-District-India Guna District Moradabad-District-India Moradabad District Belgaum-District-India Belgaum District Champawat District Champawat-District-India Cuddapah District Cuddapah-District-India Rewa District Rewa-District-India Chittoor District Chittoor-District-India Pakur-District-India Pakur District Bastar District Bastar-District-India Araria-District-India Araria District Mahbubnagar District Mahbubnagar-District-India Kozhikode-District-India Kozhikode District Bikaner-District-India Bikaner District Ratnagiri District Ratnagiri-District-India Kapurthala District Kapurthala-District-India DakshinaKannada-District-India Dakshina Kannada District JaintiaHills-District-India Jaintia Hills District Sahibganj-District-India Sahibganj District Banka-District-India Banka District Karauli-District-India Karauli District Sonitpur District Sonitpur-District-India Dhalai District Dhalai-District-India Mokokchung District Mokokchung-District-India UdhamSinghNagar-District-India Udham Singh Nagar District Udaipur District Udaipur-District-India Purulia-District-India Purulia District Palamu-District-India Palamu District Dindigul-District-India Dindigul District Mainpuri District Mainpuri-District-India Junagadh District Junagadh-District-India Garhwa District Garhwa-District-India Tamenglong District Tamenglong-District-India Shimoga District Shimoga-District-India Kanyakumari District Kanyakumari-District-India Fatehabad-District-India Fatehabad District Surguja-District-India Surguja District Saharanpur District Saharanpur-District-India Kohima District Kohima-District-India Dhule-District-India Dhule District Tinsukia-District-India Tinsukia District Kodagu District Kodagu-District-India Zunheboto-District-India Zunheboto District Kushinagar-District-India Kushinagar District Tirap-District-India Tirap District Rewari-District-India Rewari District Chatra-District-India Chatra District Ajmer District Ajmer-District-India Raisen District Raisen-District-India Azamgarh District Azamgarh-District-India AmbedkarNagar-District-India Ambedkar Nagar District South Sikkim District SouthSikkim-District-India Vizianagaram-District-India Vizianagaram District Anand-District-India Anand District Madurai District Madurai-District-India Bharatpur-District-India Bharatpur District Poonch-District-India Poonch District Sitapur District Sitapur-District-India Parbhani-District-India Parbhani District Kalahandi District Kalahandi-District-India Farrukhabad-District-India Farrukhabad District Alwar-District-India Alwar District Hingoli District Hingoli-District-India Indore-District-India Indore District Balrampur District Balrampur-District-India Phek-District-India Phek District Bangalore District Bangalore-District-India Bokaro District Bokaro-District-India Patan District Patan-District-India Jashpur District Jashpur-District-India Rampur-District-India Rampur District Vaishali District Vaishali-District-India Prakasam-District-India Prakasam District Jalna-District-India Jalna District Papum Pare District PapumPare-District-India Mansa-District-India Mansa District Rohtak-District-India Rohtak District Kendrapara District Kendrapara-District-India Bundi District Bundi-District-India Hazaribagh-District-India Hazaribagh District Thiruvananthapuram-District-India Thiruvananthapuram District Sonepat-District-India Sonepat District Bhagalpur District Bhagalpur-District-India Kishanganj-District-India Kishanganj District Lunglei-District-India Lunglei District Panipat District Panipat-District-India Lawngtlai District Lawngtlai-District-India Davanagere District Davanagere-District-India Yavatmal-District-India Yavatmal District Jammu District Jammu-District-India WestGodavari-District-India West Godavari District Kachchh District Kachchh-District-India Erode-District-India Erode District Badgam-District-India Badgam District Sirohi-District-India Sirohi District Jhansi District Jhansi-District-India Basti District Basti-District-India Chittorgarh District Chittorgarh-District-India Baleshwar-District-India Baleshwar District Gwalior District Gwalior-District-India Firozpur-District-India Firozpur District Alappuzha-District-India Alappuzha District Sheikhpura-District-India Sheikhpura District Panna District Panna-District-India Solan-District-India Solan District Shahdol-District-India Shahdol District Tonk District Tonk-District-India Nalgonda District Nalgonda-District-India Dhamtari-District-India Dhamtari District Mathura District Mathura-District-India Sambalpur District Sambalpur-District-India Serchhip District Serchhip-District-India Chandrapur-District-India Chandrapur District Jagatsinghpur-District-India Jagatsinghpur District Kota-District-India Kota District Daman-District-India Daman District Kolkata-District-India Kolkata District NorthSikkim-District-India North Sikkim District Cachar District Cachar-District-India Nalanda-District-India Nalanda District Ahmedabad-District-India Ahmedabad District Madhepura District Madhepura-District-India Dahod District Dahod-District-India Baragarh-District-India Baragarh District Kurukshetra District Kurukshetra-District-India Nagaur District Nagaur-District-India Mandi District Mandi-District-India Harda District Harda-District-India Sheohar-District-India Sheohar District Gaya-District-India Gaya District Maharajganj District Maharajganj-District-India Kolhapur District Kolhapur-District-India Jamnagar-District-India Jamnagar District Nilgiris District Nilgiris-District-India Mandla-District-India Mandla District Thanjavur District Thanjavur-District-India Sidhi District Sidhi-District-India Supaul District Supaul-District-India Howrah District Howrah-District-India Koderma District Koderma-District-India Hooghly District Hooghly-District-India Porbandar-District-India Porbandar District Andaman Islands District AndamanIslands-District-India NorthGoa-District-India North Goa District Rajgarh-District-India Rajgarh District Janjgir Champa District Janjgir-Champa-District-India Karaikal District Karaikal-District-India Kurnool-District-India Kurnool District Lohit District Lohit-District-India Buxar District Buxar-District-India Dhemaji District Dhemaji-District-India Nagapattinam District Nagapattinam-District-India Jharsuguda-District-India Jharsuguda District Kangra-District-India Kangra District Kannur-District-India Kannur District Darrang District Darrang-District-India Ganganagar-District-India Ganganagar District Maunathbhanjan-District-India Maunathbhanjan District NorthTripura-District-India North Tripura District Bhandara District Bhandara-District-India Gonda-District-India Gonda District Deoria-District-India Deoria District Gadchiroli-District-India Gadchiroli District TehriGarhwal-District-India Tehri Garhwal District Kulu District Kulu-District-India Baramula-District-India Baramula District Satara-District-India Satara District Thoubal-District-India Thoubal District Pudukkottai-District-India Pudukkottai District Jorhat-District-India Jorhat District Surendranagar District Surendranagar-District-India Nellore-District-India Nellore District Kanker-District-India Kanker District Tikamgarh District Tikamgarh-District-India Mahasamund-District-India Mahasamund District Lakhimpur-District-India Lakhimpur District Sikar-District-India Sikar District Cuddalore District Cuddalore-District-India Khordha-District-India Khordha District Pashchim Singhbhum District PashchimSinghbhum-District-India Yamuna Nagar District YamunaNagar-District-India EastGaroHills-District-India East Garo Hills District Durg-District-India Durg District Bidar-District-India Bidar District Vidisha District Vidisha-District-India Karimganj-District-India Karimganj District Ariyalur-District-India Ariyalur District Haveri-District-India Haveri District Kolar-District-India Kolar District Haridwar District Haridwar-District-India WestKameng-District-India West Kameng District Bangalore Rural District BangaloreRural-District-India Karnal-District-India Karnal District Kandhamal District Kandhamal-District-India Rayagada-District-India Rayagada District Dimapur-District-India Dimapur District Varanasi District Varanasi-District-India Idukki-District-India Idukki District Kottayam-District-India Kottayam District Parganas South District ParganasSouth-District-India Dibrugarh-District-India Dibrugarh District Pune-District-India Pune District Uttar Dinajpur District UttarDinajpur-District-India West Sikkim District WestSikkim-District-India Saran-District-India Saran District Lalitpur District Lalitpur-District-India Sagar-District-India Sagar District Moga District Moga-District-India Tawang District Tawang-District-India Chamoli-District-India Chamoli District Barmer-District-India Barmer District Ghazipur-District-India Ghazipur District Madhubani District Madhubani-District-India Kathua District Kathua-District-India Gumla-District-India Gumla District Rajkot District Rajkot-District-India East Imphal District EastImphal-District-India Banda-District-India Banda District Kaithal District Kaithal-District-India Valsad District Valsad-District-India Sindhudurg District Sindhudurg-District-India Narmada District Narmada-District-India Unnao District Unnao-District-India Mandsaur-District-India Mandsaur District Hailakandi-District-India Hailakandi District Hardoi-District-India Hardoi District Jaipur District Jaipur-District-India Akola-District-India Akola District West Imphal District WestImphal-District-India Sonepur District Sonepur-District-India Katni-District-India Katni District Jhajjar-District-India Jhajjar District Jhunjhunun District Jhunjhunun-District-India Neemuch District Neemuch-District-India Godda District Godda-District-India Bhojpur-District-India Bhojpur District Raichur-District-India Raichur District Jaisalmer District Jaisalmer-District-India Ri Bhoi District Ri-Bhoi-District-India Gondiya District Gondiya-District-India Katihar District Katihar-District-India Koriya-District-India Koriya District Bongaigaon-District-India Bongaigaon District Jehanabad District Jehanabad-District-India SantRaviDasNagar-District-India Sant Ravi Das Nagar District Buldhana-District-India Buldhana District Khagaria-District-India Khagaria District Siwan District Siwan-District-India Raipur-District-India Raipur District Osmanabad District Osmanabad-District-India Chandel District Chandel-District-India Pali-District-India Pali District Fatehpur District Fatehpur-District-India Rupnagar-District-India Rupnagar District Koppal District Koppal-District-India Srinagar District Srinagar-District-India North Cachar Hills District NorthCacharHills-District-India Chhindwara District Chhindwara-District-India Sirmaur-District-India Sirmaur District UpperSiang-District-India Upper Siang District Villupuram-District-India Villupuram District Mumbai City District MumbaiCity-District-India Firozabad District Firozabad-District-India Thiruvarur District Thiruvarur-District-India Muzaffarnagar-District-India Muzaffarnagar District Chandigarh District Chandigarh-District-India LowerSubansiri-District-India Lower Subansiri District EastKameng-District-India East Kameng District Malda-District-India Malda District Jabalpur-District-India Jabalpur District Jhalawar District Jhalawar-District-India Mahe District Mahe-District-India Tiruchirappalli District Tiruchirappalli-District-India Karur-District-India Karur District Shajapur-District-India Shajapur District Kawardha-District-India Kawardha District Mahoba District Mahoba-District-India Mamit-District-India Mamit District Etawah-District-India Etawah District Koraput District Koraput-District-India Hoshiarpur-District-India Hoshiarpur District Churachandpur District Churachandpur-District-India Thoothukudi-District-India Thoothukudi District Chitrakoot District Chitrakoot-District-India East Nimar District EastNimar-District-India Bhiwani-District-India Bhiwani District Puri District Puri-District-India Anantnag-District-India Anantnag District Ernakulam District Ernakulam-District-India Gurgaon District Gurgaon-District-India Lakhisarai-District-India Lakhisarai District Sehore-District-India Sehore District Aurangabad District Aurangabad-District-India Dindori-District-India Dindori District Perambalur District Perambalur-District-India Bijapur-District-India Bijapur District Nandurbar District Nandurbar-District-India Doda-District-India Doda District Adilabad-District-India Adilabad District Navsari District Navsari-District-India Pathanamthitta-District-India Pathanamthitta District Hassan-District-India Hassan District Aligarh-District-India Aligarh District Jajpur District Jajpur-District-India Jhabua-District-India Jhabua District West Tripura District WestTripura-District-India Wokha-District-India Wokha District Almora District Almora-District-India Pashchim Champaran District PashchimChamparan-District-India Barpeta-District-India Barpeta District Seoni-District-India Seoni District Krishna District Krishna-District-India Chikmagalur District Chikmagalur-District-India Thrissur District Thrissur-District-India Banas Kantha District BanasKantha-District-India Deoghar-District-India Deoghar District Darjeeling-District-India Darjeeling District Chitradurga-District-India Chitradurga District Bulandshahr-District-India Bulandshahr District Anantapur-District-India Anantapur District Korba-District-India Korba District Kolasib-District-India Kolasib District Balaghat-District-India Balaghat District Shivpuri-District-India Shivpuri District Bharuch District Bharuch-District-India Nicobar Islands District NicobarIslands-District-India Hamirpur-District-India Hamirpur District Rohtas-District-India Rohtas District Patiala-District-India Patiala District Coimbatore-District-India Coimbatore District Nagaon District Nagaon-District-India Tirunelveli District Tirunelveli-District-India Upper Subansiri District UpperSubansiri-District-India Tuensang-District-India Tuensang District Bijnor-District-India Bijnor District Mon-District-India Mon District Jalgaon District Jalgaon-District-India Gopalganj-District-India Gopalganj District Lucknow-District-India Lucknow District Bagalkot-District-India Bagalkot District Jalandhar-District-India Jalandhar District Mandya District Mandya-District-India Rajauri District Rajauri-District-India Vellore District Vellore-District-India Chennai-District-India Chennai District Amritsar-District-India Amritsar District Sangrur-District-India Sangrur District Bardhaman-District-India Bardhaman District Mumbai Suburban District MumbaiSuburban-District-India Ghaziabad District Ghaziabad-District-India Dewas-District-India Dewas District Chamrajnagar District Chamrajnagar-District-India Badaun District Badaun-District-India Etah District Etah-District-India Deogarh District Deogarh-District-India Pulwama District Pulwama-District-India Ranchi-District-India Ranchi District Karimnagar-District-India Karimnagar District Thane-District-India Thane District Malkangiri-District-India Malkangiri District KochBihar-District-India Koch Bihar District Keonjhar District Keonjhar-District-India Midnapore-District-India Midnapore District Washim-District-India Washim District EastSikkim-District-India East Sikkim District SouthGaroHills-District-India South Garo Hills District Birbhum-District-India Birbhum District Dhanbad-District-India Dhanbad District Raigarh-District-India Raigarh District SantKabirNagar-District-India Sant Kabir Nagar District West Garo Hills District WestGaroHills-District-India Pratapgarh-District-India Pratapgarh District Pithoragarh District Pithoragarh-District-India Indian district District-India The collection of all the districts of the nation of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7XJwpEbGdrcN5Y29ycA" class="cyc_term">India</a>. Districts are the administrative subdivision between cities and states. Indian district District-India The collection of all the districts of the nation of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7XJwpEbGdrcN5Y29ycA" class="cyc_term">India</a>. Districts are the administrative subdivision between cities and states. county A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkmJwpEbGdrcN5Y29ycA" class="cyc_term">County</a> is a geopolitical whose territory typically has an area larger than that of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a>, but smaller than that of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>. County non-overlapping geopolitical entity GeopoliticalEntityTypeByNonOverlappingJurisdiction A collection of collections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPJJhlM0SQdeDhsNnnhQekw" class="cyc_term">GeopoliticalEntityTypeByNonOverlappingJurisdiction</a> are subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> members of which have jurisdictions that do not overlap. Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString Indian district District-India The collection of all the districts of the nation of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7XJwpEbGdrcN5Y29ycA" class="cyc_term">India</a>. Districts are the administrative subdivision between cities and states.