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

1 files changed, 0 insertions, 269 deletions

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") ;

-

-};