diff options
| author | aarne <aarne@chalmers.se> | 2010-04-28 20:37:51 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-28 20:37:51 +0000 |
| commit | f23a03125722896068c33c5478e426c019d3b80d (patch) | |
| tree | 972570623d83f6ed2e876022e8afb65c82ae105f /examples/phrasebook/Words.gf | |
| parent | 3148bc3d90abde36a3a4702829e18f640d521d5d (diff) | |
extended phrasebook for Swedish (almost complete)
Diffstat (limited to 'examples/phrasebook/Words.gf')
| -rw-r--r-- | examples/phrasebook/Words.gf | 69 |
1 files changed, 33 insertions, 36 deletions
diff --git a/examples/phrasebook/Words.gf b/examples/phrasebook/Words.gf index 086a19004..dfa35bc59 100644 --- a/examples/phrasebook/Words.gf +++ b/examples/phrasebook/Words.gf @@ -40,41 +40,43 @@ abstract Words = Sentences ** { -- kinds of places Airport : PlaceKind ; + AmusementPark : PlaceKind ; + Bank : PlaceKind ; Bar : PlaceKind ; + Cafeteria : PlaceKind ; + Center : PlaceKind ; Cinema : PlaceKind ; Church : PlaceKind ; + Disco : PlaceKind ; Hospital : PlaceKind ; Hotel : PlaceKind ; Museum : PlaceKind ; Park : PlaceKind ; + Parking : PlaceKind ; + Pharmacy : PlaceKind ; + PostOffice : PlaceKind ; + Pub : PlaceKind ; Restaurant : PlaceKind ; School : PlaceKind ; Shop : PlaceKind ; Station : PlaceKind ; + Supermarket : PlaceKind ; Theatre : PlaceKind ; Toilet : PlaceKind ; University : PlaceKind ; + Zoo : PlaceKind ; - CitRestaurant : Citizenship -> PlaceKind ; - Parking : PlaceKind ; - Supermarket : PlaceKind ; - Pharmacy : PlaceKind ; - Center : PlaceKind ; - Cafeteria : PlaceKind ; - Disco : PlaceKind ; - Pub : PlaceKind ; - AmusementPark : PlaceKind ; -- currency units DanishCrown : Currency ; Dollar : Currency ; - Euro : Currency ; -- Germany, France, Italy, Finland, Spain, Netherlands + Euro : Currency ; -- Germany, France, Italy, Finland, Spain, The Netherlands Lei : Currency ; -- Romania Leva : Currency ; -- Bulgaria NorwegianCrown : Currency ; - Ruble : Currency ; -- Russia + Rouble : Currency ; -- Russia SwedishCrown : Currency ; Zloty : Currency ; -- Poland @@ -83,39 +85,34 @@ abstract Words = Sentences ** { Belgian : Citizenship ; Belgium : Country ; + Bulgarian : Nationality ; + Catalan : Nationality ; + Danish : Nationality ; + Dutch : Nationality ; English : Nationality ; Finnish : Nationality ; Flemish : Language ; French : Nationality ; + German : Nationality ; Italian : Nationality ; - Romanian : Nationality ; - Swedish : Nationality ; - --- ** added - Spanish : Nationality ; Norwegian : Nationality ; - Danish : Nationality ; --- Dane : Citizenship ; - Dutch : Nationality ; Polish : Nationality ; - Catalan : Language ; -- ??? - German : Nationality ; + Romanian : Nationality ; Russian : Nationality ; - Bulgarian : Nationality ; - - + Spanish : Nationality ; + Swedish : Nationality ; -- means of transportation - Train : Transport ; + Bike : Transport ; Bus : Transport ; - Plane : Transport ; + Car : Transport ; Ferry : Transport ; + Plane : Transport ; Subway : Transport ; - Tram : Transport ; Taxi : Transport ; - Car : Transport ; - Bike : Transport ; + Train : Transport ; + Tram : Transport ; ByFoot : ByTransport ; @@ -178,21 +175,21 @@ abstract Words = Sentences ** { HowFar : Place -> Question ; -- how far is the zoo ? HowFarFrom : Place -> Place -> Question ; -- how far is the center from the hotel ? - HowFarFromBy : Place -> Place -> ByTransport -> Question ; -- how far is the airport from the hotel by taxi ? - HowFarBy : Place -> Transport -> Question ; -- how far is the museum by bus ? - - + HowFarFromBy : Place -> Place -> ByTransport -> Question ; + -- how far is the airport from the hotel by taxi ? + HowFarBy : Place -> Transport -> Question ; -- how far is the museum by bus ? WhichTranspPlace : Transport -> Place -> Question ; -- which bus goes to the hotel IsTranspPlace : Transport -> Place -> Question ; -- is there a metro to the airport ? - ByTransp : Transport -> ByTransport ; -- by bus + +-- modifiers of places TheBest : Superlative ; TheClosest : Superlative ; TheCheapest : Superlative ; + TheMostExpensive : Superlative ; + TheMostPopular : Superlative ; TheWorst : Superlative ; - MostExpensive : Superlative ; - MostPopular : Superlative ; SuperlPlace : Superlative -> PlaceKind -> Place ; -- the best bar |
