From 0138e6bba1d593fcdf5417dc8596c63757585796 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 8 Apr 2010 20:31:32 +0000 Subject: German phrasebook; ontology document; ignoring single lines in gfdoc --- examples/phrasebook/Words.gf | 52 ++++++++++++++++++++++++-------------------- 1 file changed, 28 insertions(+), 24 deletions(-) (limited to 'examples/phrasebook/Words.gf') 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 -- cgit v1.2.3