Newer
Older
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
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
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
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
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
Prefix(:=<http://www.loa.istc.cnr.it/dolce/dolce-owl/DOLCE#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
Ontology(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE>
Annotation(rdfs:comment "DOLCE in OWL for Hampto-ontologies.
DOLCE has been slighlty modified to be used in our implementation.
We consider a single temporal snapshot, so we exlude temporalised relations/classes.
We added different classes in the Qualities/Regions to account for qualities of objects in our common-sense ontologies. We exluded Atoms.
In the object properties: we do not treat parthood between events, so we exclude the 'overlaps' relation. We introduced different 'quale' object-properties to account for different qualities of the concepts involved.
We added 'mayParticipateIn' as a generalisation of 'participates' to account for the intended meaning of Hampton/Leuven data.
Some of the constraints on the object properties were killed because they broke our reasoner."^^xsd:string)
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#KitchenUtensil>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#KitchenUtensilBird>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates>))
Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt>))
Declaration(NamedIndividual(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#woody>))
############################
# Object Properties
############################
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale>)
SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>)
FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>)
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>)
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale>)
SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>)
FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality>)
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion>)
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale>)
SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>)
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>)
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> "constant part")
SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps>)
TransitiveObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart>)
ObjectPropertyDomain(Annotation(rdfs:comment "From Dd25, Ad10") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>))
ObjectPropertyRange(Annotation(rdfs:comment "From Dd25, Ad10") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
ObjectPropertyRange(Annotation(rdfs:comment "Dd25 (half)") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>))
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> "constant proper part")
SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart>)
TransitiveObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>))
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
ObjectPropertyRange(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>))
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>)
SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> owl:topObjectProperty)
FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>)
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> "Has quality, temporal snapshot, it shoud be inverse functional but ...")
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>))
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale>)
SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>)
FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality>)
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion>)
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale>)
SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>)
FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>)
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>)
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>)
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> "constant overlap. Here we view the ontology as a snapshot at one time instant.")
SymmetricObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>))
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
ObjectPropertyRange(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>))
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates>)
SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate>)
ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>)
# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> "present at")
ObjectPropertyDomain(Annotation(rdfs:comment "From Dd40, Dd30, Dd31, Dd32, Dd33") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>))
ObjectPropertyRange(Annotation(rdfs:comment "From Dd40, Dd30, Dd31, Dd32, Dd33") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>)
############################
# Classes
############################
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> "Abstract"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> "Abstract Quality"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> "Abstract Region"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment> "Accomplishment"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement> "Achievement"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> "Agentive Physical Object"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject> "Agentive Social Object"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> "Amount of Matter"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> "Arbitrary Sum"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> "Constant atom (constantly atomic Endurant)")
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> "do we need it?")
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart>) <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>)))
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion>))
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> "Endurant"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive> "Event"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature> "Feature"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#KitchenUtensilBird> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#KitchenUtensilBird>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#KitchenUtensilBird> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#KitchenUtensilBird> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#KitchenUtensil>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject> "Mental Object"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject> "Non-Agentive Physical Object"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject> "Non-Agentive Social Object"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant> "Non-Physical Endurant"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject> "Non-Physical Object"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular> "Particular"^^xsd:string)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> "Perdurant"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant> "Physical Endurant"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject> "Physical Object"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality> "Physical Quality"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion> "Physical Region"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process> "Process"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality> "Quality"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>))
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region> "Region"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent> "Social Agent"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject> "Social Object"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society> "Society"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion> "Space Region"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation> "Spatial Location"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>)
DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State> "State"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative> "Stative"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation> "Temporal Location"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality> "Temporal Quality"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion> "Temporal Region"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>)
# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval> "Time Interval"^^xsd:string)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>)
############################
# Named Individuals
############################
# Individual: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#woody> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#woody>)
ClassAssertion(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#KitchenUtensilBird> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#woody>)
)