Modified lines:  27, 47, 52, 57, 82, 122, 142, 192, 257
Added line:  1, 2, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330
Removed line:  None
Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.
  lucas-cade-original-ont       lucas-cade-refined-ont
  268 lines
8368 bytes
Last modified : Wed Aug 17 10:24:28 2005
       330 lines
11036 bytes
Last modified : Wed Aug 17 10:27:40 2005
        1
        2
1 In-Package "ONTOLINGUA-USER")     3 In-Package "ONTOLINGUA-USER")
2     4
3 ;;; Written by user Fionam from session "learners" owned by group UNIVERSE     5 ;;; Written by user Fionam from session "learners" owned by group UNIVERSE
4 ;;; Date: Nov 17, 2004 09:35     6 ;;; Date: Nov 17, 2004 09:35
5 ;;; Definitions: 54     7 ;;; Definitions: 54
6     8
7     9
8 (Define-Ontology     10 (Define-Ontology
9      Sem-Web-Lucas     11      Sem-Web-Lucas
10      (Frame-Ontology)     12      (Frame-Ontology)
11    "Not supplied yet."     13    "Not supplied yet."
12    :Io-Package     14    :Io-Package
13    "ONTOLINGUA-USER")     15    "ONTOLINGUA-USER")
14     16
15     17
16 (In-Ontology (Quote Sem-Web-Lucas))     18 (In-Ontology (Quote Sem-Web-Lucas))
17     19
18     20
19     21
20 ;;; Place     22 ;;; Place
21     23
22 (Define-Class Place (?X) "Not supplied yet." :Def (And (Thing ?X)))     24 (Define-Class Place (?X) "Not supplied yet." :Def (And (Thing ?X)))
23     25
24     26
25 ;;; Register     27 ;;; Register
26     28
27 (Define-Axiom Register "Not supplied yet." := (=> (And (Accepted-Paper ?Agent ?Paper ?Conference Pseudo-Var ?Sit1) (Money ?Agent ?Amount ?Sit1) (Registration-Fee ?Conference ?Cost ?Sit1) (< ?Cost ?Amount)) (And (Registered ?Agent ?Conference Pseudo-Var ?Sit2) (= ?Newamount (- ?Amount ?Cost)) (Money ?Agent ?Newamount ?Sit2) (Not (Money ?Agent ?Amount ?Sit2)))))     29 (Define-Axiom Register "Not supplied yet." := (=> (And (Accepted-Paper ?Agent ?Paper ?Conference Pseudo-Var ?Sit1) (Money ?Agent ?MetaVar ?Amount ?Sit1) (Registration-Fee ?Conference ?Cost ?Sit1) (< ?Cost ?Amount)) (And (Registered ?Agent ?Conference Pseudo-Var ?Sit2) (= ?Newamount (- ?Amount ?Cost)) (Money ?Agent ?MetaVar ?Newamount ?Sit2) (Not (Money ?Agent ?MetaVar ?Amount ?Sit2)))))
28     30
29     31
30 ;;; At-Goal     32 ;;; At-Goal
31     33
32 (Define-Relation At-Goal (?Agent ?Goal-Class ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Goal-Class ?Goal-Class) (Sit-Var ?Situation)))     34 (Define-Relation At-Goal (?Agent ?Goal-Class ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Goal-Class ?Goal-Class) (Sit-Var ?Situation)))
33     35
34     36
35 ;;; Goal     37 ;;; Goal
36     38
37 (Define-Individual Goal (Goal-Class) "Not supplied yet.")     39 (Define-Individual Goal (Goal-Class) "Not supplied yet.")
38     40
39     41
40 ;;; Find-Accom-Info     42 ;;; Find-Accom-Info
41     43
42 (Define-Axiom Find-Accom-Info "Not supplied yet." := (=> (Accepted-Paper ?Agent ?Paper ?Conference Pseudo-Var ?Sit1) (Accomodation-Info ?Conference Pseudo-Var ?Sit2)))     44 (Define-Axiom Find-Accom-Info "Not supplied yet." := (=> (Accepted-Paper ?Agent ?Paper ?Conference Pseudo-Var ?Sit1) (Accomodation-Info ?Conference Pseudo-Var ?Sit2)))
43     45
44     46
45 ;;; Cade     47 ;;; Cade
46     48
47 (Define-Frame Cade :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Conference) (Location Miami [(Start)]) (Registration-Fee 200 [(Start)])) :Axioms ((Accomodation-Info Cade 50 [(Start)])))     49 (Define-Frame Cade :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Conference) (Location Miami [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)]) (Registration-Fee 200 [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)])) :Axioms ((Accomodation-Info Cade 50 [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)])))
48     50
49     51
50 ;;; Book-Accom     52 ;;; Book-Accom
51     53
52 (Define-Axiom Book-Accom "Not supplied yet." := (=> (And (Accomodation-Info ?Conference ?Cost ?Sit1) (Money ?Agent ?Amount ?Sit1) (< ?Cost ?Amount)) (And (Has-Accom ?Agent ?Conference Pseudo-Var ?Sit2) (= ?Newamount (- ?Amount ?Cost)) (Money ?Agent ?Newamount ?Sit2) (Not (Money ?Agent ?Amount ?Sit2)))))     54 (Define-Axiom Book-Accom "Not supplied yet." := (=> (And (Accomodation-Info ?Conference ?Cost ?Sit1) (Money ?Agent ?MetaVar ?Amount ?Sit1) (< ?Cost ?Amount)) (And (Has-Accom ?Agent ?Conference Pseudo-Var ?Sit2) (= ?Newamount (- ?Amount ?Cost)) (Money ?Agent ?MetaVar ?Newamount ?Sit2) (Not (Money ?Agent ?MetaVar ?Amount ?Sit2)))))
53     55
54     56
55 ;;; Money     57 ;;; Money
56     58
57 (Define-Function Money (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Number ?Value) (Sit-Var ?Situation)))     59 (Define-Function Money (?Agent-0 ?Currency3 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Currency ?Currency3) (Number ?Value) (Sit-Var ?Situation)))
58     60
59     61
60 ;;; Has-Ticket     62 ;;; Has-Ticket
61     63
62 (Define-Function Has-Ticket (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Confirmation-Number ?Value) (Sit-Var ?Situation)))     64 (Define-Function Has-Ticket (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Confirmation-Number ?Value) (Sit-Var ?Situation)))
63     65
64     66
65 ;;; Conference     67 ;;; Conference
66     68
67 (Define-Class Conference (?X) "Not supplied yet." :Def (And (Event ?X)))     69 (Define-Class Conference (?X) "Not supplied yet." :Def (And (Event ?X)))
68     70
69     71
70 ;;; Accomodation-Info     72 ;;; Accomodation-Info
71     73
72 (Define-Function Accomodation-Info (?Conference-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Conference ?Conference-0) (Confirmation-Number ?Value) (Sit-Var ?Situation)))     74 (Define-Function Accomodation-Info (?Conference-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Conference ?Conference-0) (Confirmation-Number ?Value) (Sit-Var ?Situation)))
73     75
74     76
75 ;;; Currency     77 ;;; Currency
76     78
77 (Define-Class Currency (?X) "Not supplied yet." :Def (And (Thing ?X)))     79 (Define-Class Currency (?X) "Not supplied yet." :Def (And (Thing ?X)))
78     80
79     81
80 ;;; Edinburgh     82 ;;; Edinburgh
81     83
82 (Define-Frame Edinburgh :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of City)) :Axioms ((Flight Edinburgh Miami 300 [(Start)])))     84 (Define-Frame Edinburgh :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of City)) :Axioms ((Flight Edinburgh Miami 300 [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)])))
83     85
84     86
85 ;;; Action     87 ;;; Action
86     88
87 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))     89 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))
88     90
89     91
90 ;;; Isabelle-Paper-Dvi     92 ;;; Isabelle-Paper-Dvi
91     93
92 (Define-Individual Isabelle-Paper-Dvi (Dvi-Paper) "Not supplied yet.")     94 (Define-Individual Isabelle-Paper-Dvi (Dvi-Paper) "Not supplied yet.")
93     95
94     96
95 ;;; Isabelle-Paper-Ps     97 ;;; Isabelle-Paper-Ps
96     98
97 (Define-Individual Isabelle-Paper-Ps (Ps-Paper) "Not supplied yet.")     99 (Define-Individual Isabelle-Paper-Ps (Ps-Paper) "Not supplied yet.")
98     100
99     101
100 ;;; City     102 ;;; City
101     103
102 (Define-Class City (?X) "Not supplied yet." :Def (And (Place ?X)))     104 (Define-Class City (?X) "Not supplied yet." :Def (And (Place ?X)))
103     105
104     106
105 ;;; Registration-Fee     107 ;;; Registration-Fee
106     108
107 (Define-Function Registration-Fee (?Conference-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Conference ?Conference-0) (Number ?Value) (Sit-Var ?Situation)))     109 (Define-Function Registration-Fee (?Conference-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Conference ?Conference-0) (Number ?Value) (Sit-Var ?Situation)))
108     110
109     111
110 ;;; Goal-Class     112 ;;; Goal-Class
111     113
112 (Define-Class Goal-Class (?X) "Not supplied yet." :Def (And (Thing ?X)))     114 (Define-Class Goal-Class (?X) "Not supplied yet." :Def (And (Thing ?X)))
113     115
114     116
115 ;;; Object     117 ;;; Object
116     118
117 (Define-Class Object (?X) "Not supplied yet." :Def (And (Thing ?X)))     119 (Define-Class Object (?X) "Not supplied yet." :Def (And (Thing ?X)))
118     120
119     121
120 ;;; Lucas     122 ;;; Lucas
121     123
122 (Define-Frame Lucas :Own-Slots ((Documentation "Not supplied yet.") (Has-Paper Isabelle-Paper-Dvi [(Start)]) (Instance-Of Agent) (Location Edinburgh [(Start)])) :Axioms ((Money Lucas 1000 [(Start)])))     124 (Define-Frame Lucas :Own-Slots ((Documentation "Not supplied yet.") (Has-Paper Isabelle-Paper-Dvi [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)]) (Instance-Of Agent) (Location Edinburgh [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)]) (Has-Paper Isabelle-Paper-Ps [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)]) (Accepted-Paper Isabelle-Paper-Ps Cade 125 [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)]) (Registered Cade 75 [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)]) (Has-Accom Cade 13 [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)]) (Has-Ticket 4902 [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)]) (Attend-Conference Cade [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)])) :Axioms ((Money Lucas Dollars 1000 [(Reimburse Miami Edinburgh Cade Dollars Lucas)(Book-Flight Miami Edinburgh Dollars Lucas Cade)(Book-Accom Cade Dollars Lucas)(Register Cade Dollars Lucas Isabelle-Paper-Ps)(Start)])))
123     125
124     126
125 ;;; Dollars     127 ;;; Dollars
126     128
127 (Define-Individual Dollars (Currency) "Not supplied yet.")     129 (Define-Individual Dollars (Currency) "Not supplied yet.")
128     130
129     131
130 ;;; Sterling     132 ;;; Sterling
131     133
132 (Define-Function Sterling (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Number ?Value) (Sit-Var ?Situation)))     134 (Define-Function Sterling (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Number ?Value) (Sit-Var ?Situation)))
133     135
134     136
135 ;;; Has-Accom     137 ;;; Has-Accom
136     138
137 (Define-Function Has-Accom (?Agent-0 ?Conference-1 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Conference ?Conference-1) (Confirmation-Number ?Value) (Sit-Var ?Situation)))     139 (Define-Function Has-Accom (?Agent-0 ?Conference-1 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Conference ?Conference-1) (Confirmation-Number ?Value) (Sit-Var ?Situation)))
138     140
139     141
140 ;;; Book-Flight     142 ;;; Book-Flight
141     143
142 (Define-Axiom Book-Flight "Not supplied yet." := (=> (And (Location ?Agent ?Agent-Loc ?Sit1) (Location ?Conference ?Conf-Loc ?Sit1) (Flight ?Agent-Loc ?Conf-Loc ?Price ?Sit1) (Money ?Agent ?Amount ?Sit1) (< ?Price ?Amount)) (And (Has-Ticket ?Agent Pseudo-Var ?Sit2) (= ?Newamount (- ?Amount ?Price)) (Money ?Agent ?Newamount ?Sit2) (Not (Money ?Agent ?Amount ?Sit2)))))     144 (Define-Axiom Book-Flight "Not supplied yet." := (=> (And (Location ?Agent ?Agent-Loc ?Sit1) (Location ?Conference ?Conf-Loc ?Sit1) (Flight ?Agent-Loc ?Conf-Loc ?Price ?Sit1) (Money ?Agent ?MetaVar ?Amount ?Sit1) (< ?Price ?Amount)) (And (Has-Ticket ?Agent Pseudo-Var ?Sit2) (= ?Newamount (- ?Amount ?Price)) (Money ?Agent ?MetaVar ?Newamount ?Sit2) (Not (Money ?Agent ?MetaVar ?Amount ?Sit2)))))
143     145
144     146
145 ;;; Location     147 ;;; Location
146     148
147 (Define-Relation Location (?Thing ?Place ?Situation) "Not supplied yet." :Def (And (Thing ?Thing) (Place ?Place) (Sit-Var ?Situation)))     149 (Define-Relation Location (?Thing ?Place ?Situation) "Not supplied yet." :Def (And (Thing ?Thing) (Place ?Place) (Sit-Var ?Situation)))
148     150
149     151
150 ;;; Dollars-Malaysian-Pred     152 ;;; Dollars-Malaysian-Pred
151     153
152 (Define-Function Dollars-Malaysian-Pred (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Number ?Value) (Sit-Var ?Situation)))     154 (Define-Function Dollars-Malaysian-Pred (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Number ?Value) (Sit-Var ?Situation)))
153     155
154     156
155 ;;; Paper     157 ;;; Paper
156     158
157 (Define-Class Paper (?X) "Not supplied yet." :Def (And (Object ?X)))     159 (Define-Class Paper (?X) "Not supplied yet." :Def (And (Object ?X)))
158     160
159     161
160 ;;; Confirmation-Number     162 ;;; Confirmation-Number
161     163
162 (Define-Class Confirmation-Number (?X) "Not supplied yet." :Def (And (Thing ?X)))     164 (Define-Class Confirmation-Number (?X) "Not supplied yet." :Def (And (Thing ?X)))
163     165
164     166
165 ;;; Pseudo-Var     167 ;;; Pseudo-Var
166     168
167 (Define-Individual Pseudo-Var (Confirmation-Number) "Not supplied yet.")     169 (Define-Individual Pseudo-Var (Confirmation-Number) "Not supplied yet.")
168     170
169     171
170 ;;; Miami     172 ;;; Miami
171     173
172 (Define-Individual Miami (City) "Not supplied yet.")     174 (Define-Individual Miami (City) "Not supplied yet.")
173     175
174     176
175 ;;; Accepted-Paper     177 ;;; Accepted-Paper
176     178
177 (Define-Function Accepted-Paper (?Agent-0 ?Paper-1 ?Conference-2 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Paper ?Paper-1) (Conference ?Conference-2) (Confirmation-Number ?Value) (Sit-Var ?Situation)))     179 (Define-Function Accepted-Paper (?Agent-0 ?Paper-1 ?Conference-2 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Paper ?Paper-1) (Conference ?Conference-2) (Confirmation-Number ?Value) (Sit-Var ?Situation)))
178     180
179     181
180 ;;; Agent-Needed     182 ;;; Agent-Needed
181     183
182 (Define-Relation Agent-Needed (?Agent ?Action ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Action ?Action) (Sit-Var ?Situation)))     184 (Define-Relation Agent-Needed (?Agent ?Action ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Action ?Action) (Sit-Var ?Situation)))
183     185
184     186
185 ;;; Attend-Conference     187 ;;; Attend-Conference
186     188
187 (Define-Relation Attend-Conference (?Agent ?Conference ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Conference ?Conference) (Sit-Var ?Situation)))     189 (Define-Relation Attend-Conference (?Agent ?Conference ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Conference ?Conference) (Sit-Var ?Situation)))
188     190
189     191
190 ;;; Reimburse     192 ;;; Reimburse
191     193
192 (Define-Axiom Reimburse "Not supplied yet." := (=> (And (Registered ?Agent ?Conference Pseudo-Var ?Sit1) (Registration-Fee ?Conference ?Conf-Cost ?Sit1) (Has-Accom ?Agent ?Conference Pseudo-Var ?Sit1) (Accomodation-Info ?Conference ?Room-Cost ?Sit1) (Has-Ticket ?Agent Pseudo-Var ?Sit1) (Location ?Agent ?Agent-Loc ?Sit1) (Location ?Conference ?Conf-Loc ?Sit1) (Flight ?Agent-Loc ?Conf-Loc ?Flight-Cost ?Sit1) (Money ?Agent ?Amount ?Sit1)) (And (Attend-Conference ?Agent ?Conference ?Sit2) (= ?Total (+ ?Conf-Cost ?Room-Cost ?Flight-Cost)) (= ?Newamount (+ ?Amount ?Total)) (Money ?Agent ?Newamount ?Sit2) (Not (Money ?Agent ?Amount ?Sit2)))))     194 (Define-Axiom Reimburse "Not supplied yet." := (=> (And (Registered ?Agent ?Conference Pseudo-Var ?Sit1) (Registration-Fee ?Conference ?Conf-Cost ?Sit1) (Has-Accom ?Agent ?Conference Pseudo-Var ?Sit1) (Accomodation-Info ?Conference ?Room-Cost ?Sit1) (Has-Ticket ?Agent Pseudo-Var ?Sit1) (Location ?Agent ?Agent-Loc ?Sit1) (Location ?Conference ?Conf-Loc ?Sit1) (Flight ?Agent-Loc ?Conf-Loc ?Flight-Cost ?Sit1) (Money ?Agent ?MetaVar ?Amount ?Sit1)) (And (Attend-Conference ?Agent ?Conference ?Sit2) (= ?Total (+ ?Conf-Cost ?Room-Cost ?Flight-Cost)) (= ?Newamount (+ ?Amount ?Total)) (Money ?Agent ?MetaVar ?Newamount ?Sit2) (Not (Money ?Agent ?MetaVar ?Amount ?Sit2)))))
193     195
194     196
195 ;;; Agent     197 ;;; Agent
196     198
197 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))     199 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))
198     200
199     201
200 ;;; Ps-Paper     202 ;;; Ps-Paper
201     203
202 (Define-Class Ps-Paper (?X) "Not supplied yet." :Def (And (Paper ?X)))     204 (Define-Class Ps-Paper (?X) "Not supplied yet." :Def (And (Paper ?X)))
203     205
204     206
205 ;;; Has-Paper     207 ;;; Has-Paper
206     208
207 (Define-Relation Has-Paper (?Agent ?Paper ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Paper ?Paper) (Sit-Var ?Situation)))     209 (Define-Relation Has-Paper (?Agent ?Paper ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Paper ?Paper) (Sit-Var ?Situation)))
208     210
209     211
210 ;;; Event     212 ;;; Event
211     213
212 (Define-Class Event (?X) "Not supplied yet." :Def (And (Thing ?X)))     214 (Define-Class Event (?X) "Not supplied yet." :Def (And (Thing ?X)))
213     215
214     216
215 ;;; Pdf-Paper     217 ;;; Pdf-Paper
216     218
217 (Define-Class Pdf-Paper (?X) "Not supplied yet." :Def (And (Paper ?X)))     219 (Define-Class Pdf-Paper (?X) "Not supplied yet." :Def (And (Paper ?X)))
218     220
219     221
220 ;;; Isabelle-Paper-Pdf     222 ;;; Isabelle-Paper-Pdf
221     223
222 * (Define-Individual Isabelle-Paper-Pdf (Pdf-Paper) "Not supplied yet.")     224 * (Define-Individual Isabelle-Paper-Pdf (Pdf-Paper) "Not supplied yet.")
223     225
224     226
225 ;;; Dollars-Pred     227 ;;; Dollars-Pred
226     228
227 (Define-Function Dollars-Pred (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Number ?Value) (Sit-Var ?Situation)))     229 (Define-Function Dollars-Pred (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Number ?Value) (Sit-Var ?Situation)))
228     230
229     231
230 ;;; Registered     232 ;;; Registered
231     233
232 (Define-Function Registered (?Agent-0 ?Conference-1 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Conference ?Conference-1) (Confirmation-Number ?Value) (Sit-Var ?Situation)))     234 (Define-Function Registered (?Agent-0 ?Conference-1 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Conference ?Conference-1) (Confirmation-Number ?Value) (Sit-Var ?Situation)))
233     235
234     236
235 ;;; Flight     237 ;;; Flight
236     238
237 (Define-Function Flight (?Place-0 ?Place-1 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Place ?Place-0) (Place ?Place-1) (Number ?Value) (Sit-Var ?Situation)))     239 (Define-Function Flight (?Place-0 ?Place-1 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Place ?Place-0) (Place ?Place-1) (Number ?Value) (Sit-Var ?Situation)))
238     240
239     241
240 ;;; Dvi-Paper     242 ;;; Dvi-Paper
241     243
242 (Define-Class Dvi-Paper (?X) "Not supplied yet." :Def (And (Paper ?X)))     244 (Define-Class Dvi-Paper (?X) "Not supplied yet." :Def (And (Paper ?X)))
243     245
244     246
245 ;;; Convert-Paper     247 ;;; Convert-Paper
246     248
247 (Define-Axiom Convert-Paper "Not supplied yet." := (=> (And (Has-Paper ?Agent ?Paper-Dvi ?Sit1) (Dvi-Paper ?Paper-Dvi) (Ps-Paper ?Paper-Ps)) (And (Has-Paper ?Agent ?Paper-Ps ?Sit2))))     249 (Define-Axiom Convert-Paper "Not supplied yet." := (=> (And (Has-Paper ?Agent ?Paper-Dvi ?Sit1) (Dvi-Paper ?Paper-Dvi) (Ps-Paper ?Paper-Ps)) (And (Has-Paper ?Agent ?Paper-Ps ?Sit2))))
248     250
249     251
250 ;;; Dollars-Us-Pred     252 ;;; Dollars-Us-Pred
251     253
252 (Define-Function Dollars-Us-Pred (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Number ?Value) (Sit-Var ?Situation)))     254 (Define-Function Dollars-Us-Pred (?Agent-0 ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Number ?Value) (Sit-Var ?Situation)))
253     255
254     256
255 ;;; Submit-Paper     257 ;;; Submit-Paper
256     258
257 (Define-Axiom Submit-Paper "Not supplied yet." := (=> (And (Has-Paper ?Agent ?Paper ?Sit1) (Paper ?Paper)) (And (Accepted-Paper ?Agent ?Paper ?Conference Pseudo-Var ?Sit2))))     259 (Define-Axiom Submit-Paper "Not supplied yet." := (=> (And (Has-Paper ?Agent ?Paper ?Sit1) (Ps-Paper ?Paper)) (And (Accepted-Paper ?Agent ?Paper ?Conference Pseudo-Var ?Sit2))))
258     260
259     261
260 ;;; Sit-Var     262 ;;; Sit-Var
261     263
262 (Define-Class Sit-Var (?X) "Not supplied yet." :Def (And (Thing ?X)))     264 (Define-Class Sit-Var (?X) "Not supplied yet." :Def (And (Thing ?X)))
263     265
264     266
265 ;;; Start     267 ;;; Start
266     268
267 (Define-Individual Start (Sit-Var) "Not supplied yet.")     269 (Define-Individual Start (Sit-Var) "Not supplied yet.")
268     270
        271
        272
        273
        274
        275
        276
        277
        278
        279
        280
        281
        282
        283
        284
        285
        286
        287
        288
        289
        290
        291
        292
        293
        294
        295
        296
        297
        298
        299
        300
        301
        302
        303
        304
        305
        306
        307
        308
        309
        310
        311
        312
        313
        314
        315
        316
        317
        318
        319
        320
        321
        322
        323
        324
        325
        326
        327
        328
        329
        330
Generated by diff2html on Wed Aug 17 10:30:42 2005
Command-line: ./diff2html lucas-cade-original-ont lucas-cade-refined-ont