1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
-- (c) 2009 Aarne Ranta under LGPL
abstract Words = Sentences ** {
fun
Wine, Beer, Water, Coffee, Tea : Kind ;
Cheese, Fish, Pizza : Kind ;
Fresh, Warm,
Expensive, Delicious, Boring, Good : Property ;
Bar, Restaurant, Toilet,
Museum, Airport, Station, Hospital, Church : PlaceKind ;
Euro, Dollar, Lei : Currency ;
English, Finnish, French, Italian, Romanian, Swedish : Nationality ;
Belgian : Citizenship ;
Flemish : Language ;
Belgium : Country ;
Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday : Day ;
-- actions can be expressed by different structures in different languages
AWant : Person -> Object -> Action ;
ALike : Person -> Item -> Action ;
ASpeak : Person -> Language -> Action ;
ALove : Person -> Person -> Action ;
AHungry : Person -> Action ;
AThirsty : Person -> Action ;
ATired : Person -> Action ;
AIll : Person -> Action ;
AScared : Person -> Action ;
AUnderstand : Person -> Action ;
AKnow : Person -> Action ;
AWantGo : Person -> Place -> Action ;
AHasName : Person -> Name -> Action ;
ALive : Person -> Country -> Action ;
QWhatName : Person -> Question ;
PropOpen : Place -> Proposition ;
PropClosed : Place -> Proposition ;
PropOpenDate : Place -> Date -> Proposition ;
PropClosedDate : Place -> Date -> Proposition ;
PropOpenDay : Place -> Day -> Proposition ;
PropClosedDay : Place -> Day -> Proposition ;
HowMuchCost : Item -> Question ; -- how much does the pizza cost
ItCost : Item -> Price -> Proposition ; -- the pizza costs five euros
}
|
