Modified lines:  3, 31, 56, 96, 101, 106, 116, 136
Added line:  1, 2, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222
Removed line:  None
Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.
  sumo-original-ont       sumo-refined-ont
  192 lines
4732 bytes
Last modified : Wed Aug 17 10:17:53 2005
       222 lines
5844 bytes
Last modified : Wed Aug 17 10:22:22 2005
        1
        2
1 (In-Package "ONTOLINGUA-USER")     3 (In-Package "ONTOLINGUA-USER")
2     4
3 ;;; Written by user Fionam from session "Session name not supplied [Tuesday, 25 January 2005, 03:10:57]" owned by group JUST-ME     5 ;;; Written by user Fionam from session "Session name not supplied [(Tell Communication-A Agent-B Physical-A Object-A)(Do-A Object-A Physical-A Communication-A Action-A Agent-A)(Start)]" owned by group JUST-ME
4 ;;; Date: Jan 25, 2005 10:37     6 ;;; Date: Jan 25, 2005 10:37
5 ;;; Definitions: 34     7 ;;; Definitions: 34
6     8
7     9
8 (Define-Ontology     10 (Define-Ontology
9      Sumo     11      Sumo
10      (Frame-Ontology)     12      (Frame-Ontology)
11    "This is an attempt to recreate a part of the SUMO ontology in KIF to test on the system."     13    "This is an attempt to recreate a part of the SUMO ontology in KIF to test on the system."
12    :Io-Package     14    :Io-Package
13    "ONTOLINGUA-USER")     15    "ONTOLINGUA-USER")
14     16
15     17
16 (In-Ontology (Quote Sumo))     18 (In-Ontology (Quote Sumo))
17     19
18     20
19 ;;; Start     21 ;;; Start
20     22
21 (Define-Individual Start (Sit-Var) "Not supplied yet.")     23 (Define-Individual Start (Sit-Var) "Not supplied yet.")
22     24
23     25
24 ;;; Do-B-Agent     26 ;;; Do-B-Agent
25     27
26 (Define-Individual Do-B-Agent (Agent) "Not supplied yet.")     28 (Define-Individual Do-B-Agent (Agent) "Not supplied yet.")
27     29
28     30
29 ;;; Agent-B     31 ;;; Agent-B
30     32
31 (Define-Frame Agent-B :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Destination Agent-B Communication-A [Start])))     33 (Define-Frame Agent-B :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent) (Knows Communication-A [(Tell Communication-A Agent-B Physical-A Object-A)(Do-A Object-A Physical-A Communication-A Action-A Agent-A)(Start)])) :Axioms ((Destination Agent-B Communication-A [(Tell Communication-A Agent-B Physical-A Object-A)(Do-A Object-A Physical-A Communication-A Action-A Agent-A)(Start)])))
32     34
33     35
34 ;;; Cognitive-Agent     36 ;;; Cognitive-Agent
35     37
36 (Define-Class Cognitive-Agent (?X) "Not supplied yet." :Def (And (Agent ?X)))     38 (Define-Class Cognitive-Agent (?X) "Not supplied yet." :Def (And (Agent ?X)))
37     39
38     40
39 ;;; Do-A     41 ;;; Do-A
40     42
41 (Define-Axiom Do-A "Not supplied yet." := (=> (And (Result-Rel ?Action ?Entity ?Sit1) (Performs ?Agent ?Action ?Sit1) (Patient ?Comm ?Physical ?Sit1)) (And (Represents ?Physical ?Entity ?Sit2))))     43 (Define-Axiom Do-A "Not supplied yet." := (=> (And (Result-Rel ?Action ?Entity ?Sit1) (Performs ?Agent ?Action ?Sit1) (Patient ?Comm ?Physical ?Sit1)) (And (Represents ?Physical ?Entity ?Sit2))))
42     44
43     45
44 ;;; Domains     46 ;;; Domains
45     47
46 (Define-Class Domains (?X) "Not supplied yet." :Def (And (Thing ?X)))     48 (Define-Class Domains (?X) "Not supplied yet." :Def (And (Thing ?X)))
47     49
48     50
49 ;;; Entity     51 ;;; Entity
50     52
51 (Define-Class Entity (?X) "Not supplied yet." :Def (And (Thing ?X)))     53 (Define-Class Entity (?X) "Not supplied yet." :Def (And (Thing ?X)))
52     54
53     55
54 ;;; Tell     56 ;;; Tell
55     57
56 (Define-Axiom Tell "Not supplied yet." := (=> (And (Refers ?Physical ?Entity ?Sit1) (Patient ?Comm ?Physical ?Sit1) (Destination ?Agent ?Comm ?Sit1)) (And (Knows ?Agent ?Comm ?Sit2))))     58 (Define-Axiom Tell "Not supplied yet." := (=> (And (Represents ?Physical ?Entity ?Sit1) (Patient ?Comm ?Physical ?Sit1) (Destination ?Agent ?Comm ?Sit1)) (And (Knows ?Agent ?Comm ?Sit2))))
57     59
58     60
59 ;;; Object     61 ;;; Object
60     62
61 (Define-Class Object (?X) "Not supplied yet." :Def (And (Entity ?X)))     63 (Define-Class Object (?X) "Not supplied yet." :Def (And (Entity ?X)))
62     64
63     65
64 ;;; Action     66 ;;; Action
65     67
66 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))     68 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))
67     69
68     70
69 ;;; Entity-A     71 ;;; Entity-A
70     72
71 (Define-Individual Entity-A (Entity) "Not supplied yet.")     73 (Define-Individual Entity-A (Entity) "Not supplied yet.")
72     74
73     75
74 ;;; Performs     76 ;;; Performs
75     77
76 (Define-Relation Performs (?Agent ?Action ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Action ?Action) (Sit-Var ?Situation)))     78 (Define-Relation Performs (?Agent ?Action ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Action ?Action) (Sit-Var ?Situation)))
77     79
78     80
79 ;;; Sit-Var     81 ;;; Sit-Var
80     82
81 (Define-Class Sit-Var (?X) "Not supplied yet." :Def (And (Thing ?X)))     83 (Define-Class Sit-Var (?X) "Not supplied yet." :Def (And (Thing ?X)))
82     84
83     85
84 ;;; Physical     86 ;;; Physical
85     87
86 (Define-Class Physical (?X) "Not supplied yet." :Def (And (Thing ?X)))     88 (Define-Class Physical (?X) "Not supplied yet." :Def (And (Thing ?X)))
87     89
88     90
89 ;;; Do-B     91 ;;; Do-B
90     92
91 (Define-Axiom Do-B "Not supplied yet." := (=> (And (Result-Rel ?Action ?Entity ?Sit1) (Performs ?Agent ?Action ?Sit1) (Domain-Rel ?Action ?Domain ?Sit1)) (And (Refers ?Physical ?Entity ?Sit2))))     93 (Define-Axiom Do-B "Not supplied yet." := (=> (And (Result-Rel ?Action ?Entity ?Sit1) (Performs ?Agent ?Action ?Sit1) (Domain-Rel ?Action ?Domain ?Sit1)) (And (Refers ?Physical ?Entity ?Sit2))))
92     94
93     95
94 ;;; Physical-A     96 ;;; Physical-A
95     97
96 (Define-Individual Physical-A (Physical) "Not supplied yet.")     98 (Define-Frame Physical-A :Own-Slots ((Instance-Of Physical) (Represents Object-A [(Tell Communication-A Agent-B Physical-A Object-A)(Do-A Object-A Physical-A Communication-A Action-A Agent-A)(Start)])) :Axioms ((Refers Physical-A Object-A [(Tell Communication-A Agent-B Physical-A Object-A)(Do-A Object-A Physical-A Communication-A Action-A Agent-A)(Start)])))
97     99
98     100
99 ;;; Action-A     101 ;;; Action-A
100     102
101 (Define-Frame Action-A :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Action) (Result-Rel Entity-A [Start])) :Axioms ((Domain-Rel Action-A Domain-A [Start])))     103 (Define-Frame Action-A :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Action) (Result-Rel Meta-Var [(Tell Communication-A Agent-B Physical-A Object-A)(Do-A Object-A Physical-A Communication-A Action-A Agent-A)(Start)])) :Axioms ((Domain-Rel Action-A Domain-A [(Tell Communication-A Agent-B Physical-A Object-A)(Do-A Object-A Physical-A Communication-A Action-A Agent-A)(Start)])))
102     104
103     105
104 ;;; Communication-A     106 ;;; Communication-A
105     107
106 (Define-Frame Communication-A :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Communication)) :Axioms ((Patient Communication-A Physical-A [Start])))     108 (Define-Frame Communication-A :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Communication)) :Axioms ((Patient Communication-A Physical-A [(Tell Communication-A Agent-B Physical-A Object-A)(Do-A Object-A Physical-A Communication-A Action-A Agent-A)(Start)])))
107     109
108     110
109 ;;; Destination     111 ;;; Destination
110     112
111 (Define-Relation Destination (?Agent ?Communication ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Communication ?Communication) (Sit-Var ?Situation)))     113 (Define-Relation Destination (?Agent ?Communication ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Communication ?Communication) (Sit-Var ?Situation)))
112     114
113     115
114 ;;; Agent-A     116 ;;; Agent-A
115     117
116 (Define-Frame Agent-A :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Performs Agent-A Action-A [Start])))     118 (Define-Frame Agent-A :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Performs Agent-A Action-A [(Tell Communication-A Agent-B Physical-A Object-A)(Do-A Object-A Physical-A Communication-A Action-A Agent-A)(Start)])))
117     119
118     120
119 ;;; Do-A-Agent     121 ;;; Do-A-Agent
120     122
121 (Define-Individual Do-A-Agent (Agent) "Not supplied yet.")     123 (Define-Individual Do-A-Agent (Agent) "Not supplied yet.")
122     124
123     125
124 ;;; Transfer     126 ;;; Transfer
125     127
126 (Define-Class Transfer (?X) "Not supplied yet." :Def (And (Thing ?X)))     128 (Define-Class Transfer (?X) "Not supplied yet." :Def (And (Thing ?X)))
127     129
128     130
129 ;;; Refers     131 ;;; Refers
130     132
131 (Define-Relation Refers (?Physical ?Entity ?Situation) "Not supplied yet." :Def (And (Physical ?Physical) (Entity ?Entity) (Sit-Var ?Situation)))     133 (Define-Relation Refers (?Physical ?Entity ?Situation) "Not supplied yet." :Def (And (Physical ?Physical) (Entity ?Entity) (Sit-Var ?Situation)))
132     134
133     135
134 ;;; Result-Rel     136 ;;; Result-Rel
135     137
136 (Define-Relation Result-Rel (?Action ?Entity ?Situation) "Not supplied yet." :Def (And (Action ?Action) (Entity ?Entity) (Sit-Var ?Situation)))     138 (Define-Relation Result-Rel (?Action ?Entity ?Situation) "Not supplied yet." :Def (And (Action ?Action) (Object ?Entity) (Sit-Var ?Situation)))
137     139
138     140
139 ;;; Object-A     141 ;;; Object-A
140     142
141 (Define-Individual Object-A (Object) "Not supplied yet.")     143 (Define-Individual Object-A (Object) "Not supplied yet.")
142     144
143     145
144 ;;; Agent     146 ;;; Agent
145     147
146 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))     148 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))
147     149
148     150
149 ;;; Domain-Rel     151 ;;; Domain-Rel
150     152
151 (Define-Relation Domain-Rel (?Action ?Domains ?Situation) "Not supplied yet." :Def (And (Action ?Action) (Domains ?Domains) (Sit-Var ?Situation)))     153 (Define-Relation Domain-Rel (?Action ?Domains ?Situation) "Not supplied yet." :Def (And (Action ?Action) (Domains ?Domains) (Sit-Var ?Situation)))
152     154
153     155
154 ;;; Tell-Agent     156 ;;; Tell-Agent
155     157
156 (Define-Individual Tell-Agent (Agent) "Not supplied yet.")     158 (Define-Individual Tell-Agent (Agent) "Not supplied yet.")
157     159
158     160
159 ;;; Result-A     161 ;;; Result-A
160     162
161 (Define-Individual Result-A (Result) "Not supplied yet.")     163 (Define-Individual Result-A (Result) "Not supplied yet.")
162     164
163     165
164 ;;; Domain-A     166 ;;; Domain-A
165     167
166 (Define-Individual Domain-A (Domains) "Not supplied yet.")     168 (Define-Individual Domain-A (Domains) "Not supplied yet.")
167     169
168     170
169 ;;; Result     171 ;;; Result
170     172
171 (Define-Class Result (?X) "Not supplied yet." :Def (And (Thing ?X)))     173 (Define-Class Result (?X) "Not supplied yet." :Def (And (Thing ?X)))
172     174
173     175
174 ;;; Knows     176 ;;; Knows
175     177
176 (Define-Relation Knows (?Agent ?Communication ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Communication ?Communication) (Sit-Var ?Situation)))     178 (Define-Relation Knows (?Agent ?Communication ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Communication ?Communication) (Sit-Var ?Situation)))
177     179
178     180
179 ;;; Patient     181 ;;; Patient
180     182
181 (Define-Relation Patient (?Communication ?Physical ?Situation) "Not supplied yet." :Def (And (Communication ?Communication) (Physical ?Physical) (Sit-Var ?Situation)))     183 (Define-Relation Patient (?Communication ?Physical ?Situation) "Not supplied yet." :Def (And (Communication ?Communication) (Physical ?Physical) (Sit-Var ?Situation)))
182     184
183     185
184 ;;; Represents     186 ;;; Represents
185     187
186 (Define-Relation Represents (?Physical ?Entity ?Situation) "Not supplied yet." :Def (And (Physical ?Physical) (Entity ?Entity) (Sit-Var ?Situation)))     188 (Define-Relation Represents (?Physical ?Entity ?Situation) "Not supplied yet." :Def (And (Physical ?Physical) (Entity ?Entity) (Sit-Var ?Situation)))
187     189
188     190
189 ;;; Communication     191 ;;; Communication
190     192
191 (Define-Class Communication (?X) "Not supplied yet." :Def (And (Thing ?X)))     193 (Define-Class Communication (?X) "Not supplied yet." :Def (And (Thing ?X)))
192     194
        195
        196
        197
        198
        199
        200
        201
        202
        203
        204
        205
        206
        207
        208
        209
        210
        211
        212
        213
        214
        215
        216
        217
        218
        219
        220
        221
        222
Generated by diff2html on Wed Aug 17 10:29:21 2005
Command-line: ./diff2html sumo-original-ont sumo-refined-ont