diff options
| author | aarne <aarne@chalmers.se> | 2010-04-08 20:31:32 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-08 20:31:32 +0000 |
| commit | 0138e6bba1d593fcdf5417dc8596c63757585796 (patch) | |
| tree | 29a1c34b00b4c770ec653e310fd147883afbe798 /examples/phrasebook/Words.gf | |
| parent | e98d1238f4615a14faae6f435527e19d0b8c96f4 (diff) | |
German phrasebook; ontology document; ignoring single lines in gfdoc
Diffstat (limited to 'examples/phrasebook/Words.gf')
| -rw-r--r-- | examples/phrasebook/Words.gf | 52 |
1 files changed, 28 insertions, 24 deletions
diff --git a/examples/phrasebook/Words.gf b/examples/phrasebook/Words.gf index eac14794e..101fe19ab 100644 --- a/examples/phrasebook/Words.gf +++ b/examples/phrasebook/Words.gf @@ -1,4 +1,7 @@ --- (c) 2009 Aarne Ranta under LGPL +--2 Words and idiomatic phrases of the Phrasebook + + +-- (c) 2009 Aarne Ranta under LGPL --% abstract Words = Sentences ** { @@ -72,33 +75,34 @@ abstract Words = Sentences ** { Romanian : Nationality ; Swedish : Nationality ; --- actions (which can be expressed by different structures in different languages) - - AHasName : Person -> Name -> Action ; - AHungry : Person -> Action ; - AIll : Person -> Action ; - AKnow : Person -> Action ; - ALike : Person -> Item -> Action ; - ALive : Person -> Country -> Action ; - ALove : Person -> Person -> Action ; - AScared : Person -> Action ; - ASpeak : Person -> Language -> Action ; - AThirsty : Person -> Action ; - ATired : Person -> Action ; - AUnderstand : Person -> Action ; - AWant : Person -> Object -> Action ; - AWantGo : Person -> Place -> Action ; +-- Actions (which can be expressed by different structures in different languages). +-- Notice that also negations and questions can be formed from these. + + AHasName : Person -> Name -> Action ; -- my name is Bond + AHungry : Person -> Action ; -- I am hungry + AIll : Person -> Action ; -- I am ill + AKnow : Person -> Action ; -- I (don't) know + ALike : Person -> Item -> Action ; -- I like this pizza + ALive : Person -> Country -> Action ; -- I live in Sweden + ALove : Person -> Person -> Action ; -- I love you + AScared : Person -> Action ; -- I am scared + ASpeak : Person -> Language -> Action ; -- I speak Finnish + AThirsty : Person -> Action ; -- I am thirsty + ATired : Person -> Action ; -- I am tired + AUnderstand : Person -> Action ; -- I (don't) understand + AWant : Person -> Object -> Action ; -- I want two beers + AWantGo : Person -> Place -> Action ; -- I want to go to the hospital -- miscellaneous phrases - QWhatName : Person -> Question ; + QWhatName : Person -> Question ; -- what is your name - PropOpen : Place -> Proposition ; - PropClosed : Place -> Proposition ; - PropOpenDate : Place -> Date -> Proposition ; - PropClosedDate : Place -> Date -> Proposition ; - PropOpenDay : Place -> Day -> Proposition ; - PropClosedDay : Place -> Day -> Proposition ; + PropOpen : Place -> Proposition ; -- the museum is open + PropClosed : Place -> Proposition ; -- the museum is closed + PropOpenDate : Place -> Date -> Proposition ; -- the museum is open today + PropClosedDate : Place -> Date -> Proposition ; -- the museum is closed today + PropOpenDay : Place -> Day -> Proposition ; -- the museum is open on Mondays + PropClosedDay : Place -> Day -> Proposition ; -- the museum is closed on Mondays HowMuchCost : Item -> Question ; -- how much does the pizza cost ItCost : Item -> Price -> Proposition ; -- the pizza costs five euros |
