GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-24 03:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

added wiki grammars

Browse Source
This commit is contained in:
aarne
2008-03-04 11:56:12 +00:00
parent e434f57eff
commit 9dcad11f09
39 changed files with 4484 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

402
examples/wiki/LexWikiFre.gf Normal file
View File

@@ -0,0 +1,402 @@
instance LexWikiFre of LexWiki = open SyntaxFre, ParadigmsFre, IrregFre in {
--- flags coding = utf8 ;
oper mkAdV : Str -> AdV = \s -> {s = s ; lock_AdV = <>} ; ---
myMkPN : N -> PN = \n -> {s = n.s ! singular ; g = n.g ; lock_PN = <>} ;
oper
-- Sentences
singleWordCommand_Utt verb = mkUtt politeImpForm positivePol (mkImp verb) ;
command_Utt verb det noun = mkUtt politeImpForm positivePol (mkImp (mkVP (mkV2 verb) (mkNP det noun))) ;
randomlyCommand_Utt verb det noun = mkUtt politeImpForm positivePol (mkImp (mkVP (mkAdV "aléatoirement") (mkVP (mkV2 verb) (mkNP det noun)))) ;
label_Utt noun = mkUtt (mkNP (myMkPN noun)) ;
countryName_Utt pn = mkUtt (mkNP pn) ;
cuisineName_Utt pn = mkUtt (mkNP pn) ;
-- Verbs
cancel_V = mkV "annuler" ;
select_V = mkV "selectionner" ;
edit_V = mkV "rédiger" ;
save_V = mkV "sauvegarder" ;
add_V = mkV "ajouter" ;
undo_V = défaire_V2 ;
redo_V = refaire_V2 ;
cut_V = mkV "couper" ;
copy_V = mkV "copier" ;
paste_V = mkV "coller" ;
delete_V = mkV "supprimer" ;
refine_V = mkV "raffiner" ;
replace_V = mkV "remplacer" ;
wrap_V = mkV "emballer" ;
-- Nouns
-- Information
information_N = mkN "informaatio" ;
name_N = mkN "nom" ;
address_N = mkN "adresse" ;
city_N = mkN "ville" ;
state_N = mkN "état" ;
postalcode_N = mkN "code" masculine ;
country_N = mkN "pays" ;
phone_N = mkN "téléphone" masculine ;
cuisine_N = mkN "cuisine" ;
language_N = mkN "langue" ;
-- Misc
page_N = mkN "page" ;
index_N = mkN "index" ;
review_N = mkN "critique" ;
restaurant_N = mkN "restaurant" ;
food_N = mkN "manger" ;
service_N = mkN "service" masculine ;
node_N = mkN "noeud" ;
tree_N = mkN "arbre" ;
-- Proper Nouns
-- Countries
Andorra_PN = mkPN "Andorra" ;
UnitedArabEmirates_PN = mkPN ("United_Arab_Emirates") ;
Afghanistan_PN = mkPN "Afghanistan" ;
AntiguaAndBarbuda_PN = mkPN ("Antigua_and_Barbuda") ;
Anguilla_PN = mkPN "Anguilla" ;
Albania_PN = mkPN "Albania" ;
Armenia_PN = mkPN "Armenia" ;
NetherlandsAntilles_PN = mkPN ("Netherlands_Antilles") ;
Angola_PN = mkPN "Angola" ;
Antarctica_PN = mkPN "Antarctica" ;
Argentina_PN = mkPN "Argentina" ;
AmericanSamoa_PN = mkPN ("American_Samoa") ;
Austria_PN = mkPN "Austria" ;
Australia_PN = mkPN "Australia" ;
Aruba_PN = mkPN "Aruba" ;
AlandIslands_PN = mkPN ("Aland_Islands") ;
Azerbaijan_PN = mkPN "Azerbaijan" ;
BosniaAndHerzegovina_PN = mkPN ("Bosnia_and_Herzegovina") ;
Barbados_PN = mkPN "Barbados" ;
Bangladesh_PN = mkPN "Bangladesh" ;
Belgium_PN = mkPN "Belgium" ;
BurkinaFaso_PN = mkPN ("Burkina_Faso") ;
Bulgaria_PN = mkPN "Bulgaria" ;
Bahrain_PN = mkPN "Bahrain" ;
Burundi_PN = mkPN "Burundi" ;
Benin_PN = mkPN "Benin" ;
Bermuda_PN = mkPN "Bermuda" ;
Brunei_PN = mkPN "Brunei" ;
Bolivia_PN = mkPN "Bolivia" ;
Brazil_PN = mkPN "Brazil" ;
Bahamas_PN = mkPN "Bahamas" ;
Bhutan_PN = mkPN "Bhutan" ;
BouvetIsland_PN = mkPN ("Bouvet_Island") ;
Botswana_PN = mkPN "Botswana" ;
Belarus_PN = mkPN "Belarus" ;
Belize_PN = mkPN "Belize" ;
Canada_PN = mkPN "Canada" ;
CocosIslands_PN = mkPN ("Cocos_Islands") ;
CongoDemocraticRepublicofthe_PN = mkPN ("Congo,_Democratic_Republic_of_the") ;
CentralAfricanRepublic_PN = mkPN ("Central_African_Republic") ;
Congo_PN = mkPN "Congo" ;
Switzerland_PN = mkPN "Switzerland" ;
CotedIvoire_PN = mkPN ("Côte_d'Ivoire") ;
CookIslands_PN = mkPN ("Cook_Islands") ;
Chile_PN = mkPN "Chile" ;
Cameroon_PN = mkPN "Cameroon" ;
China_PN = mkPN "China" ;
Colombia_PN = mkPN "Colombia" ;
CostaRica_PN = mkPN ("Costa_Rica") ;
SerbiaAndMontenegro_PN = mkPN ("Serbia_and_Montenegro") ;
Cuba_PN = mkPN "Cuba" ;
CapeVerde_PN = mkPN ("Cape_Verde") ;
ChristmasIsland_PN = mkPN ("Christmas_Island") ;
Cyprus_PN = mkPN "Cyprus" ;
CzechRepublic_PN = mkPN ("Czech_Republic") ;
Germany_PN = mkPN "Germany" ;
Djibouti_PN = mkPN "Djibouti" ;
Denmark_PN = mkPN "Denmark" ;
Dominica_PN = mkPN "Dominica" ;
DominicanRepublic_PN = mkPN ("Dominican_Republic") ;
Algeria_PN = mkPN "Algeria" ;
Ecuador_PN = mkPN "Ecuador" ;
Estonia_PN = mkPN "Estonia" ;
Egypt_PN = mkPN "Egypt" ;
WesternSahara_PN = mkPN ("Western_Sahara") ;
Eritrea_PN = mkPN "Eritrea" ;
Spain_PN = mkPN "Spain" ;
Ethiopia_PN = mkPN "Ethiopia" ;
Finland_PN = mkPN "Finland" ;
Fiji_PN = mkPN "Fiji" ;
FalklandIslands_PN = mkPN ("Falkland_Islands") ;
Micronesia_PN = mkPN "Micronesia" ;
FaroeIslands_PN = mkPN ("Faroe_Islands") ;
France_PN = mkPN "France" ;
Gabon_PN = mkPN "Gabon" ;
UnitedKingdom_PN = mkPN ("United_Kingdom") ;
Grenada_PN = mkPN "Grenada" ;
Georgia_PN = mkPN "Georgia" ;
FrenchGuiana_PN = mkPN ("French_Guiana") ;
Guernsey_PN = mkPN "Guernsey" ;
Ghana_PN = mkPN "Ghana" ;
Gibraltar_PN = mkPN "Gibraltar" ;
Greenland_PN = mkPN "Greenland" ;
Gambia_PN = mkPN "Gambia" ;
Guinea_PN = mkPN "Guinea" ;
Guadeloupe_PN = mkPN "Guadeloupe" ;
EquatorialGuinea_PN = mkPN ("Equatorial_Guinea") ;
Greece_PN = mkPN "Greece" ;
SouthGeorgiaAndTheSouthSandwichIslands_PN = mkPN ("South_Georgia_and_the_South_Sandwich_Islands") ;
Guatemala_PN = mkPN "Guatemala" ;
Guam_PN = mkPN "Guam" ;
GuineaBissau_PN = mkPN "Guinea-Bissau" ;
Guyana_PN = mkPN "Guyana" ;
HongKong_PN = mkPN ("Hong_Kong") ;
HeardIslandAndMcDonaldIslands_PN = mkPN ("Heard_Island_and_McDonald_Islands") ;
Honduras_PN = mkPN "Honduras" ;
Croatia_PN = mkPN "Croatia" ;
Haiti_PN = mkPN "Haiti" ;
Hungary_PN = mkPN "Hungary" ;
Indonesia_PN = mkPN "Indonesia" ;
Ireland_PN = mkPN "Ireland" ;
Israel_PN = mkPN "Israel" ;
IsleofMan_PN = mkPN ("Isle_of_Man") ;
India_PN = mkPN "India" ;
BritishIndianOceanTerritory_PN = mkPN ("British_Indian_Ocean_Territory") ;
Iraq_PN = mkPN "Iraq" ;
Iran_PN = mkPN "Iran" ;
Iceland_PN = mkPN "Iceland" ;
Italy_PN = mkPN "Italy" ;
Jersey_PN = mkPN "Jersey" ;
Jamaica_PN = mkPN "Jamaica" ;
Jordan_PN = mkPN "Jordan" ;
Japan_PN = mkPN "Japan" ;
Kenya_PN = mkPN "Kenya" ;
Kyrgyzstan_PN = mkPN "Kyrgyzstan" ;
Cambodia_PN = mkPN "Cambodia" ;
Kiribati_PN = mkPN "Kiribati" ;
Comoros_PN = mkPN "Comoros" ;
SaintKittsAndNevis_PN = mkPN ("Saint_Kitts_and_Nevis") ;
NorthKorea_PN = mkPN ("North_Korea") ;
SouthKorea_PN = mkPN ("South_Korea") ;
Kuwait_PN = mkPN "Kuwait" ;
CaymanIslands_PN = mkPN ("Cayman_Islands") ;
Kazakhstan_PN = mkPN "Kazakhstan" ;
Laos_PN = mkPN "Laos" ;
Lebanon_PN = mkPN "Lebanon" ;
SaintLucia_PN = mkPN ("Saint_Lucia") ;
Liechtenstein_PN = mkPN "Liechtenstein" ;
SriLanka_PN = mkPN ("Sri_Lanka") ;
Liberia_PN = mkPN "Liberia" ;
Lesotho_PN = mkPN "Lesotho" ;
Lithuania_PN = mkPN "Lithuania" ;
Luxembourg_PN = mkPN "Luxembourg" ;
Latvia_PN = mkPN "Latvia" ;
Libya_PN = mkPN "Libya" ;
Morocco_PN = mkPN "Morocco" ;
Monaco_PN = mkPN "Monaco" ;
Moldova_PN = mkPN "Moldova" ;
Montenegro_PN = mkPN "Montenegro" ;
Madagascar_PN = mkPN "Madagascar" ;
MarshallIslands_PN = mkPN ("Marshall_Islands") ;
Macedonia_PN = mkPN "Macedonia" ;
Mali_PN = mkPN "Mali" ;
Myanmar_PN = mkPN "Myanmar" ;
Mongolia_PN = mkPN "Mongolia" ;
Macao_PN = mkPN "Macao" ;
NorthernMarianaIslands_PN = mkPN ("Northern_Mariana_Islands") ;
Martinique_PN = mkPN "Martinique" ;
Mauritania_PN = mkPN "Mauritania" ;
Montserrat_PN = mkPN "Montserrat" ;
Malta_PN = mkPN "Malta" ;
Mauritius_PN = mkPN "Mauritius" ;
Maldives_PN = mkPN "Maldives" ;
Malawi_PN = mkPN "Malawi" ;
Mexico_PN = mkPN "Mexico" ;
Malaysia_PN = mkPN "Malaysia" ;
Mozambique_PN = mkPN "Mozambique" ;
Namibia_PN = mkPN "Namibia" ;
NewCaledonia_PN = mkPN ("New_Caledonia") ;
Niger_PN = mkPN "Niger" ;
NorfolkIsland_PN = mkPN ("Norfolk_Island") ;
Nigeria_PN = mkPN "Nigeria" ;
Nicaragua_PN = mkPN "Nicaragua" ;
Netherlands_PN = mkPN "Netherlands" ;
Norway_PN = mkPN "Norway" ;
Nepal_PN = mkPN "Nepal" ;
Nauru_PN = mkPN "Nauru" ;
Niue_PN = mkPN "Niue" ;
NewZealand_PN = mkPN ("New_Zealand") ;
Oman_PN = mkPN "Oman" ;
Panama_PN = mkPN "Panama" ;
Peru_PN = mkPN "Peru" ;
FrenchPolynesia_PN = mkPN ("French_Polynesia") ;
PapuaNewGuinea_PN = mkPN ("Papua_New_Guinea") ;
Philippines_PN = mkPN "Philippines" ;
Pakistan_PN = mkPN "Pakistan" ;
Poland_PN = mkPN "Poland" ;
SaintPierreAndMiquelon_PN = mkPN ("Saint_Pierre_and_Miquelon") ;
Pitcairn_PN = mkPN "Pitcairn" ;
PuertoRico_PN = mkPN ("Puerto_Rico") ;
PalestinianTerritory_PN = mkPN ("Palestinian_Territory") ;
Portugal_PN = mkPN "Portugal" ;
Palau_PN = mkPN "Palau" ;
Paraguay_PN = mkPN "Paraguay" ;
Qatar_PN = mkPN "Qatar" ;
Reunion_PN = mkPN "Reunion" ;
Romania_PN = mkPN "Romania" ;
Serbia_PN = mkPN "Serbia" ;
Russia_PN = mkPN "Russia" ;
Rwanda_PN = mkPN "Rwanda" ;
SaudiArabia_PN = mkPN ("Saudi_Arabia") ;
SolomonIslands_PN = mkPN ("Solomon_Islands") ;
Seychelles_PN = mkPN "Seychelles" ;
Sudan_PN = mkPN "Sudan" ;
Sweden_PN = mkPN "Sweden" ;
Singapore_PN = mkPN "Singapore" ;
SaintHelena_PN = mkPN ("Saint_Helena") ;
Slovenia_PN = mkPN "Slovenia" ;
SvalbardAndJanMayen_PN = mkPN ("Svalbard_and_Jan_Mayen") ;
Slovakia_PN = mkPN "Slovakia" ;
SierraLeone_PN = mkPN ("Sierra_Leone") ;
SanMarino_PN = mkPN ("San_Marino") ;
Senegal_PN = mkPN "Senegal" ;
Somalia_PN = mkPN "Somalia" ;
Suriname_PN = mkPN "Suriname" ;
SaoTomeAndPrincipe_PN = mkPN ("São_Tomé_and_Príncipe") ;
ElSalvador_PN = mkPN ("El_Salvador") ;
Syria_PN = mkPN "Syria" ;
Swaziland_PN = mkPN "Swaziland" ;
TurksAndCaicosIslands_PN = mkPN ("Turks_and_Caicos_Islands") ;
Chad_PN = mkPN "Chad" ;
FrenchSouthernTerritories_PN = mkPN ("French_Southern_Territories") ;
Togo_PN = mkPN "Togo" ;
Thailand_PN = mkPN "Thailand" ;
Tajikistan_PN = mkPN "Tajikistan" ;
Tokelau_PN = mkPN "Tokelau" ;
EastTimor_PN = mkPN ("East_Timor") ;
Turkmenistan_PN = mkPN "Turkmenistan" ;
Tunisia_PN = mkPN "Tunisia" ;
Tonga_PN = mkPN "Tonga" ;
Turkey_PN = mkPN "Turkey" ;
TrinidadAndTobago_PN = mkPN ("Trinidad_and_Tobago") ;
Tuvalu_PN = mkPN "Tuvalu" ;
Taiwan_PN = mkPN "Taiwan" ;
Tanzania_PN = mkPN "Tanzania" ;
Ukraine_PN = mkPN "Ukraine" ;
Uganda_PN = mkPN "Uganda" ;
UnitedStatesMinorOutlyingIslands_PN = mkPN ("United_States_minor_outlying_islands") ;
UnitedStates_PN = mkPN ("United_States") ;
Uruguay_PN = mkPN "Uruguay" ;
Uzbekistan_PN = mkPN "Uzbekistan" ;
VaticanCity_PN = mkPN ("Vatican_City") ;
SaintVincentAndtheGrenadines_PN = mkPN ("Saint_Vincent_and_the_Grenadines") ;
Venezuela_PN = mkPN "Venezuela" ;
VirginIslandsBritish_PN = mkPN ("Virgin_Islands,_British") ;
VirginIslandsUS_PN = mkPN ("Virgin_Islands,_U.S.") ;
Vietnam_PN = mkPN "Vietnam" ;
Vanuatu_PN = mkPN "Vanuatu" ;
WallisAndFutuna_PN = mkPN ("Wallis_and_Futuna") ;
Samoa_PN = mkPN "Samoa" ;
Yemen_PN = mkPN "Yemen" ;
Mayotte_PN = mkPN "Mayotte" ;
SouthAfrica_PN = mkPN ("South_Africa") ;
Zambia_PN = mkPN "Zambia" ;
Zimbabwe_PN = mkPN "Zimbabwe" ;
-- Cuisines
Afghani_PN = mkPN "Afghani" ;
African_PN = mkPN "African" ;
American_PN = mkPN "American" ;
Arabic_PN = mkPN "Arabic" ;
Argentine_PN = mkPN "Argentine" ;
Armenian_PN = mkPN "Armenian" ;
Asian_PN = mkPN "Asian" ;
Australian_PN = mkPN "Australian" ;
Austrian_PN = mkPN "Austrian" ;
Balinese_PN = mkPN "Balinese" ;
Basque_PN = mkPN "Basque" ;
Belgian_PN = mkPN "Belgian" ;
Brazilian_PN = mkPN "Brazilian" ;
Bulgarian_PN = mkPN "Bulgarian" ;
Burmese_PN = mkPN "Burmese" ;
Cajun_PN = mkPN "Cajun" ;
Cambodian_PN = mkPN "Cambodian" ;
Caribbean_PN = mkPN "Caribbean" ;
Catalan_PN = mkPN "Catalan" ;
Chinese_PN = mkPN "Chinese" ;
Colombian_PN = mkPN "Colombian" ;
Contemporary_PN = mkPN "Contemporary" ;
Continental_PN = mkPN "Continental" ;
Creole_PN = mkPN "Creole" ;
Cuban_PN = mkPN "Cuban" ;
Czech_PN = mkPN "Czech" ;
Dutch_PN = mkPN "Dutch" ;
EasternEuropean_PN = mkPN ("Eastern_European") ;
Eclectic_PN = mkPN "Eclectic" ;
Egyptian_PN = mkPN "Egyptian" ;
English_PN = mkPN "English" ;
Ethiopian_PN = mkPN "Ethiopian" ;
Ethnic_PN = mkPN "Ethnic" ;
French_PN = mkPN "French" ;
Fusion_PN = mkPN "Fusion" ;
German_PN = mkPN "German" ;
Greek_PN = mkPN "Greek" ;
Haitian_PN = mkPN "Haitian" ;
Hungarian_PN = mkPN "Hungarian" ;
Indian_PN = mkPN "Indian" ;
Indonesian_PN = mkPN "Indonesian" ;
International_PN = mkPN "International" ;
Irish_PN = mkPN "Irish" ;
Israeli_PN = mkPN "Israeli" ;
Italian_PN = mkPN "Italian" ;
Jamaican_PN = mkPN "Jamaican" ;
Japanese_PN = mkPN "Japanese" ;
Jewish_PN = mkPN "Jewish" ;
Korean_PN = mkPN "Korean" ;
LatinAmerican_PN = mkPN ("Latin_American") ;
Lebanese_PN = mkPN "Lebanese" ;
Malaysian_PN = mkPN "Malaysian" ;
Mexican_PN = mkPN "Mexican" ;
MiddleEastern_PN = mkPN ("Middle_Eastern") ;
Mongolian_PN = mkPN "Mongolian" ;
Moroccan_PN = mkPN "Moroccan" ;
NewZealandCuisine_PN = mkPN ("New_Zealand") ;
Nicaraguan_PN = mkPN "Nicaraguan" ;
Nouveau_PN = mkPN "Nouveau" ;
Pakistani_PN = mkPN "Pakistani" ;
Persian_PN = mkPN "Persian" ;
Peruvian_PN = mkPN "Peruvian" ;
Philippine_PN = mkPN "Philippine" ;
Polish_PN = mkPN "Polish" ;
Polynesian_PN = mkPN "Polynesian" ;
Portuguese_PN = mkPN "Portuguese" ;
PuertoRican_PN = mkPN ("Puerto_Rican") ;
Russian_PN = mkPN "Russian" ;
Salvadorean_PN = mkPN "Salvadorean" ;
Scandinavian_PN = mkPN "Scandinavian" ;
Scottish_PN = mkPN "Scottish" ;
Seafood_PN = mkPN "Seafood" ;
Singaporean_PN = mkPN "Singaporean" ;
Spanish_PN = mkPN "Spanish" ;
SriLankan_PN = mkPN ("Sri_Lankan") ;
Swedish_PN = mkPN "Swedish" ;
Swiss_PN = mkPN "Swiss" ;
Tex_Mex_PN = mkPN "Tex-Mex" ;
Thai_PN = mkPN "Thai" ;
Tibetan_PN = mkPN "Tibetan" ;
Turkish_PN = mkPN "Turkish" ;
Ukrainian_PN = mkPN "Ukrainian" ;
Vegan_PN = mkPN "Vegan" ;
Vegetarian_PN = mkPN "Vegetarian" ;
Venezulean_PN = mkPN "Venezulean" ;
Vietnamese_PN = mkPN "Vietnamese" ;
-- Determiners
defSg_Det = defSgDet ;
-- defPl_Det = defPlDet ;
indefSg_Det = indefSgDet ;
-- indefPl_Det = indefPlDet ;
this_Det = mkDet this_QuantSg ;
-- that_Det = mkDet that_QuantSg ;
-- these_Det = mkDet these_QuantPl ;
-- those_Det = mkDet those_QuantPl ;
}