1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/Ontology.e').
4%;
5%; Copyright (c) 2005 IBM Corporation and others.
6%; All rights reserved. This program and the accompanying materials
7%; are made available under the terms of the Common Public License v1.0
8%; which accompanies this distribution, and is available at
9%; http://www.eclipse.org/legal/cpl-v10.html
10%;
11%; Contributors:
12%; IBM - Initial implementation
13%;
14%; integer
15%;
16
17% sort diameter: integer
18==> subsort(diameter,integer).
19%; object
20
21% sort object
22==> sort(object).
23
24% sort agent: object
25==> subsort(agent,object).
26
27% sort physobj: object
28==> subsort(physobj,object).
29
30% sort bed: physobj
31==> subsort(bed,physobj).
32
33% sort snowflake: physobj
34==> subsort(snowflake,physobj).
35
36% sort sky: physobj
37==> subsort(sky,physobj).
38
39% sort stuff: physobj
40==> subsort(stuff,physobj).
41
42% sort surface: physobj
43==> subsort(surface,physobj).
44
45% sort ground: surface
46==> subsort(ground,surface).
47
48% sort snow: stuff
49==> subsort(snow,stuff).
50
51% sort ball
52==> sort(ball).
53
54% sort food: physobj
55==> subsort(food,physobj).
56
57% sort fruit: food
58==> subsort(fruit,food).
59
60% sort orange: fruit
61==> subsort(orange,fruit).
62
63% sort salad: food
64==> subsort(salad,food).
65
66% sort clothing: physobj
67==> subsort(clothing,physobj).
68
69% sort scarf: clothing
70==> subsort(scarf,clothing).
71
72% sort hat: clothing
73==> subsort(hat,clothing).
74
75% sort vegetablematter: physobj
76==> subsort(vegetablematter,physobj).
77
78% sort coal: vegetablematter
79==> subsort(coal,vegetablematter).
80
81% sort bodypart: physobj
82==> subsort(bodypart,physobj).
83
84% sort hand: bodypart
85==> subsort(hand,bodypart).
86
87% sort papertowels: physobj
88==> subsort(papertowels,physobj).
89
90% sort device: physobj
91==> subsort(device,physobj).
92
93% sort electronicdevice: device
94==> subsort(electronicdevice,device).
95
96% sort lamp: electronicdevice
97==> subsort(lamp,electronicdevice).
98
99% sort cat: physobj
100==> subsort(cat,physobj).
101
102% sort horse: physobj
103==> subsort(horse,physobj).
104
105% sort weapon: physobj
106==> subsort(weapon,physobj).
107
108% sort gun: weapon
109==> subsort(gun,weapon).
110
111% sort bomb: weapon
112==> subsort(bomb,weapon).
113
114% sort bullet: weapon
115==> subsort(bullet,weapon).
116%; location
117
118% sort location
119==> sort(location).
120
121% sort room: location, outside: location
122==> subsort(room,location).
123==> subsort(outside,location).
124%; portal
125
126% sort portal
127==> sort(portal).
128
129% sort door: portal, staircase: portal
130==> subsort(door,portal).
131==> subsort(staircase,portal).
132
133% sort street: portal
134==> subsort(street,portal).
135
136% sort track: portal
137==> subsort(track,portal).
138
139% sort building
140==> sort(building).
141
142% sort fire: object
143==> subsort(fire,object).
144
145% sort smoke: physobj
146==> subsort(smoke,physobj).
147
148% sort furniture: physobj
149==> subsort(furniture,physobj).
150
151% sort chair: furniture
152==> subsort(chair,furniture).
153
154% sort table: furniture
155==> subsort(table,furniture).
156
157% sort bill: physobj
158==> subsort(bill,physobj).
159
160% sort ticket: physobj
161==> subsort(ticket,physobj).
162
163% sort envelope: physobj
164==> subsort(envelope,physobj).
165
166% sort text: physobj
167==> subsort(text,physobj).
168
169% sort book: text
170==> subsort(book,text).
171
172% sort letter: text
173==> subsort(letter,text).
174
175% sort menu: text
176==> subsort(menu,text).
177
178% sort paper: physobj
179==> subsort(paper,physobj).
180
181% sort content
182==> sort(content).
183
184% sort script
185==> sort(script).
186
187% sort container: physobj
188==> subsort(container,physobj).
189
190% sort cigarette: physobj
191==> subsort(cigarette,physobj).
192
193% sort ashtray: physobj
194==> subsort(ashtray,physobj).
195
196% sort umbrella: physobj
197==> subsort(umbrella,physobj).
198
199% sort pen: physobj
200==> subsort(pen,physobj).