From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/CountriesAndRegionsRon.gf | 269 -------------------------------- 1 file changed, 269 deletions(-) delete mode 100644 examples/SUMO/CountriesAndRegionsRon.gf (limited to 'examples/SUMO/CountriesAndRegionsRon.gf') diff --git a/examples/SUMO/CountriesAndRegionsRon.gf b/examples/SUMO/CountriesAndRegionsRon.gf deleted file mode 100644 index cf8f1f370..000000000 --- a/examples/SUMO/CountriesAndRegionsRon.gf +++ /dev/null @@ -1,269 +0,0 @@ ---# -path=.:englishExtended -concrete CountriesAndRegionsRon of CountriesAndRegions = MidLevelOntologyRon ** open ParadigmsRon,NounRon in { - -flags - coding = utf8 ; - -lin - Afghanistan = UsePN (mkPN "Afghanistan" | mkPN "Afganistan") ; - Albania = UsePN (mkPN "Albania") ; - Algeria = UsePN (mkPN "Algeria") ; - AlgiersAlgeria = UsePN (mkPN "Alger") ; - AmericanSamoa = UsePN (mkPN "Samoa Americană") ; - AmmanJordan = UsePN (mkPN "Amman") ; - Andorra = UsePN (mkPN "Andorra" | mkPN "Andora") ; - Angola = UsePN (mkPN "Angola") ; - Anguilla = UsePN (mkPN "Anguilla") ; - AnkaraTurkey = UsePN (mkPN "Ankara") ; - AntiguaAndBarbuda = UsePN (mkPN "Antigua şi Barbuda") ; - Argentina = UsePN (mkPN "Argentina") ; - ArmaghNorthernIreland = UsePN (mkPN "Armagh") ; - Armenia = UsePN (mkPN "Armenia") ; - Aruba = UsePN (mkPN "Aruba") ; - AshdodIsrael = UsePN (mkPN "Aşdod") ; - AskelonIsrael = UsePN (mkPN "Aşkelon") ; - AsmaraEritrea = UsePN (mkPN "Asmara") ; - AswanEgypt = UsePN (mkPN "Assuan" | mkPN "Aswan") ; - AthensGreece = UsePN (mkPN "Atena") ; - Australia = UsePN (mkPN "Australia") ; - Austria = UsePN (mkPN "Austria") ; - Azerbaijan = UsePN (mkPN "Azerbaijan" | mkPN "Azerbaidjan") ; - Bahamas = UsePN (mkPN "Bahamas") ; - Bahrain = UsePN (mkPN "Bahrain") ; - BangkokThailand = UsePN (mkPN "Bangkok") ; - Bangladesh = UsePN (mkPN "Bangladeş" | mkPN "Bangladesh") ; - Barbados = UsePN (mkPN "Barbados") ; - BeirutLebanon = UsePN (mkPN "Beirut") ; - Belarus = UsePN (mkPN "Belarus" | mkPN "Bielorusia") ; - BelfastNorthernIreland = UsePN (mkPN "Belfast") ; - Belgium = UsePN (mkPN "Belgia") ; - Belize = UsePN (mkPN "Belize") ; - Benin = UsePN (mkPN "Benin") ; - Bermuda = UsePN (mkPN "Insulele Bermude") ; - Bhutan = UsePN (mkPN "Bhutan") ; - Bolivia = UsePN (mkPN "Bolivia") ; - Botswana = UsePN (mkPN "Botswana") ; - BouvetIsland = UsePN (mkPN "Insula Bouvet") ; - Brazil = UsePN (mkPN "Brazilia") ; - BritishIndianOceanTerritory = UsePN (mkPN "Teritoriile Britanice din Oceanul Indian") ; - BritishVirginIslands = UsePN (mkPN "Insulele Virgine, Britanice") ; - Brunei = UsePN (mkPN "Brunei") ; - BrusselsBelgium = UsePN (mkPN "Bruxelles") ; - BucharestRomania = UsePN (mkPN "Bucureşti") ; - Bulgaria = UsePN (mkPN "Bulgaria") ; - BurkinaFaso = UsePN (mkPN "Burkina Fasso" | mkPN "Burkina Faso") ; - Burundi = UsePN (mkPN "Burundi") ; - CairoEgypt = UsePN (mkPN "Cairo") ; - Cambodia = UsePN (mkPN "Cambodgia") ; - Cameroon = UsePN (mkPN "Camerun") ; - Canada = UsePN (mkPN "Canada") ; - CapeVerde = UsePN (mkPN "Capul Verde") ; - CaymanIslands = UsePN (mkPN "Insulele Cayman") ; - CentralAfricanRepublic = UsePN (mkPN "Republica Central Africană" | mkPN "Republica Centrafricană") ; - Chad = UsePN (mkPN "Ciad") ; - Chile = UsePN (mkPN "Chile") ; - China = UsePN (mkPN "Republica Populară Chineză" | mkPN "China") ; - ChristmasIsland = UsePN (mkPN "Insula Christmas") ; - CocosKeelingIslands = UsePN (mkPN "Insulele Cocos (Keeling)") ; - Colombia = UsePN (mkPN "Columbia") ; - Comoros = UsePN (mkPN "Comore" | mkPN "Comoros") ; - Congo = UsePN (mkPN "Republica Congo" | mkPN "Congo") ; - CookIslands = UsePN (mkPN "Insulele Cook") ; - CopenhagenDenmark = UsePN (mkPN "Copenhaga") ; - CostaRica = UsePN (mkPN "Costa Rica") ; - Croatia = UsePN (mkPN "Croaţia") ; - Cuba = UsePN (mkPN "Cuba") ; - Cyprus = UsePN (mkPN "Cipru") ; - CzechRepublic = UsePN (mkPN "Republica Cehă" | mkPN "Cehia") ; - DelhiIndia = UsePN (mkPN "Delhi") ; - DemocraticRepublicOfTheCongo = UsePN (mkPN "Zair" | mkPN "Congo, Republica Democratică" | mkPN "Republica Democrată Congo") ; - Denmark = UsePN (mkPN "Danemarca") ; - Djibouti = UsePN (mkPN "Djibouti") ; - Dominica = UsePN (mkPN "Dominica") ; - DominicanRepublic = UsePN (mkPN "Republica Dominicană") ; - DortmundGermany = UsePN (mkPN "Dortmund") ; - DublinIreland = UsePN (mkPN "Dublin") ; - DuesseldorfGermany = UsePN (mkPN "Düsseldorf") ; - EastJerusalemIsrael = UsePN (mkPN "Ierusalim") ; - EastTimor = UsePN (mkPN "Timorul de Est") ; - Ecuador = UsePN (mkPN "Ecuador") ; - Egypt = UsePN (mkPN "Egipt") ; - ElSalvador = UsePN (mkPN "El Salvador") ; - EquatorialGuinea = UsePN (mkPN "Guineea Ecuatorială") ; - Eritrea = UsePN (mkPN "Eritreea" | mkPN "Eritrea") ; - Estonia = UsePN (mkPN "Estonia") ; - Ethiopia = UsePN (mkPN "Etiopia") ; - FalklandIslands = UsePN (mkPN "Insulele Falkland") ; - FaroeIslands = UsePN (mkPN "Insulele Feroe" | mkPN "Insulele Faroe") ; - Fiji = UsePN (mkPN "Fiji") ; - Finland = UsePN (mkPN "Finlanda") ; - France = UsePN (mkPN "Franţa") ; - FrenchGuiana = UsePN (mkPN "Guiana Franceză") ; - Gabon = UsePN (mkPN "Gabon") ; - Gambia = UsePN (mkPN "Gambia") ; - Georgia = UsePN (mkPN "Georgia") ; - Germany = UsePN (mkPN "Germania") ; - Ghana = UsePN (mkPN "Ghana") ; - Gibraltar = UsePN (mkPN "Gibraltar") ; - GrazAustria = UsePN (mkPN "Graz") ; - Greece = UsePN (mkPN "Grecia") ; - Greenland = UsePN (mkPN "Groenlanda") ; - Grenada = UsePN (mkPN "Grenada") ; - Guadeloupe = UsePN (mkPN "Guadeloupe") ; - Guam = UsePN (mkPN "Guam") ; - Guatemala = UsePN (mkPN "Guatemala") ; - Guernsey = UsePN (mkPN "Guernsey") ; - Guinea = UsePN (mkPN "Guinea" | mkPN "Guineea") ; - Guyana = UsePN (mkPN "Guiana" | mkPN "Guyana") ; - HaderaIsrael = UsePN (mkPN "Hadera") ; - HaifaIsrael = UsePN (mkPN "Haifa") ; - Haiti = UsePN (mkPN "Haiti") ; - HavanaCuba = UsePN (mkPN "Havana") ; - HilversumNetherlands = UsePN (mkPN "Hilversum") ; - Honduras = UsePN (mkPN "Honduras") ; - HongKong = UsePN (mkPN "Hong Kong") ; - Hungary = UsePN (mkPN "Ungaria") ; - Iceland = UsePN (mkPN "Islanda") ; - India = UsePN (mkPN "India") ; - Indonesia = UsePN (mkPN "Indonezia") ; - Iran = UsePN (mkPN "Iran (Republica islamică)" | mkPN "Iran") ; - Iraq = UsePN (mkPN "Irak" | mkPN "Iraq") ; - Ireland = UsePN (mkPN "Republica Irlanda" | mkPN "Irlanda") ; - Israel = UsePN (mkPN "Israel") ; - Italy = UsePN (mkPN "Italia") ; - Jamaica = UsePN (mkPN "Jamaica") ; - Japan = UsePN (mkPN "Japonia") ; - Jersey = UsePN (mkPN "Insula Jersey") ; - JerusalemIsrael = UsePN (mkPN "Ierusalim") ; - Jordan = UsePN (mkPN "Iordania") ; - Kazakhstan = UsePN (mkPN "Kazahstan") ; - Kenya = UsePN (mkPN "Kenya") ; - Kiribati = UsePN (mkPN "Kiribati") ; - Kuwait = UsePN (mkPN "Kuweit") ; - Kyrgyzstan = UsePN (mkPN "Kârgâzstan" | mkPN "Kirghizia") ; - LahorePakistan = UsePN (mkPN "Lahore") ; - Laos = UsePN (mkPN "Lao, Republica Democratică Populară" | mkPN "Laos") ; - Latvia = UsePN (mkPN "Letonia") ; - Lebanon = UsePN (mkPN "Liban") ; - Lesotho = UsePN (mkPN "Lesotho") ; - Liberia = UsePN (mkPN "Liberia") ; - Libya = UsePN (mkPN "Libia, Jamahiriya Arabă" | mkPN "Libia") ; - Liechtenstein = UsePN (mkPN "Liechtenstein") ; - Lithuania = UsePN (mkPN "Lituania") ; - LondonUnitedKingdom = UsePN (mkPN "Londra") ; - LosAngelesUnitedStates = UsePN (mkPN "Los Angeles") ; - Luxembourg = UsePN (mkPN "Luxemburg") ; - Macedonia = UsePN (mkPN "Fosta Republică Iugoslavă Macedonia" | mkPN "Republica Macedonia" | mkPN "Macedonia") ; - Madagascar = UsePN (mkPN "Madagascar") ; - Malawi = UsePN (mkPN "Malawi") ; - Malaysia = UsePN (mkPN "Malaiezia" | mkPN "Malaysia" | mkPN "Malaezia") ; - Maldives = UsePN (mkPN "Maldive") ; - Mali = UsePN (mkPN "Mali") ; - Malta = UsePN (mkPN "Insula Malta" | mkPN "Malta") ; - ManamaBahrain = UsePN (mkPN "Manama") ; - ManchesterUnitedKingdom = UsePN (mkPN "Manchester") ; - MarshallIslands = UsePN (mkPN "Insulele Marshall") ; - Martinique = UsePN (mkPN "Martinica") ; - Mauritania = UsePN (mkPN "Mauritania") ; - Mauritius = UsePN (mkPN "Mauriţius" | mkPN "Mauritius") ; - Mayotte = UsePN (mkPN "Mayotte") ; - MeccaSaudiArabia = UsePN (mkPN "Mecca") ; - Mexico = UsePN (mkPN "Mexic") ; - Micronesia = UsePN (mkPN "Micronezia, Republica Federală") ; - Moldova = UsePN (mkPN "Moldova, Republica" | mkPN "Republica Moldova") ; - Monaco = UsePN (mkPN "Monaco") ; - Mongolia = UsePN (mkPN "Mongolia") ; - Montserrat = UsePN (mkPN "Montserrat") ; - Morocco = UsePN (mkPN "Maroc") ; - MoscowRussia = UsePN (mkPN "Moscova") ; - Mozambique = UsePN (mkPN "Mozambic") ; - Myanmar = UsePN (mkPN "Myanmar") ; - NairobiKenya = UsePN (mkPN "Nairobi") ; - Namibia = UsePN (mkPN "Namibia") ; - Nauru = UsePN (mkPN "Nauru") ; - Nepal = UsePN (mkPN "Nepal") ; - NetanyaIsrael = UsePN (mkPN "Netania" | mkPN "Natania") ; - Netherlands = UsePN (mkPN "Ţările de Jos" | mkPN "Olanda") ; - NetherlandsAntilles = UsePN (mkPN "Antilele Olandeze") ; - NewCaledonia = UsePN (mkPN "Noua Caledonie") ; - NewDelhiIndia = UsePN (mkPN "New Delhi") ; - NewYorkCityUnitedStates = UsePN (mkPN "New York" | mkPN "New York City") ; - NewZealand = UsePN (mkPN "Noua Zeelandă") ; - Nicaragua = UsePN (mkPN "Nicaragua") ; - Niger = UsePN (mkPN "Niger") ; - Nigeria = UsePN (mkPN "Nigeria") ; - Niue = UsePN (mkPN "Niue") ; - NorfolkIsland = UsePN (mkPN "Insula Norfolk") ; - NorthKorea = UsePN (mkPN "Coreea de Nord") ; - NorthernMarianaIslands = UsePN (mkPN "Insulele Northern Mariana") ; - Norway = UsePN (mkPN "Norvegia") ; - Oman = UsePN (mkPN "Oman") ; - OranAlgeria = UsePN (mkPN "Oran") ; - Pakistan = UsePN (mkPN "Pakistan") ; - Palau = UsePN (mkPN "Palau") ; - Panama = UsePN (mkPN "Panama") ; - PapuaNewGuinea = UsePN (mkPN "Papua Noua Guinee") ; - Paraguay = UsePN (mkPN "Paraguay") ; - Peru = UsePN (mkPN "Peru") ; - Philippines = UsePN (mkPN "Filipine") ; - Poland = UsePN (mkPN "Polonia") ; - Portugal = UsePN (mkPN "Portugalia") ; - PuertoRico = UsePN (mkPN "Porto Rico") ; - Qatar = UsePN (mkPN "Qatar") ; - Reunion = UsePN (mkPN "Reunion") ; - RoermondNetherlands = UsePN (mkPN "Roermond") ; - Romania = UsePN (mkPN "România") ; - Russia = UsePN (mkPN "Federația Rusă" | mkPN "Rusia") ; - Rwanda = UsePN (mkPN "Ruanda" | mkPN "Rwanda") ; - SaintHelena = UsePN (mkPN "Saint Helena") ; - SaintLucia = UsePN (mkPN "Saint Lucia") ; - Samoa = UsePN (mkPN "Samoa") ; - SanMarino = UsePN (mkPN "San Marino") ; - SantiagoChile = UsePN (mkPN "Santiago de Chile") ; - SaudiArabia = UsePN (mkPN "Arabia Saudită") ; - Senegal = UsePN (mkPN "Senegal") ; - Seychelles = UsePN (mkPN "Seychelles") ; - SierraLeone = UsePN (mkPN "Sierra Leone") ; - Singapore = UsePN (mkPN "Singapore") ; - Slovakia = UsePN (mkPN "Slovacia") ; - Slovenia = UsePN (mkPN "Slovenia") ; - SolomonIslands = UsePN (mkPN "Insulele Solomon") ; - Somalia = UsePN (mkPN "Somalia") ; - SouthAfrica = UsePN (mkPN "Africa de Sud") ; - SouthKorea = UsePN (mkPN "Coreea de Sud") ; - Spain = UsePN (mkPN "Spania") ; - SriLanka = UsePN (mkPN "Sri Lanka") ; - Sudan = UsePN (mkPN "Sudan") ; - Suriname = UsePN (mkPN "Surinam") ; - Swaziland = UsePN (mkPN "Swaziland") ; - Sweden = UsePN (mkPN "Suedia") ; - Switzerland = UsePN (mkPN "Elveţia" | mkPN "Eleveţia") ; - Syria = UsePN (mkPN "Siria") ; - Taiwan = UsePN (mkPN "Taiwan") ; - Tajikistan = UsePN (mkPN "Tajikistan" | mkPN "Tadjikistan") ; - Tanzania = UsePN (mkPN "Tanzania") ; - TelAvivIsrael = UsePN (mkPN "Tel Aviv") ; - Thailand = UsePN (mkPN "Thailanda" | mkPN "Tailanda") ; - Togo = UsePN (mkPN "Togo") ; - Tokelau = UsePN (mkPN "Tokelau") ; - Tonga = UsePN (mkPN "Tonga") ; - Tunisia = UsePN (mkPN "Tunisia") ; - Turkey = UsePN (mkPN "Turcia") ; - Turkmenistan = UsePN (mkPN "Turkmenia" | mkPN "Turkmenistan") ; - Tuvalu = UsePN (mkPN "Tuvalu") ; - Uganda = UsePN (mkPN "Uganda") ; - Ukraine = UsePN (mkPN "Ucraina") ; - UnitedArabEmirates = UsePN (mkPN "Emiratele Arabe Unite") ; - UnitedKingdom = UsePN (mkPN "Regatul Unit" | mkPN "Marea Britanie") ; - UnitedStates = UsePN (mkPN "Statele Unite" | mkPN "Statele Unite ale Americii") ; - Uruguay = UsePN (mkPN "Uruguay") ; - Uzbekistan = UsePN (mkPN "Uzbekistan") ; - Vanuatu = UsePN (mkPN "Vanuatu") ; - Venezuela = UsePN (mkPN "Venezuela") ; - Vietnam = UsePN (mkPN "Vietnam") ; - WesternSahara = UsePN (mkPN "Sahara de Vest") ; - Yemen = UsePN (mkPN "Yemen") ; - Zambia = UsePN (mkPN "Zambia") ; - Zimbabwe = UsePN (mkPN "Zimbabwe") ; - -}; -- cgit v1.2.3