/
ontology_time.ttl
957 lines (947 loc) · 35.3 KB
/
ontology_time.ttl
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
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
@prefix amt: <http://academic-meta-tool.xyz/vocab#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix time: <http://academic-meta-tool.xyz/AllenFreksa#> .
# AMT Ontology - Leonard Edition
# http://academic-meta-tool.xyz/ontology
amt:Concept rdfs:subClassOf rdfs:Class .
amt:Role rdfs:subClassOf rdf:Property .
amt:Axiom rdfs:subclassOf rdfs:Class .
amt:InferenceAxiom rdfs:subClassOf amt:Axiom .
amt:IntegrityAxiom rdfs:subClassOf amt:Axiom .
amt:RoleChainAxiom rdfs:subClassOf amt:InferenceAxiom .
amt:InverseAxiom rdfs:subClassOf amt:InferenceAxiom .
amt:DisjointAxiom rdfs:subClassOf amt:IntegrityAxiom .
amt:SelfDisjointAxiom rdfs:subClassOf amt:IntegrityAxiom .
amt:Logic rdfs:subClassOf rdfs:Class .
amt:LukasiewiczLogic rdf:type amt:Logic .
amt:ProductLogic rdf:type amt:Logic .
amt:GoedelLogic rdf:type amt:Logic .
# time ontology
# Concepts
time:Event rdf:type amt:Concept .
time:Event rdfs:label "Event" .
time:Event amt:placeholder "name of event" .
# Roles
time:q rdf:type amt:Role .
time:q rdfs:label 'questionmark' .
time:q rdfs:domain time:Event .
time:q rdfs:range time:Event .
time:e rdf:type amt:Role .
time:e rdfs:label 'equals' .
time:e rdfs:domain time:Event .
time:e rdfs:range time:Event .
time:b rdf:type amt:Role .
time:b rdfs:label 'before' .
time:b rdfs:domain time:Event .
time:b rdfs:range time:Event .
time:a rdf:type amt:Role .
time:a rdfs:label 'after' .
time:a rdfs:domain time:Event .
time:a rdfs:range time:Event .
time:d rdf:type amt:Role .
time:d rdfs:label 'during' .
time:d rdfs:domain time:Event .
time:d rdfs:range time:Event .
time:di rdf:type amt:Role .
time:di rdfs:label 'contains' .
time:di rdfs:domain time:Event .
time:di rdfs:range time:Event .
time:o rdf:type amt:Role .
time:o rdfs:label 'overlaps' .
time:o rdfs:domain time:Event .
time:o rdfs:range time:Event .
time:oi rdf:type amt:Role .
time:oi rdfs:label 'overlapped-by' .
time:oi rdfs:domain time:Event .
time:oi rdfs:range time:Event .
time:m rdf:type amt:Role .
time:m rdfs:label 'meets' .
time:m rdfs:domain time:Event .
time:m rdfs:range time:Event .
time:mi rdf:type amt:Role .
time:mi rdfs:label 'met-by' .
time:mi rdfs:domain time:Event .
time:mi rdfs:range time:Event .
time:s rdf:type amt:Role .
time:s rdfs:label 'starts' .
time:s rdfs:domain time:Event .
time:s rdfs:range time:Event .
time:si rdf:type amt:Role .
time:si rdfs:label 'started-by' .
time:si rdfs:domain time:Event .
time:si rdfs:range time:Event .
time:f rdf:type amt:Role .
time:f rdfs:label 'finishes' .
time:f rdfs:domain time:Event .
time:f rdfs:range time:Event .
time:fi rdf:type amt:Role .
time:fi rdfs:label 'finished-by' .
time:fi rdfs:domain time:Event .
time:fi rdfs:range time:Event .
time:ol rdf:type amt:Role .
time:ol rdfs:label 'older' .
time:ol rdfs:domain time:Event .
time:ol rdfs:range time:Event .
time:yo rdf:type amt:Role .
time:yo rdfs:label 'younger' .
time:yo rdfs:domain time:Event .
time:yo rdfs:range time:Event .
time:hh rdf:type amt:Role .
time:hh rdfs:label 'head to head with' .
time:hh rdfs:domain time:Event .
time:hh rdfs:range time:Event .
time:tt rdf:type amt:Role .
time:tt rdfs:label 'tail to tail with' .
time:tt rdfs:domain time:Event .
time:tt rdfs:range time:Event .
time:sv rdf:type amt:Role .
time:sv rdfs:label 'survives' .
time:sv rdfs:domain time:Event .
time:sv rdfs:range time:Event .
time:sb rdf:type amt:Role .
time:sb rdfs:label 'survived by' .
time:sb rdfs:domain time:Event .
time:sb rdfs:range time:Event .
time:pr rdf:type amt:Role .
time:pr rdfs:label 'precedes' .
time:pr rdfs:domain time:Event .
time:pr rdfs:range time:Event .
time:sd rdf:type amt:Role .
time:sd rdfs:label 'succeeds' .
time:sd rdfs:domain time:Event .
time:sd rdfs:range time:Event .
time:bd rdf:type amt:Role .
time:bd rdfs:label 'born before death of' .
time:bd rdfs:domain time:Event .
time:bd rdfs:range time:Event .
time:db rdf:type amt:Role .
time:db rdfs:label 'died after birth of' .
time:db rdfs:domain time:Event .
time:db rdfs:range time:Event .
time:ob rdf:type amt:Role .
time:ob rdfs:label 'older & survived by' .
time:ob rdfs:domain time:Event .
time:ob rdfs:range time:Event .
time:ys rdf:type amt:Role .
time:ys rdfs:label 'younger & survives' .
time:ys rdfs:domain time:Event .
time:ys rdfs:range time:Event .
time:sc rdf:type amt:Role .
time:sc rdfs:label 'surviving contemporary of' .
time:sc rdfs:domain time:Event .
time:sc rdfs:range time:Event .
time:bc rdf:type amt:Role .
time:bc rdfs:label 'survived by contemporary of' .
time:bc rdfs:domain time:Event .
time:bc rdfs:range time:Event .
time:oc rdf:type amt:Role .
time:oc rdfs:label 'older contemporary of' .
time:oc rdfs:domain time:Event .
time:oc rdfs:range time:Event .
time:yc rdf:type amt:Role .
time:yc rdfs:label 'younger contemporary of' .
time:yc rdfs:domain time:Event .
time:yc rdfs:range time:Event .
time:ct rdf:type amt:Role .
time:ct rdfs:label 'contemporary of' .
time:ct rdfs:domain time:Event .
time:ct rdfs:range time:Event .
# InverseAxioms
time:IA001 rdf:type amt:InverseAxiom .
time:IA001 amt:antecedent time:b .
time:IA001 amt:inverse time:a .
time:IA002 rdf:type amt:InverseAxiom .
time:IA002 amt:antecedent time:a .
time:IA002 amt:inverse time:b .
time:IA003 rdf:type amt:InverseAxiom .
time:IA003 amt:antecedent time:d .
time:IA003 amt:inverse time:di .
time:IA004 rdf:type amt:InverseAxiom .
time:IA004 amt:antecedent time:di .
time:IA004 amt:inverse time:d .
time:IA005 rdf:type amt:InverseAxiom .
time:IA005 amt:antecedent time:o .
time:IA005 amt:inverse time:oi .
time:IA006 rdf:type amt:InverseAxiom .
time:IA006 amt:antecedent time:oi .
time:IA006 amt:inverse time:o .
time:IA007 rdf:type amt:InverseAxiom .
time:IA007 amt:antecedent time:m .
time:IA007 amt:inverse time:mi .
time:IA008 rdf:type amt:InverseAxiom .
time:IA008 amt:antecedent time:mi .
time:IA008 amt:inverse time:m .
time:IA009 rdf:type amt:InverseAxiom .
time:IA009 amt:antecedent time:s .
time:IA009 amt:inverse time:si .
time:IA010 rdf:type amt:InverseAxiom .
time:IA010 amt:antecedent time:si .
time:IA010 amt:inverse time:s .
time:IA011 rdf:type amt:InverseAxiom .
time:IA011 amt:antecedent time:f .
time:IA011 amt:inverse time:fi .
time:IA012 rdf:type amt:InverseAxiom .
time:IA012 amt:antecedent time:fi .
time:IA012 amt:inverse time:f .
time:IA013 rdf:type amt:InverseAxiom .
time:IA013 amt:antecedent time:ol .
time:IA013 amt:inverse time:yo .
time:IA014 rdf:type amt:InverseAxiom .
time:IA014 amt:antecedent time:yo .
time:IA014 amt:inverse time:ol .
time:IA015 rdf:type amt:InverseAxiom .
time:IA015 amt:antecedent time:hh .
time:IA015 amt:inverse time:tt .
time:IA016 rdf:type amt:InverseAxiom .
time:IA016 amt:antecedent time:tt .
time:IA016 amt:inverse time:hh .
time:IA017 rdf:type amt:InverseAxiom .
time:IA017 amt:antecedent time:sv .
time:IA017 amt:inverse time:sb .
time:IA018 rdf:type amt:InverseAxiom .
time:IA018 amt:antecedent time:sb .
time:IA018 amt:inverse time:sv .
time:IA019 rdf:type amt:InverseAxiom .
time:IA019 amt:antecedent time:pr .
time:IA019 amt:inverse time:sd .
time:IA020 rdf:type amt:InverseAxiom .
time:IA020 amt:antecedent time:sd .
time:IA020 amt:inverse time:pr .
time:IA021 rdf:type amt:InverseAxiom .
time:IA021 amt:antecedent time:bd .
time:IA021 amt:inverse time:db .
time:IA022 rdf:type amt:InverseAxiom .
time:IA022 amt:antecedent time:db .
time:IA022 amt:inverse time:bd .
time:IA023 rdf:type amt:InverseAxiom .
time:IA023 amt:antecedent time:ob .
time:IA023 amt:inverse time:ys .
time:IA024 rdf:type amt:InverseAxiom .
time:IA024 amt:antecedent time:ys .
time:IA024 amt:inverse time:ob .
time:IA025 rdf:type amt:InverseAxiom .
time:IA025 amt:antecedent time:sc .
time:IA025 amt:inverse time:bc .
time:IA026 rdf:type amt:InverseAxiom .
time:IA026 amt:antecedent time:bc .
time:IA026 amt:inverse time:sc .
time:IA027 rdf:type amt:InverseAxiom .
time:IA027 amt:antecedent time:oc .
time:IA027 amt:inverse time:yc .
time:IA028 rdf:type amt:InverseAxiom .
time:IA028 amt:antecedent time:yc .
time:IA028 amt:inverse time:oc .
# SelfDisjointAxioms
time:SDA001 rdf:type amt:SelfDisjointAxiom .
time:SDA001 amt:role time:q .
time:SDA002 rdf:type amt:SelfDisjointAxiom .
time:SDA002 amt:role time:e .
time:SDA003 rdf:type amt:SelfDisjointAxiom .
time:SDA003 amt:role time:b .
time:SDA004 rdf:type amt:SelfDisjointAxiom .
time:SDA004 amt:role time:a .
time:SDA005 rdf:type amt:SelfDisjointAxiom .
time:SDA005 amt:role time:d .
time:SDA006 rdf:type amt:SelfDisjointAxiom .
time:SDA006 amt:role time:di .
time:SDA007 rdf:type amt:SelfDisjointAxiom .
time:SDA007 amt:role time:o .
time:SDA008 rdf:type amt:SelfDisjointAxiom .
time:SDA008 amt:role time:oi .
time:SDA009 rdf:type amt:SelfDisjointAxiom .
time:SDA009 amt:role time:m .
time:SDA010 rdf:type amt:SelfDisjointAxiom .
time:SDA010 amt:role time:mi .
time:SDA011 rdf:type amt:SelfDisjointAxiom .
time:SDA011 amt:role time:s .
time:SDA012 rdf:type amt:SelfDisjointAxiom .
time:SDA012 amt:role time:si .
time:SDA013 rdf:type amt:SelfDisjointAxiom .
time:SDA013 amt:role time:f .
time:SDA014 rdf:type amt:SelfDisjointAxiom .
time:SDA014 amt:role time:fi .
time:SDA015 rdf:type amt:SelfDisjointAxiom .
time:SDA015 amt:role time:ol .
time:SDA016 rdf:type amt:SelfDisjointAxiom .
time:SDA016 amt:role time:yo .
time:SDA017 rdf:type amt:SelfDisjointAxiom .
time:SDA017 amt:role time:hh .
time:SDA018 rdf:type amt:SelfDisjointAxiom .
time:SDA018 amt:role time:tt .
time:SDA019 rdf:type amt:SelfDisjointAxiom .
time:SDA019 amt:role time:sv .
time:SDA020 rdf:type amt:SelfDisjointAxiom .
time:SDA020 amt:role time:sb .
time:SDA021 rdf:type amt:SelfDisjointAxiom .
time:SDA021 amt:role time:pr .
time:SDA022 rdf:type amt:SelfDisjointAxiom .
time:SDA022 amt:role time:sd .
time:SDA023 rdf:type amt:SelfDisjointAxiom .
time:SDA023 amt:role time:bd .
time:SDA024 rdf:type amt:SelfDisjointAxiom .
time:SDA024 amt:role time:db .
time:SDA025 rdf:type amt:SelfDisjointAxiom .
time:SDA025 amt:role time:ob .
time:SDA026 rdf:type amt:SelfDisjointAxiom .
time:SDA026 amt:role time:ys .
time:SDA027 rdf:type amt:SelfDisjointAxiom .
time:SDA027 amt:role time:sc .
time:SDA028 rdf:type amt:SelfDisjointAxiom .
time:SDA028 amt:role time:bc .
time:SDA029 rdf:type amt:SelfDisjointAxiom .
time:SDA029 amt:role time:oc .
time:SDA030 rdf:type amt:SelfDisjointAxiom .
time:SDA030 amt:role time:yc .
time:SDA031 rdf:type amt:SelfDisjointAxiom .
time:SDA031 amt:role time:ct .
# DisjointAxioms
time:DA001 rdf:type amt:DisjointAxiom .
time:DA001 amt:role1 time:a .
time:DA001 amt:role2 time:b .
time:DA002 rdf:type amt:DisjointAxiom .
time:DA002 amt:role1 time:b .
time:DA002 amt:role2 time:a .
time:DA003 rdf:type amt:DisjointAxiom .
time:DA003 amt:role1 time:mi .
time:DA003 amt:role2 time:m .
time:DA004 rdf:type amt:DisjointAxiom .
time:DA004 amt:role1 time:m .
time:DA004 amt:role2 time:mi .
time:DA005 rdf:type amt:DisjointAxiom .
time:DA005 amt:role1 time:sd .
time:DA005 amt:role2 time:pr .
time:DA006 rdf:type amt:DisjointAxiom .
time:DA006 amt:role1 time:pr .
time:DA006 amt:role2 time:sd .
# RoleChainAxioms
time:RCA0001 rdf:type amt:RoleChainAxiom .
time:RCA0001 amt:antecedent1 time:b .
time:RCA0001 amt:antecedent2 time:b .
time:RCA0001 amt:consequent time:b .
time:RCA0001 amt:logic amt:ProductLogic .
time:RCA0002 rdf:type amt:RoleChainAxiom .
time:RCA0002 amt:antecedent1 time:b .
time:RCA0002 amt:antecedent2 time:m .
time:RCA0002 amt:consequent time:b .
time:RCA0002 amt:logic amt:ProductLogic .
time:RCA0003 rdf:type amt:RoleChainAxiom .
time:RCA0003 amt:antecedent1 time:b .
time:RCA0003 amt:antecedent2 time:o .
time:RCA0003 amt:consequent time:b .
time:RCA0003 amt:logic amt:ProductLogic .
time:RCA0004 rdf:type amt:RoleChainAxiom .
time:RCA0004 amt:antecedent1 time:b .
time:RCA0004 amt:antecedent2 time:fi .
time:RCA0004 amt:consequent time:b .
time:RCA0004 amt:logic amt:ProductLogic .
time:RCA0005 rdf:type amt:RoleChainAxiom .
time:RCA0005 amt:antecedent1 time:b .
time:RCA0005 amt:antecedent2 time:di .
time:RCA0005 amt:consequent time:b .
time:RCA0005 amt:logic amt:ProductLogic .
time:RCA0006 rdf:type amt:RoleChainAxiom .
time:RCA0006 amt:antecedent1 time:b .
time:RCA0006 amt:antecedent2 time:si .
time:RCA0006 amt:consequent time:b .
time:RCA0006 amt:logic amt:ProductLogic .
time:RCA0007 rdf:type amt:RoleChainAxiom .
time:RCA0007 amt:antecedent1 time:b .
time:RCA0007 amt:antecedent2 time:e .
time:RCA0007 amt:consequent time:b .
time:RCA0007 amt:logic amt:ProductLogic .
time:RCA0008 rdf:type amt:RoleChainAxiom .
time:RCA0008 amt:antecedent1 time:b .
time:RCA0008 amt:antecedent2 time:s .
time:RCA0008 amt:consequent time:b .
time:RCA0008 amt:logic amt:ProductLogic .
time:RCA0013 rdf:type amt:RoleChainAxiom .
time:RCA0013 amt:antecedent1 time:b .
time:RCA0013 amt:antecedent2 time:a .
time:RCA0013 amt:consequent time:q .
time:RCA0013 amt:logic amt:ProductLogic .
time:RCA0014 rdf:type amt:RoleChainAxiom .
time:RCA0014 amt:antecedent1 time:b .
time:RCA0014 amt:antecedent2 time:q .
time:RCA0014 amt:consequent time:q .
time:RCA0014 amt:logic amt:ProductLogic .
time:RCA0015 rdf:type amt:RoleChainAxiom .
time:RCA0015 amt:antecedent1 time:m .
time:RCA0015 amt:antecedent2 time:b .
time:RCA0015 amt:consequent time:b .
time:RCA0015 amt:logic amt:ProductLogic .
time:RCA0016 rdf:type amt:RoleChainAxiom .
time:RCA0016 amt:antecedent1 time:m .
time:RCA0016 amt:antecedent2 time:m .
time:RCA0016 amt:consequent time:b .
time:RCA0016 amt:logic amt:ProductLogic .
time:RCA0017 rdf:type amt:RoleChainAxiom .
time:RCA0017 amt:antecedent1 time:m .
time:RCA0017 amt:antecedent2 time:o .
time:RCA0017 amt:consequent time:b .
time:RCA0017 amt:logic amt:ProductLogic .
time:RCA0018 rdf:type amt:RoleChainAxiom .
time:RCA0018 amt:antecedent1 time:m .
time:RCA0018 amt:antecedent2 time:fi .
time:RCA0018 amt:consequent time:b .
time:RCA0018 amt:logic amt:ProductLogic .
time:RCA0019 rdf:type amt:RoleChainAxiom .
time:RCA0019 amt:antecedent1 time:m .
time:RCA0019 amt:antecedent2 time:di .
time:RCA0019 amt:consequent time:b .
time:RCA0019 amt:logic amt:ProductLogic .
time:RCA0020 rdf:type amt:RoleChainAxiom .
time:RCA0020 amt:antecedent1 time:m .
time:RCA0020 amt:antecedent2 time:si .
time:RCA0020 amt:consequent time:m .
time:RCA0020 amt:logic amt:ProductLogic .
time:RCA0021 rdf:type amt:RoleChainAxiom .
time:RCA0021 amt:antecedent1 time:m .
time:RCA0021 amt:antecedent2 time:e .
time:RCA0021 amt:consequent time:m .
time:RCA0021 amt:logic amt:ProductLogic .
time:RCA0022 rdf:type amt:RoleChainAxiom .
time:RCA0022 amt:antecedent1 time:m .
time:RCA0022 amt:antecedent2 time:s .
time:RCA0022 amt:consequent time:m .
time:RCA0022 amt:logic amt:ProductLogic .
time:RCA0028 rdf:type amt:RoleChainAxiom .
time:RCA0028 amt:antecedent1 time:m .
time:RCA0028 amt:antecedent2 time:q .
time:RCA0028 amt:consequent time:q .
time:RCA0028 amt:logic amt:ProductLogic .
time:RCA0029 rdf:type amt:RoleChainAxiom .
time:RCA0029 amt:antecedent1 time:o .
time:RCA0029 amt:antecedent2 time:b .
time:RCA0029 amt:consequent time:b .
time:RCA0029 amt:logic amt:ProductLogic .
time:RCA0030 rdf:type amt:RoleChainAxiom .
time:RCA0030 amt:antecedent1 time:o .
time:RCA0030 amt:antecedent2 time:m .
time:RCA0030 amt:consequent time:b .
time:RCA0030 amt:logic amt:ProductLogic .
time:RCA0035 rdf:type amt:RoleChainAxiom .
time:RCA0035 amt:antecedent1 time:o .
time:RCA0035 amt:antecedent2 time:e .
time:RCA0035 amt:consequent time:o .
time:RCA0035 amt:logic amt:ProductLogic .
time:RCA0036 rdf:type amt:RoleChainAxiom .
time:RCA0036 amt:antecedent1 time:o .
time:RCA0036 amt:antecedent2 time:s .
time:RCA0036 amt:consequent time:o .
time:RCA0036 amt:logic amt:ProductLogic .
time:RCA0042 rdf:type amt:RoleChainAxiom .
time:RCA0042 amt:antecedent1 time:o .
time:RCA0042 amt:antecedent2 time:q .
time:RCA0042 amt:consequent time:q .
time:RCA0042 amt:logic amt:ProductLogic .
time:RCA0043 rdf:type amt:RoleChainAxiom .
time:RCA0043 amt:antecedent1 time:fi .
time:RCA0043 amt:antecedent2 time:b .
time:RCA0043 amt:consequent time:b .
time:RCA0043 amt:logic amt:ProductLogic .
time:RCA0044 rdf:type amt:RoleChainAxiom .
time:RCA0044 amt:antecedent1 time:fi .
time:RCA0044 amt:antecedent2 time:m .
time:RCA0044 amt:consequent time:m .
time:RCA0044 amt:logic amt:ProductLogic .
time:RCA0046 rdf:type amt:RoleChainAxiom .
time:RCA0046 amt:antecedent1 time:fi .
time:RCA0046 amt:antecedent2 time:fi .
time:RCA0046 amt:consequent time:fi .
time:RCA0046 amt:logic amt:ProductLogic .
time:RCA0047 rdf:type amt:RoleChainAxiom .
time:RCA0047 amt:antecedent1 time:fi .
time:RCA0047 amt:antecedent2 time:di .
time:RCA0047 amt:consequent time:di .
time:RCA0047 amt:logic amt:ProductLogic .
time:RCA0048 rdf:type amt:RoleChainAxiom .
time:RCA0048 amt:antecedent1 time:fi .
time:RCA0048 amt:antecedent2 time:si .
time:RCA0048 amt:consequent time:di .
time:RCA0048 amt:logic amt:ProductLogic .
time:RCA0049 rdf:type amt:RoleChainAxiom .
time:RCA0049 amt:antecedent1 time:fi .
time:RCA0049 amt:antecedent2 time:e .
time:RCA0049 amt:consequent time:fi .
time:RCA0049 amt:logic amt:ProductLogic .
time:RCA0050 rdf:type amt:RoleChainAxiom .
time:RCA0050 amt:antecedent1 time:fi .
time:RCA0050 amt:antecedent2 time:s .
time:RCA0050 amt:consequent time:o .
time:RCA0050 amt:logic amt:ProductLogic .
time:RCA0056 rdf:type amt:RoleChainAxiom .
time:RCA0056 amt:antecedent1 time:fi .
time:RCA0056 amt:antecedent2 time:q .
time:RCA0056 amt:consequent time:q .
time:RCA0056 amt:logic amt:ProductLogic .
time:RCA0060 rdf:type amt:RoleChainAxiom .
time:RCA0060 amt:antecedent1 time:di .
time:RCA0060 amt:antecedent2 time:fi .
time:RCA0060 amt:consequent time:di .
time:RCA0060 amt:logic amt:ProductLogic .
time:RCA0061 rdf:type amt:RoleChainAxiom .
time:RCA0061 amt:antecedent1 time:di .
time:RCA0061 amt:antecedent2 time:di .
time:RCA0061 amt:consequent time:di .
time:RCA0061 amt:logic amt:ProductLogic .
time:RCA0062 rdf:type amt:RoleChainAxiom .
time:RCA0062 amt:antecedent1 time:di .
time:RCA0062 amt:antecedent2 time:si .
time:RCA0062 amt:consequent time:di .
time:RCA0062 amt:logic amt:ProductLogic .
time:RCA0063 rdf:type amt:RoleChainAxiom .
time:RCA0063 amt:antecedent1 time:di .
time:RCA0063 amt:antecedent2 time:e .
time:RCA0063 amt:consequent time:di .
time:RCA0063 amt:logic amt:ProductLogic .
time:RCA0070 rdf:type amt:RoleChainAxiom .
time:RCA0070 amt:antecedent1 time:di .
time:RCA0070 amt:antecedent2 time:q .
time:RCA0070 amt:consequent time:q .
time:RCA0070 amt:logic amt:ProductLogic .
time:RCA0074 rdf:type amt:RoleChainAxiom .
time:RCA0074 amt:antecedent1 time:si .
time:RCA0074 amt:antecedent2 time:fi .
time:RCA0074 amt:consequent time:di .
time:RCA0074 amt:logic amt:ProductLogic .
time:RCA0075 rdf:type amt:RoleChainAxiom .
time:RCA0075 amt:antecedent1 time:si .
time:RCA0075 amt:antecedent2 time:di .
time:RCA0075 amt:consequent time:di .
time:RCA0075 amt:logic amt:ProductLogic .
time:RCA0076 rdf:type amt:RoleChainAxiom .
time:RCA0076 amt:antecedent1 time:si .
time:RCA0076 amt:antecedent2 time:si .
time:RCA0076 amt:consequent time:si .
time:RCA0076 amt:logic amt:ProductLogic .
time:RCA0077 rdf:type amt:RoleChainAxiom .
time:RCA0077 amt:antecedent1 time:si .
time:RCA0077 amt:antecedent2 time:e .
time:RCA0077 amt:consequent time:si .
time:RCA0077 amt:logic amt:ProductLogic .
time:RCA0080 rdf:type amt:RoleChainAxiom .
time:RCA0080 amt:antecedent1 time:si .
time:RCA0080 amt:antecedent2 time:f .
time:RCA0080 amt:consequent time:oi .
time:RCA0080 amt:logic amt:ProductLogic .
time:RCA0081 rdf:type amt:RoleChainAxiom .
time:RCA0081 amt:antecedent1 time:si .
time:RCA0081 amt:antecedent2 time:oi .
time:RCA0081 amt:consequent time:oi .
time:RCA0081 amt:logic amt:ProductLogic .
time:RCA0082 rdf:type amt:RoleChainAxiom .
time:RCA0082 amt:antecedent1 time:si .
time:RCA0082 amt:antecedent2 time:mi .
time:RCA0082 amt:consequent time:mi .
time:RCA0082 amt:logic amt:ProductLogic .
time:RCA0083 rdf:type amt:RoleChainAxiom .
time:RCA0083 amt:antecedent1 time:si .
time:RCA0083 amt:antecedent2 time:a .
time:RCA0083 amt:consequent time:a .
time:RCA0083 amt:logic amt:ProductLogic .
time:RCA0084 rdf:type amt:RoleChainAxiom .
time:RCA0084 amt:antecedent1 time:si .
time:RCA0084 amt:antecedent2 time:q .
time:RCA0084 amt:consequent time:q .
time:RCA0084 amt:logic amt:ProductLogic .
time:RCA0085 rdf:type amt:RoleChainAxiom .
time:RCA0085 amt:antecedent1 time:e .
time:RCA0085 amt:antecedent2 time:b .
time:RCA0085 amt:consequent time:b .
time:RCA0085 amt:logic amt:ProductLogic .
time:RCA0086 rdf:type amt:RoleChainAxiom .
time:RCA0086 amt:antecedent1 time:e .
time:RCA0086 amt:antecedent2 time:m .
time:RCA0086 amt:consequent time:m .
time:RCA0086 amt:logic amt:ProductLogic .
time:RCA0087 rdf:type amt:RoleChainAxiom .
time:RCA0087 amt:antecedent1 time:e .
time:RCA0087 amt:antecedent2 time:o .
time:RCA0087 amt:consequent time:o .
time:RCA0087 amt:logic amt:ProductLogic .
time:RCA0088 rdf:type amt:RoleChainAxiom .
time:RCA0088 amt:antecedent1 time:e .
time:RCA0088 amt:antecedent2 time:fi .
time:RCA0088 amt:consequent time:fi .
time:RCA0088 amt:logic amt:ProductLogic .
time:RCA0089 rdf:type amt:RoleChainAxiom .
time:RCA0089 amt:antecedent1 time:e .
time:RCA0089 amt:antecedent2 time:di .
time:RCA0089 amt:consequent time:di .
time:RCA0089 amt:logic amt:ProductLogic .
time:RCA0090 rdf:type amt:RoleChainAxiom .
time:RCA0090 amt:antecedent1 time:e .
time:RCA0090 amt:antecedent2 time:si .
time:RCA0090 amt:consequent time:si .
time:RCA0090 amt:logic amt:ProductLogic .
time:RCA0091 rdf:type amt:RoleChainAxiom .
time:RCA0091 amt:antecedent1 time:e .
time:RCA0091 amt:antecedent2 time:e .
time:RCA0091 amt:consequent time:e .
time:RCA0091 amt:logic amt:ProductLogic .
time:RCA0092 rdf:type amt:RoleChainAxiom .
time:RCA0092 amt:antecedent1 time:e .
time:RCA0092 amt:antecedent2 time:s .
time:RCA0092 amt:consequent time:s .
time:RCA0092 amt:logic amt:ProductLogic .
time:RCA0093 rdf:type amt:RoleChainAxiom .
time:RCA0093 amt:antecedent1 time:e .
time:RCA0093 amt:antecedent2 time:d .
time:RCA0093 amt:consequent time:d .
time:RCA0093 amt:logic amt:ProductLogic .
time:RCA0094 rdf:type amt:RoleChainAxiom .
time:RCA0094 amt:antecedent1 time:e .
time:RCA0094 amt:antecedent2 time:f .
time:RCA0094 amt:consequent time:f .
time:RCA0094 amt:logic amt:ProductLogic .
time:RCA0095 rdf:type amt:RoleChainAxiom .
time:RCA0095 amt:antecedent1 time:e .
time:RCA0095 amt:antecedent2 time:oi .
time:RCA0095 amt:consequent time:oi .
time:RCA0095 amt:logic amt:ProductLogic .
time:RCA0096 rdf:type amt:RoleChainAxiom .
time:RCA0096 amt:antecedent1 time:e .
time:RCA0096 amt:antecedent2 time:mi .
time:RCA0096 amt:consequent time:mi .
time:RCA0096 amt:logic amt:ProductLogic .
time:RCA0097 rdf:type amt:RoleChainAxiom .
time:RCA0097 amt:antecedent1 time:e .
time:RCA0097 amt:antecedent2 time:a .
time:RCA0097 amt:consequent time:a .
time:RCA0097 amt:logic amt:ProductLogic .
time:RCA0098 rdf:type amt:RoleChainAxiom .
time:RCA0098 amt:antecedent1 time:e .
time:RCA0098 amt:antecedent2 time:q .
time:RCA0098 amt:consequent time:q .
time:RCA0098 amt:logic amt:ProductLogic .
time:RCA0099 rdf:type amt:RoleChainAxiom .
time:RCA0099 amt:antecedent1 time:s .
time:RCA0099 amt:antecedent2 time:b .
time:RCA0099 amt:consequent time:b .
time:RCA0099 amt:logic amt:ProductLogic .
time:RCA0100 rdf:type amt:RoleChainAxiom .
time:RCA0100 amt:antecedent1 time:s .
time:RCA0100 amt:antecedent2 time:m .
time:RCA0100 amt:consequent time:b .
time:RCA0100 amt:logic amt:ProductLogic .
time:RCA0105 rdf:type amt:RoleChainAxiom .
time:RCA0105 amt:antecedent1 time:s .
time:RCA0105 amt:antecedent2 time:e .
time:RCA0105 amt:consequent time:si .
time:RCA0105 amt:logic amt:ProductLogic .
time:RCA0106 rdf:type amt:RoleChainAxiom .
time:RCA0106 amt:antecedent1 time:s .
time:RCA0106 amt:antecedent2 time:s .
time:RCA0106 amt:consequent time:s .
time:RCA0106 amt:logic amt:ProductLogic .
time:RCA0107 rdf:type amt:RoleChainAxiom .
time:RCA0107 amt:antecedent1 time:s .
time:RCA0107 amt:antecedent2 time:d .
time:RCA0107 amt:consequent time:d .
time:RCA0107 amt:logic amt:ProductLogic .
time:RCA0108 rdf:type amt:RoleChainAxiom .
time:RCA0108 amt:antecedent1 time:s .
time:RCA0108 amt:antecedent2 time:f .
time:RCA0108 amt:consequent time:d .
time:RCA0108 amt:logic amt:ProductLogic .
time:RCA0110 rdf:type amt:RoleChainAxiom .
time:RCA0110 amt:antecedent1 time:s .
time:RCA0110 amt:antecedent2 time:mi .
time:RCA0110 amt:consequent time:mi .
time:RCA0110 amt:logic amt:ProductLogic .
time:RCA0111 rdf:type amt:RoleChainAxiom .
time:RCA0111 amt:antecedent1 time:s .
time:RCA0111 amt:antecedent2 time:a .
time:RCA0111 amt:consequent time:a .
time:RCA0111 amt:logic amt:ProductLogic .
time:RCA0112 rdf:type amt:RoleChainAxiom .
time:RCA0112 amt:antecedent1 time:s .
time:RCA0112 amt:antecedent2 time:q .
time:RCA0112 amt:consequent time:q .
time:RCA0112 amt:logic amt:ProductLogic .
time:RCA0113 rdf:type amt:RoleChainAxiom .
time:RCA0113 amt:antecedent1 time:d .
time:RCA0113 amt:antecedent2 time:b .
time:RCA0113 amt:consequent time:b .
time:RCA0113 amt:logic amt:ProductLogic .
time:RCA0114 rdf:type amt:RoleChainAxiom .
time:RCA0114 amt:antecedent1 time:d .
time:RCA0114 amt:antecedent2 time:m .
time:RCA0114 amt:consequent time:b .
time:RCA0114 amt:logic amt:ProductLogic .
time:RCA0117 rdf:type amt:RoleChainAxiom .
time:RCA0117 amt:antecedent1 time:d .
time:RCA0117 amt:antecedent2 time:di .
time:RCA0117 amt:consequent time:q .
time:RCA0117 amt:logic amt:ProductLogic .
time:RCA0119 rdf:type amt:RoleChainAxiom .
time:RCA0119 amt:antecedent1 time:d .
time:RCA0119 amt:antecedent2 time:e .
time:RCA0119 amt:consequent time:di .
time:RCA0119 amt:logic amt:ProductLogic .
time:RCA0120 rdf:type amt:RoleChainAxiom .
time:RCA0120 amt:antecedent1 time:d .
time:RCA0120 amt:antecedent2 time:s .
time:RCA0120 amt:consequent time:d .
time:RCA0120 amt:logic amt:ProductLogic .
time:RCA0121 rdf:type amt:RoleChainAxiom .
time:RCA0121 amt:antecedent1 time:d .
time:RCA0121 amt:antecedent2 time:d .
time:RCA0121 amt:consequent time:d .
time:RCA0121 amt:logic amt:ProductLogic .
time:RCA0122 rdf:type amt:RoleChainAxiom .
time:RCA0122 amt:antecedent1 time:d .
time:RCA0122 amt:antecedent2 time:f .
time:RCA0122 amt:consequent time:d .
time:RCA0122 amt:logic amt:ProductLogic .
time:RCA0124 rdf:type amt:RoleChainAxiom .
time:RCA0124 amt:antecedent1 time:d .
time:RCA0124 amt:antecedent2 time:mi .
time:RCA0124 amt:consequent time:a .
time:RCA0124 amt:logic amt:ProductLogic .
time:RCA0125 rdf:type amt:RoleChainAxiom .
time:RCA0125 amt:antecedent1 time:d .
time:RCA0125 amt:antecedent2 time:a .
time:RCA0125 amt:consequent time:a .
time:RCA0125 amt:logic amt:ProductLogic .
time:RCA0126 rdf:type amt:RoleChainAxiom .
time:RCA0126 amt:antecedent1 time:d .
time:RCA0126 amt:antecedent2 time:q .
time:RCA0126 amt:consequent time:q .
time:RCA0126 amt:logic amt:ProductLogic .
time:RCA0127 rdf:type amt:RoleChainAxiom .
time:RCA0127 amt:antecedent1 time:f .
time:RCA0127 amt:antecedent2 time:b .
time:RCA0127 amt:consequent time:b .
time:RCA0127 amt:logic amt:ProductLogic .
time:RCA0128 rdf:type amt:RoleChainAxiom .
time:RCA0128 amt:antecedent1 time:f .
time:RCA0128 amt:antecedent2 time:m .
time:RCA0128 amt:consequent time:m .
time:RCA0128 amt:logic amt:ProductLogic .
time:RCA0133 rdf:type amt:RoleChainAxiom .
time:RCA0133 amt:antecedent1 time:f .
time:RCA0133 amt:antecedent2 time:e .
time:RCA0133 amt:consequent time:fi .
time:RCA0133 amt:logic amt:ProductLogic .
time:RCA0134 rdf:type amt:RoleChainAxiom .
time:RCA0134 amt:antecedent1 time:f .
time:RCA0134 amt:antecedent2 time:s .
time:RCA0134 amt:consequent time:d .
time:RCA0134 amt:logic amt:ProductLogic .
time:RCA0135 rdf:type amt:RoleChainAxiom .
time:RCA0135 amt:antecedent1 time:f .
time:RCA0135 amt:antecedent2 time:d .
time:RCA0135 amt:consequent time:d .
time:RCA0135 amt:logic amt:ProductLogic .
time:RCA0136 rdf:type amt:RoleChainAxiom .
time:RCA0136 amt:antecedent1 time:f .
time:RCA0136 amt:antecedent2 time:f .
time:RCA0136 amt:consequent time:f .
time:RCA0136 amt:logic amt:ProductLogic .
time:RCA0138 rdf:type amt:RoleChainAxiom .
time:RCA0138 amt:antecedent1 time:f .
time:RCA0138 amt:antecedent2 time:mi .
time:RCA0138 amt:consequent time:a .
time:RCA0138 amt:logic amt:ProductLogic .
time:RCA0139 rdf:type amt:RoleChainAxiom .
time:RCA0139 amt:antecedent1 time:f .
time:RCA0139 amt:antecedent2 time:a .
time:RCA0139 amt:consequent time:a .
time:RCA0139 amt:logic amt:ProductLogic .
time:RCA0140 rdf:type amt:RoleChainAxiom .
time:RCA0140 amt:antecedent1 time:f .
time:RCA0140 amt:antecedent2 time:q .
time:RCA0140 amt:consequent time:q .
time:RCA0140 amt:logic amt:ProductLogic .
time:RCA0147 rdf:type amt:RoleChainAxiom .
time:RCA0147 amt:antecedent1 time:oi .
time:RCA0147 amt:antecedent2 time:e .
time:RCA0147 amt:consequent time:oi .
time:RCA0147 amt:logic amt:ProductLogic .
time:RCA0150 rdf:type amt:RoleChainAxiom .
time:RCA0150 amt:antecedent1 time:oi .
time:RCA0150 amt:antecedent2 time:f .
time:RCA0150 amt:consequent time:oi .
time:RCA0150 amt:logic amt:ProductLogic .
time:RCA0152 rdf:type amt:RoleChainAxiom .
time:RCA0152 amt:antecedent1 time:oi .
time:RCA0152 amt:antecedent2 time:mi .
time:RCA0152 amt:consequent time:a .
time:RCA0152 amt:logic amt:ProductLogic .
time:RCA0153 rdf:type amt:RoleChainAxiom .
time:RCA0153 amt:antecedent1 time:oi .
time:RCA0153 amt:antecedent2 time:a .
time:RCA0153 amt:consequent time:a .
time:RCA0153 amt:logic amt:ProductLogic .
time:RCA0154 rdf:type amt:RoleChainAxiom .
time:RCA0154 amt:antecedent1 time:oi .
time:RCA0154 amt:antecedent2 time:q .
time:RCA0154 amt:consequent time:q .
time:RCA0154 amt:logic amt:ProductLogic .
time:RCA0158 rdf:type amt:RoleChainAxiom .
time:RCA0158 amt:antecedent1 time:mi .
time:RCA0158 amt:antecedent2 time:fi .
time:RCA0158 amt:consequent time:mi .
time:RCA0158 amt:logic amt:ProductLogic .
time:RCA0159 rdf:type amt:RoleChainAxiom .
time:RCA0159 amt:antecedent1 time:mi .
time:RCA0159 amt:antecedent2 time:di .
time:RCA0159 amt:consequent time:a .
time:RCA0159 amt:logic amt:ProductLogic .
time:RCA0160 rdf:type amt:RoleChainAxiom .
time:RCA0160 amt:antecedent1 time:mi .
time:RCA0160 amt:antecedent2 time:si .
time:RCA0160 amt:consequent time:a .
time:RCA0160 amt:logic amt:ProductLogic .
time:RCA0161 rdf:type amt:RoleChainAxiom .
time:RCA0161 amt:antecedent1 time:mi .
time:RCA0161 amt:antecedent2 time:e .
time:RCA0161 amt:consequent time:mi .
time:RCA0161 amt:logic amt:ProductLogic .
time:RCA0164 rdf:type amt:RoleChainAxiom .
time:RCA0164 amt:antecedent1 time:mi .
time:RCA0164 amt:antecedent2 time:f .
time:RCA0164 amt:consequent time:mi .
time:RCA0164 amt:logic amt:ProductLogic .
time:RCA0165 rdf:type amt:RoleChainAxiom .
time:RCA0165 amt:antecedent1 time:mi .
time:RCA0165 amt:antecedent2 time:oi .
time:RCA0165 amt:consequent time:a .
time:RCA0165 amt:logic amt:ProductLogic .
time:RCA0166 rdf:type amt:RoleChainAxiom .
time:RCA0166 amt:antecedent1 time:mi .
time:RCA0166 amt:antecedent2 time:mi .
time:RCA0166 amt:consequent time:a .
time:RCA0166 amt:logic amt:ProductLogic .
time:RCA0167 rdf:type amt:RoleChainAxiom .
time:RCA0167 amt:antecedent1 time:mi .
time:RCA0167 amt:antecedent2 time:a .
time:RCA0167 amt:consequent time:a .
time:RCA0167 amt:logic amt:ProductLogic .
time:RCA0168 rdf:type amt:RoleChainAxiom .
time:RCA0168 amt:antecedent1 time:mi .
time:RCA0168 amt:antecedent2 time:q .
time:RCA0168 amt:consequent time:q .
time:RCA0168 amt:logic amt:ProductLogic .
time:RCA0169 rdf:type amt:RoleChainAxiom .
time:RCA0169 amt:antecedent1 time:a .
time:RCA0169 amt:antecedent2 time:b .
time:RCA0169 amt:consequent time:q .
time:RCA0169 amt:logic amt:ProductLogic .
time:RCA0172 rdf:type amt:RoleChainAxiom .
time:RCA0172 amt:antecedent1 time:a .
time:RCA0172 amt:antecedent2 time:fi .
time:RCA0172 amt:consequent time:a .
time:RCA0172 amt:logic amt:ProductLogic .
time:RCA0173 rdf:type amt:RoleChainAxiom .
time:RCA0173 amt:antecedent1 time:a .
time:RCA0173 amt:antecedent2 time:di .
time:RCA0173 amt:consequent time:a .
time:RCA0173 amt:logic amt:ProductLogic .
time:RCA0174 rdf:type amt:RoleChainAxiom .
time:RCA0174 amt:antecedent1 time:a .
time:RCA0174 amt:antecedent2 time:si .
time:RCA0174 amt:consequent time:a .
time:RCA0174 amt:logic amt:ProductLogic .
time:RCA0175 rdf:type amt:RoleChainAxiom .
time:RCA0175 amt:antecedent1 time:a .
time:RCA0175 amt:antecedent2 time:e .
time:RCA0175 amt:consequent time:a .
time:RCA0175 amt:logic amt:ProductLogic .
time:RCA0178 rdf:type amt:RoleChainAxiom .
time:RCA0178 amt:antecedent1 time:a .
time:RCA0178 amt:antecedent2 time:f .
time:RCA0178 amt:consequent time:a .
time:RCA0178 amt:logic amt:ProductLogic .
time:RCA0179 rdf:type amt:RoleChainAxiom .
time:RCA0179 amt:antecedent1 time:a .
time:RCA0179 amt:antecedent2 time:oi .
time:RCA0179 amt:consequent time:a .
time:RCA0179 amt:logic amt:ProductLogic .
time:RCA0180 rdf:type amt:RoleChainAxiom .
time:RCA0180 amt:antecedent1 time:a .
time:RCA0180 amt:antecedent2 time:mi .
time:RCA0180 amt:consequent time:a .
time:RCA0180 amt:logic amt:ProductLogic .
time:RCA0181 rdf:type amt:RoleChainAxiom .
time:RCA0181 amt:antecedent1 time:a .
time:RCA0181 amt:antecedent2 time:a .
time:RCA0181 amt:consequent time:a .
time:RCA0181 amt:logic amt:ProductLogic .
time:RCA0182 rdf:type amt:RoleChainAxiom .
time:RCA0182 amt:antecedent1 time:a .
time:RCA0182 amt:antecedent2 time:q .
time:RCA0182 amt:consequent time:q .
time:RCA0182 amt:logic amt:ProductLogic .
time:RCA0183 rdf:type amt:RoleChainAxiom .
time:RCA0183 amt:antecedent1 time:q .
time:RCA0183 amt:antecedent2 time:b .
time:RCA0183 amt:consequent time:q .
time:RCA0183 amt:logic amt:ProductLogic .
time:RCA0184 rdf:type amt:RoleChainAxiom .
time:RCA0184 amt:antecedent1 time:q .
time:RCA0184 amt:antecedent2 time:m .
time:RCA0184 amt:consequent time:q .
time:RCA0184 amt:logic amt:ProductLogic .
time:RCA0185 rdf:type amt:RoleChainAxiom .
time:RCA0185 amt:antecedent1 time:q .
time:RCA0185 amt:antecedent2 time:o .
time:RCA0185 amt:consequent time:q .
time:RCA0185 amt:logic amt:ProductLogic .
time:RCA0186 rdf:type amt:RoleChainAxiom .
time:RCA0186 amt:antecedent1 time:q .
time:RCA0186 amt:antecedent2 time:fi .
time:RCA0186 amt:consequent time:q .
time:RCA0186 amt:logic amt:ProductLogic .
time:RCA0187 rdf:type amt:RoleChainAxiom .
time:RCA0187 amt:antecedent1 time:q .
time:RCA0187 amt:antecedent2 time:di .
time:RCA0187 amt:consequent time:q .
time:RCA0187 amt:logic amt:ProductLogic .
time:RCA0188 rdf:type amt:RoleChainAxiom .
time:RCA0188 amt:antecedent1 time:q .
time:RCA0188 amt:antecedent2 time:si .
time:RCA0188 amt:consequent time:q .
time:RCA0188 amt:logic amt:ProductLogic .
time:RCA0189 rdf:type amt:RoleChainAxiom .
time:RCA0189 amt:antecedent1 time:q .
time:RCA0189 amt:antecedent2 time:e .
time:RCA0189 amt:consequent time:q .
time:RCA0189 amt:logic amt:ProductLogic .
time:RCA0190 rdf:type amt:RoleChainAxiom .
time:RCA0190 amt:antecedent1 time:q .
time:RCA0190 amt:antecedent2 time:s .
time:RCA0190 amt:consequent time:q .
time:RCA0190 amt:logic amt:ProductLogic .
time:RCA0191 rdf:type amt:RoleChainAxiom .
time:RCA0191 amt:antecedent1 time:q .
time:RCA0191 amt:antecedent2 time:d .
time:RCA0191 amt:consequent time:q .
time:RCA0191 amt:logic amt:ProductLogic .
time:RCA0192 rdf:type amt:RoleChainAxiom .
time:RCA0192 amt:antecedent1 time:q .
time:RCA0192 amt:antecedent2 time:f .
time:RCA0192 amt:consequent time:q .
time:RCA0192 amt:logic amt:ProductLogic .
time:RCA0193 rdf:type amt:RoleChainAxiom .
time:RCA0193 amt:antecedent1 time:q .
time:RCA0193 amt:antecedent2 time:oi .
time:RCA0193 amt:consequent time:q .
time:RCA0193 amt:logic amt:ProductLogic .
time:RCA0194 rdf:type amt:RoleChainAxiom .
time:RCA0194 amt:antecedent1 time:q .
time:RCA0194 amt:antecedent2 time:mi .
time:RCA0194 amt:consequent time:q .
time:RCA0194 amt:logic amt:ProductLogic .
time:RCA0195 rdf:type amt:RoleChainAxiom .
time:RCA0195 amt:antecedent1 time:q .
time:RCA0195 amt:antecedent2 time:a .
time:RCA0195 amt:consequent time:q .
time:RCA0195 amt:logic amt:ProductLogic .
time:RCA0196 rdf:type amt:RoleChainAxiom .
time:RCA0196 amt:antecedent1 time:q .
time:RCA0196 amt:antecedent2 time:q .
time:RCA0196 amt:consequent time:q .
time:RCA0196 amt:logic amt:ProductLogic .