Modified lines:  22, 207
Added line:  1, 209
Removed line:  None
Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.
  lucas-cade-original-metaOnt       lucas-cade-refined-metaOnt
  207 lines
4524 bytes
Last modified : Wed Aug 17 10:27:46 2005
       209 lines
4528 bytes
Last modified : Wed Aug 17 10:27:55 2005
        1
1 (In-Package "ONTOLINGUA-USER")     2 (In-Package "ONTOLINGUA-USER")
2     3
3 ;;; Written by user Fionam from session "Session name not supplied [Friday, 19 November 2004, 05:04:06]" owned by group JUST-ME     4 ;;; Written by user Fionam from session "Session name not supplied [Friday, 19 November 2004, 05:04:06]" owned by group JUST-ME
4 ;;; Date: Nov 19, 2004 05:31     5 ;;; Date: Nov 19, 2004 05:31
5 ;;; Definitions: 38     6 ;;; Definitions: 38
6     7
7     8
8 (Define-Ontology     9 (Define-Ontology
9      New-Meta     10      New-Meta
10      (Frame-Ontology)     11      (Frame-Ontology)
11    "Not supplied yet."     12    "Not supplied yet."
12    :Io-Package     13    :Io-Package
13    "ONTOLINGUA-USER")     14    "ONTOLINGUA-USER")
14     15
15     16
16 (In-Ontology (Quote New-Meta))     17 (In-Ontology (Quote New-Meta))
17     18
18     19
19     20
20 ;;; Jarred     21 ;;; Jarred
21     22
22 (Define-Frame Jarred :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Jarred Convert-Paper)))     23 *(Define-Frame Jarred :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Jarred Convert-Paper)))
23     24
24     25
25 ;;; Colin     26 ;;; Colin
26     27
27 (Define-Frame Colin :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Colin Convert-Paper)))     28 (Define-Frame Colin :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Colin Convert-Paper)))
28     29
29     30
30 ;;; Graham     31 ;;; Graham
31     32
32 (Define-Frame Graham :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Graham Book-Accom)))     33 (Define-Frame Graham :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Graham Book-Accom)))
33     34
34     35
35 ;;; My-Fact     36 ;;; My-Fact
36     37
37 (Define-Class My-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))     38 (Define-Class My-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))
38     39
39     40
40 ;;; Dollars-Malaysian     41 ;;; Dollars-Malaysian
41     42
42 (Define-Individual Dollars-Malaysian (Predicate) "Not supplied yet.")     43 (Define-Individual Dollars-Malaysian (Predicate) "Not supplied yet.")
43     44
44     45
45 ;;; Submit-Paper     46 ;;; Submit-Paper
46     47
47 (Define-Individual Submit-Paper (Action) "Not supplied yet.")     48 (Define-Individual Submit-Paper (Action) "Not supplied yet.")
48     49
49     50
50 ;;; Convert-Paper     51 ;;; Convert-Paper
51     52
52 (Define-Individual Convert-Paper (Action) "Not supplied yet.")     53 (Define-Individual Convert-Paper (Action) "Not supplied yet.")
53     54
54     55
55 ;;; Has-Paper     56 ;;; Has-Paper
56     57
57 (Define-Frame Has-Paper :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((My-Fact Has-Paper)))     58 (Define-Frame Has-Paper :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((My-Fact Has-Paper)))
58     59
59     60
60 ;;; Money     61 ;;; Money
61     62
62 (Define-Frame Money :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((My-Fact Money)))     63 (Define-Frame Money :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((My-Fact Money)))
63     64
64     65
65 ;;; Wait-Fact     66 ;;; Wait-Fact
66     67
67 (Define-Class Wait-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))     68 (Define-Class Wait-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))
68     69
69     70
70 ;;; Predicate     71 ;;; Predicate
71     72
72 (Define-Class Predicate (?X) "Not supplied yet." :Def (And (Thing ?X)))     73 (Define-Class Predicate (?X) "Not supplied yet." :Def (And (Thing ?X)))
73     74
74     75
75 ;;; Joe     76 ;;; Joe
76     77
77 (Define-Frame Joe :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Joe Submit-Paper)))     78 (Define-Frame Joe :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Joe Submit-Paper)))
78     79
79     80
80 ;;; Dollars-Us     81 ;;; Dollars-Us
81     82
82 (Define-Individual Dollars-Us (Predicate) "Not supplied yet.")     83 (Define-Individual Dollars-Us (Predicate) "Not supplied yet.")
83     84
84     85
85 ;;; Has-Ticket     86 ;;; Has-Ticket
86     87
87 (Define-Frame Has-Ticket :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of My-Fact Predicate)) :Axioms ((Inform Has-Ticket)))     88 (Define-Frame Has-Ticket :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of My-Fact Predicate)) :Axioms ((Inform Has-Ticket)))
88     89
89     90
90 ;;; Location     91 ;;; Location
91     92
92 (Define-Frame Location :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((Transitive Location)))     93 (Define-Frame Location :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((Transitive Location)))
93     94
94     95
95 ;;; Accomodation-Info     96 ;;; Accomodation-Info
96     97
97 (Define-Individual Accomodation-Info (Predicate) "Not supplied yet.")     98 (Define-Individual Accomodation-Info (Predicate) "Not supplied yet.")
98     99
99     100
100 ;;; Sterling     101 ;;; Sterling
101     102
102 (Define-Individual Sterling (Predicate) "Not supplied yet.")     103 (Define-Individual Sterling (Predicate) "Not supplied yet.")
103     104
104     105
105 ;;; Alison     106 ;;; Alison
106     107
107 (Define-Frame Alison :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Alison Register)))     108 (Define-Frame Alison :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Alison Register)))
108     109
109     110
110 ;;; Agent-Needed     111 ;;; Agent-Needed
111     112
112 (Define-Function Agent-Needed (?Agent-0) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Action ?Value)))     113 (Define-Function Agent-Needed (?Agent-0) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Action ?Value)))
113     114
114     115
115 ;;; Action     116 ;;; Action
116     117
117 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))     118 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))
118     119
119     120
120 ;;; Inform     121 ;;; Inform
121     122
122 (Define-Class Inform (?X) "Not supplied yet." :Def (And (Predicate ?X)))     123 (Define-Class Inform (?X) "Not supplied yet." :Def (And (Predicate ?X)))
123     124
124     125
125 ;;; Has-Accom     126 ;;; Has-Accom
126     127
127 (Define-Frame Has-Accom :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of My-Fact Predicate)) :Axioms ((Inform Has-Accom)))     128 (Define-Frame Has-Accom :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of My-Fact Predicate)) :Axioms ((Inform Has-Accom)))
128     129
129     130
130 ;;; Registered     131 ;;; Registered
131     132
132 (Define-Frame Registered :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((Inform Registered)))     133 (Define-Frame Registered :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((Inform Registered)))
133     134
134     135
135 ;;; Reimburse     136 ;;; Reimburse
136     137
137 (Define-Individual Reimburse (Action) "Not supplied yet.")     138 (Define-Individual Reimburse (Action) "Not supplied yet.")
138     139
139     140
140 ;;; Lucas     141 ;;; Lucas
141     142
142 (Define-Individual Lucas (Agent) "Not supplied yet.")     143 (Define-Individual Lucas (Agent) "Not supplied yet.")
143     144
144     145
145 ;;; Book-Accom     146 ;;; Book-Accom
146     147
147 (Define-Individual Book-Accom (Action) "Not supplied yet.")     148 (Define-Individual Book-Accom (Action) "Not supplied yet.")
148     149
149     150
150 ;;; Find-Accom-Info     151 ;;; Find-Accom-Info
151     152
152 (Define-Individual Find-Accom-Info (Action) "Not supplied yet.")     153 (Define-Individual Find-Accom-Info (Action) "Not supplied yet.")
153     154
154     155
155 ;;; Flight     156 ;;; Flight
156     157
157 (Define-Individual Flight (Predicate) "Not supplied yet.")     158 (Define-Individual Flight (Predicate) "Not supplied yet.")
158     159
159     160
160 ;;; Accepted-Paper     161 ;;; Accepted-Paper
161     162
162 (Define-Frame Accepted-Paper :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of My-Fact Predicate)) :Axioms ((Inform Accepted-Paper)))     163 (Define-Frame Accepted-Paper :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of My-Fact Predicate)) :Axioms ((Inform Accepted-Paper)))
163     164
164     165
165 ;;; Agent     166 ;;; Agent
166     167
167 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))     168 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))
168     169
169     170
170 ;;; Register     171 ;;; Register
171     172
172 (Define-Individual Register (Action) "Not supplied yet.")     173 (Define-Individual Register (Action) "Not supplied yet.")
173     174
174     175
175 ;;; Dan     176 ;;; Dan
176     177
177 (Define-Frame Dan :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Dan Book-Flight)))     178 (Define-Frame Dan :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Dan Book-Flight)))
178     179
179     180
180 ;;; Book-Flight     181 ;;; Book-Flight
181     182
182 (Define-Individual Book-Flight (Action) "Not supplied yet.")     183 (Define-Individual Book-Flight (Action) "Not supplied yet.")
183     184
184     185
185 ;;; Dollars     186 ;;; Dollars
186     187
187 (Define-Individual Dollars (Predicate) "Not supplied yet.")     188 (Define-Individual Dollars (Predicate) "Not supplied yet.")
188     189
189     190
190 ;;; Transitive     191 ;;; Transitive
191     192
192 (Define-Class Transitive (?X) "Not supplied yet." :Def (And (Predicate ?X)))     193 (Define-Class Transitive (?X) "Not supplied yet." :Def (And (Predicate ?X)))
193     194
194     195
195 ;;; Sophie     196 ;;; Sophie
196     197
197 (Define-Frame Sophie :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Sophie Reimburse)))     198 (Define-Frame Sophie :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Sophie Reimburse)))
198     199
199     200
200 ;;; Registration-Fee     201 ;;; Registration-Fee
201     202
202 (Define-Individual Registration-Fee (Predicate) "Not supplied yet.")     203 (Define-Individual Registration-Fee (Predicate) "Not supplied yet.")
203     204
204     205
205 ;;; Ask-Fact     206 ;;; Ask-Fact
206     207
207 (Define-Class Ask-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))     208
        209 (Define-Class Ask-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))
Generated by diff2html on Wed Aug 17 10:30:56 2005
Command-line: ./diff2html lucas-cade-original-metaOnt lucas-cade-refined-metaOnt