-
Notifications
You must be signed in to change notification settings - Fork 54
/
time.racer
266 lines (266 loc) · 36.4 KB
/
time.racer
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
;(IN-TBOX |file:///home/adrian/Dropbox/tools/racer/Racer-2-0/time.owl| :SIZE 129 :ROLE-SIZE 73)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#inDateTime| :PARENTS (|http://www.w3.org/2006/time#inTemporalPosition|) :DOMAIN |http://www.w3.org/2006/time#Instant| :RANGE (AND |http://www.w3.org/2006/time#TemporalPosition| |http://www.w3.org/2006/time#GeneralDateTimeDescription|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalStarts| :PARENTS (|http://www.w3.org/2006/time#intervalIn|) :INVERSE |http://www.w3.org/2006/time#intervalStartedBy| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#months| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#inTemporalPosition| :DOMAIN |http://www.w3.org/2006/time#Instant| :RANGE |http://www.w3.org/2006/time#TemporalPosition|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2004/02/skos/core#definition|)
(DEFINE-PRIMITIVE-ATTRIBUTE |http://www.w3.org/2006/time#monthOfYear| :DOMAIN |http://www.w3.org/2006/time#GeneralDateTimeDescription| :RANGE |http://www.w3.org/2006/time#MonthOfYear|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#nominalPosition| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#string|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#inTimePosition| :PARENTS (|http://www.w3.org/2006/time#inTemporalPosition|) :DOMAIN |http://www.w3.org/2006/time#Instant| :RANGE (AND |http://www.w3.org/2006/time#TemporalPosition| |http://www.w3.org/2006/time#TimePosition|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2004/02/skos/core#note|)
(DEFINE-PRIMITIVE-ATTRIBUTE |http://www.w3.org/2006/time#timeZone| :DOMAIN |http://www.w3.org/2006/time#GeneralDateTimeDescription| :RANGE |http://www.w3.org/2006/time#TimeZone|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2004/02/skos/core#changeNote|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#numericDuration| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#inside| :DOMAIN |http://www.w3.org/2006/time#Interval| :RANGE |http://www.w3.org/2006/time#Instant|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2004/02/skos/core#prefLabel|)
(DEFINE-PRIMITIVE-ATTRIBUTE |http://www.w3.org/2006/time#unitType| :DOMAIN (OR |http://www.w3.org/2006/time#Duration| |http://www.w3.org/2006/time#GeneralDateTimeDescription|) :RANGE |http://www.w3.org/2006/time#TemporalUnit|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#numericPosition| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalAfter| :PARENTS (|http://www.w3.org/2006/time#after| #:|http://www.w3.org/2006/time#intervalDisjoint-INV-501842| |http://www.w3.org/2006/time#intervalDisjoint|) :INVERSE |http://www.w3.org/2006/time#intervalBefore| :DOMAIN (AND |http://www.w3.org/2006/time#ProperInterval| |http://www.w3.org/2006/time#TemporalEntity|) :RANGE (AND |http://www.w3.org/2006/time#ProperInterval| |http://www.w3.org/2006/time#TemporalEntity|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2002/07/owl#deprecated|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#day|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#second| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalBefore| :PARENTS (|http://www.w3.org/2006/time#before| #:|http://www.w3.org/2006/time#intervalDisjoint-INV-501842| |http://www.w3.org/2006/time#intervalDisjoint|) :INVERSE |http://www.w3.org/2006/time#intervalAfter| :DOMAIN (AND |http://www.w3.org/2006/time#ProperInterval| |http://www.w3.org/2006/time#TemporalEntity|) :RANGE (AND |http://www.w3.org/2006/time#ProperInterval| |http://www.w3.org/2006/time#TemporalEntity|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2004/02/skos/core#editorialNote|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#dayOfYear| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#nonNegativeInteger|))
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#seconds| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalContains| :PARENTS (#:|http://www.w3.org/2006/time#intervalIn-INV-501846|) :INVERSE |http://www.w3.org/2006/time#intervalDuring| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2004/02/skos/core#scopeNote|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#days| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#after| :TRANSITIVE T :INVERSE |http://www.w3.org/2006/time#before| :DOMAIN |http://www.w3.org/2006/time#TemporalEntity| :RANGE |http://www.w3.org/2006/time#TemporalEntity|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#week| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#nonNegativeInteger|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalDisjoint| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#hasXSDDuration| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#duration|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#before| :TRANSITIVE T :INVERSE |http://www.w3.org/2006/time#after| :DOMAIN |http://www.w3.org/2006/time#TemporalEntity| :RANGE |http://www.w3.org/2006/time#TemporalEntity|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#weeks| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalDuring| :PARENTS (|http://www.w3.org/2006/time#intervalIn|) :INVERSE |http://www.w3.org/2006/time#intervalContains| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#hour| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#nonNegativeInteger|))
(DEFINE-PRIMITIVE-ATTRIBUTE |http://www.w3.org/2006/time#dayOfWeek| :DOMAIN |http://www.w3.org/2006/time#GeneralDateTimeDescription| :RANGE |http://www.w3.org/2006/time#DayOfWeek|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#xsdDateTime| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#dateTime|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalEquals| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#hours| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#hasBeginning| :PARENTS (|http://www.w3.org/2006/time#hasTime|) :DOMAIN |http://www.w3.org/2006/time#TemporalEntity| :RANGE (AND |http://www.w3.org/2006/time#TemporalEntity| |http://www.w3.org/2006/time#Instant|))
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#year|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalFinishedBy| :PARENTS (#:|http://www.w3.org/2006/time#intervalIn-INV-501846|) :INVERSE |http://www.w3.org/2006/time#intervalFinishes| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#inXSDDate| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#date|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#hasDateTimeDescription| :DOMAIN |http://www.w3.org/2006/time#DateTimeInterval| :RANGE |http://www.w3.org/2006/time#GeneralDateTimeDescription|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2000/01/rdf-schema#label|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#years| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalFinishes| :PARENTS (|http://www.w3.org/2006/time#intervalIn|) :INVERSE |http://www.w3.org/2006/time#intervalFinishedBy| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2000/01/rdf-schema#seeAlso|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#inXSDDateTime| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#dateTime|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#hasDuration| :PARENTS (|http://www.w3.org/2006/time#hasTemporalDuration|) :DOMAIN |http://www.w3.org/2006/time#TemporalEntity| :RANGE (AND |http://www.w3.org/2006/time#TemporalDuration| |http://www.w3.org/2006/time#Duration|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalIn| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#inXSDDateTimeStamp| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#dateTimeStamp|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#hasDurationDescription| :PARENTS (|http://www.w3.org/2006/time#hasTemporalDuration|) :DOMAIN |http://www.w3.org/2006/time#TemporalEntity| :RANGE (AND |http://www.w3.org/2006/time#TemporalDuration| |http://www.w3.org/2006/time#GeneralDurationDescription|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalMeets| :INVERSE |http://www.w3.org/2006/time#intervalMetBy| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#inXSDgYear| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#gYear|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#hasEnd| :PARENTS (|http://www.w3.org/2006/time#hasTime|) :DOMAIN |http://www.w3.org/2006/time#TemporalEntity| :RANGE (AND |http://www.w3.org/2006/time#TemporalEntity| |http://www.w3.org/2006/time#Instant|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalMetBy| :INVERSE |http://www.w3.org/2006/time#intervalMeets| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2000/01/rdf-schema#comment|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#inXSDgYearMonth| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#gYearMonth|))
(DEFINE-PRIMITIVE-ATTRIBUTE |http://www.w3.org/2006/time#hasTRS| :DOMAIN (OR |http://www.w3.org/2006/time#TemporalPosition| |http://www.w3.org/2006/time#GeneralDurationDescription|) :RANGE |http://www.w3.org/2006/time#TRS|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalOverlappedBy| :INVERSE |http://www.w3.org/2006/time#intervalOverlaps| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2004/02/skos/core#historyNote|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#minute| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#nonNegativeInteger|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#hasTemporalDuration| :DOMAIN |http://www.w3.org/2006/time#TemporalEntity| :RANGE |http://www.w3.org/2006/time#TemporalDuration|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalOverlaps| :INVERSE |http://www.w3.org/2006/time#intervalOverlappedBy| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#minutes| :RANGE (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#hasTime| :RANGE |http://www.w3.org/2006/time#TemporalEntity|)
(DEFINE-PRIMITIVE-ROLE |http://www.w3.org/2006/time#intervalStartedBy| :PARENTS (#:|http://www.w3.org/2006/time#intervalIn-INV-501846|) :INVERSE |http://www.w3.org/2006/time#intervalStarts| :DOMAIN |http://www.w3.org/2006/time#ProperInterval| :RANGE |http://www.w3.org/2006/time#ProperInterval|)
(DEFINE-DATATYPE-PROPERTY |http://www.w3.org/2006/time#month|)
(DISJOINT |http://www.w3.org/2006/time#ProperInterval| |http://www.w3.org/2006/time#Instant|)
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#years| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#xsdDateTime| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#dateTime|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#weeks| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#week| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#nonNegativeInteger|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#seconds| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#second| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#numericPosition| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#numericDuration| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#nominalPosition| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#string|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#months| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#minutes| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#minute| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#nonNegativeInteger|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#inXSDgYearMonth| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#gYearMonth|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#inXSDgYear| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#gYear|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#inXSDDateTimeStamp| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#dateTimeStamp|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#inXSDDateTime| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#dateTime|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#inXSDDate| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#date|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#hours| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#hour| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#nonNegativeInteger|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#hasXSDDuration| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#duration|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#days| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES TOP (D-ALL |http://www.w3.org/2006/time#dayOfYear| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#nonNegativeInteger|)))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#unitType| |http://www.w3.org/2006/time#TemporalUnit|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#timeZone| |http://www.w3.org/2006/time#TimeZone|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#monthOfYear| |http://www.w3.org/2006/time#MonthOfYear|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalStarts| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalStartedBy| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalOverlaps| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalOverlappedBy| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalMetBy| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalMeets| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalIn| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalFinishes| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalFinishedBy| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalEquals| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalDuring| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalDisjoint| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalContains| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalBefore| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#intervalAfter| |http://www.w3.org/2006/time#ProperInterval|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#inside| |http://www.w3.org/2006/time#Instant|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#inTimePosition| |http://www.w3.org/2006/time#TimePosition|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#inTemporalPosition| |http://www.w3.org/2006/time#TemporalPosition|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#inDateTime| |http://www.w3.org/2006/time#GeneralDateTimeDescription|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#hasTime| |http://www.w3.org/2006/time#TemporalEntity|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#hasTemporalDuration| |http://www.w3.org/2006/time#TemporalDuration|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#hasTRS| |http://www.w3.org/2006/time#TRS|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#hasEnd| |http://www.w3.org/2006/time#Instant|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#hasDurationDescription| |http://www.w3.org/2006/time#GeneralDurationDescription|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#hasDuration| |http://www.w3.org/2006/time#Duration|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#hasDateTimeDescription| |http://www.w3.org/2006/time#GeneralDateTimeDescription|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#hasBeginning| |http://www.w3.org/2006/time#Instant|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#dayOfWeek| |http://www.w3.org/2006/time#DayOfWeek|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#before| |http://www.w3.org/2006/time#TemporalEntity|))
(IMPLIES TOP (ALL |http://www.w3.org/2006/time#after| |http://www.w3.org/2006/time#TemporalEntity|))
(IMPLIES |http://www.w3.org/2006/time#Year| (D-EXACTLY 1 |http://www.w3.org/2006/time#years|))
(IMPLIES |http://www.w3.org/2006/time#Year| (D-EXACTLY 0 |http://www.w3.org/2006/time#weeks|))
(IMPLIES |http://www.w3.org/2006/time#Year| (D-EXACTLY 0 |http://www.w3.org/2006/time#seconds|))
(IMPLIES |http://www.w3.org/2006/time#Year| (D-EXACTLY 0 |http://www.w3.org/2006/time#months|))
(IMPLIES |http://www.w3.org/2006/time#Year| (D-EXACTLY 0 |http://www.w3.org/2006/time#minutes|))
(IMPLIES |http://www.w3.org/2006/time#Year| (D-EXACTLY 0 |http://www.w3.org/2006/time#hours|))
(IMPLIES |http://www.w3.org/2006/time#Year| (D-EXACTLY 0 |http://www.w3.org/2006/time#days|))
(IMPLIES |http://www.w3.org/2006/time#Year| |http://www.w3.org/2006/time#DurationDescription|)
(IMPLIES |http://www.w3.org/2006/time#TimePosition| (OR (D-EXACTLY 1 |http://www.w3.org/2006/time#numericPosition|) (D-EXACTLY 1 |http://www.w3.org/2006/time#nominalPosition|)))
(IMPLIES |http://www.w3.org/2006/time#TimePosition| |http://www.w3.org/2006/time#TemporalPosition|)
(IMPLIES |http://www.w3.org/2006/time#TemporalUnit| |http://www.w3.org/2006/time#TemporalDuration|)
(IMPLIES |http://www.w3.org/2006/time#TemporalPosition| (EXACTLY 1 |http://www.w3.org/2006/time#hasTRS|))
(IMPLIES |http://www.w3.org/2006/time#TemporalEntity| *TOP*)
(IMPLIES |http://www.w3.org/2006/time#ProperInterval| |http://www.w3.org/2006/time#Interval|)
(IMPLIES |http://www.w3.org/2006/time#MonthOfYear| (D-EXACTLY 0 |http://www.w3.org/2006/time#year|))
(IMPLIES |http://www.w3.org/2006/time#MonthOfYear| (D-EXACTLY 0 |http://www.w3.org/2006/time#week|))
(IMPLIES |http://www.w3.org/2006/time#MonthOfYear| (D-EXACTLY 0 |http://www.w3.org/2006/time#second|))
(IMPLIES |http://www.w3.org/2006/time#MonthOfYear| (D-EXACTLY 1 |http://www.w3.org/2006/time#month|))
(IMPLIES |http://www.w3.org/2006/time#MonthOfYear| (D-EXACTLY 0 |http://www.w3.org/2006/time#minute|))
(IMPLIES |http://www.w3.org/2006/time#MonthOfYear| (D-EXACTLY 0 |http://www.w3.org/2006/time#hour|))
(IMPLIES |http://www.w3.org/2006/time#MonthOfYear| (D-EXACTLY 0 |http://www.w3.org/2006/time#day|))
(IMPLIES |http://www.w3.org/2006/time#MonthOfYear| (HAS-VALUE |http://www.w3.org/2006/time#unitType| |http://www.w3.org/2006/time#unitMonth|))
(IMPLIES |http://www.w3.org/2006/time#MonthOfYear| |http://www.w3.org/2006/time#DateTimeDescription|)
(IMPLIES |http://www.w3.org/2006/time#January| (D-FILLER |http://www.w3.org/2006/time#month| (D-LITERAL "--01" (D-BASE-TYPE |http://www.w3.org/1999/02/22-rdf-syntax-ns#PlainLiteral|))))
(IMPLIES |http://www.w3.org/2006/time#January| (HAS-VALUE |http://www.w3.org/2006/time#unitType| |http://www.w3.org/2006/time#unitMonth|))
(IMPLIES |http://www.w3.org/2006/time#January| |http://www.w3.org/2006/time#DateTimeDescription|)
(IMPLIES |http://www.w3.org/2006/time#Interval| |http://www.w3.org/2006/time#TemporalEntity|)
(IMPLIES |http://www.w3.org/2006/time#Instant| |http://www.w3.org/2006/time#TemporalEntity|)
(IMPLIES |http://www.w3.org/2006/time#GeneralDurationDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#years|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDurationDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#weeks|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDurationDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#seconds|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDurationDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#months|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDurationDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#minutes|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDurationDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#hours|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDurationDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#days|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDurationDescription| (EXACTLY 1 |http://www.w3.org/2006/time#hasTRS|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDurationDescription| |http://www.w3.org/2006/time#TemporalDuration|)
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#year|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#week|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#second|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#month|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#minute|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#hour|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#dayOfYear|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (D-AT-MOST 1 |http://www.w3.org/2006/time#day|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (AT-MOST 1 |http://www.w3.org/2006/time#timeZone|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (AT-MOST 1 |http://www.w3.org/2006/time#monthOfYear|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (AT-MOST 1 |http://www.w3.org/2006/time#dayOfWeek|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| (EXACTLY 1 |http://www.w3.org/2006/time#unitType|))
(IMPLIES |http://www.w3.org/2006/time#GeneralDateTimeDescription| |http://www.w3.org/2006/time#TemporalPosition|)
(IMPLIES |http://www.w3.org/2006/time#DurationDescription| (D-ALL |http://www.w3.org/2006/time#years| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES |http://www.w3.org/2006/time#DurationDescription| (D-ALL |http://www.w3.org/2006/time#weeks| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES |http://www.w3.org/2006/time#DurationDescription| (D-ALL |http://www.w3.org/2006/time#seconds| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES |http://www.w3.org/2006/time#DurationDescription| (D-ALL |http://www.w3.org/2006/time#months| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES |http://www.w3.org/2006/time#DurationDescription| (D-ALL |http://www.w3.org/2006/time#minutes| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES |http://www.w3.org/2006/time#DurationDescription| (D-ALL |http://www.w3.org/2006/time#hours| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES |http://www.w3.org/2006/time#DurationDescription| (D-ALL |http://www.w3.org/2006/time#days| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|)))
(IMPLIES |http://www.w3.org/2006/time#DurationDescription| (HAS-VALUE |http://www.w3.org/2006/time#hasTRS| |http://www.opengis.net/def/uom/ISO-8601/0/Gregorian|))
(IMPLIES |http://www.w3.org/2006/time#DurationDescription| |http://www.w3.org/2006/time#GeneralDurationDescription|)
(IMPLIES |http://www.w3.org/2006/time#Duration| (D-EXACTLY 1 |http://www.w3.org/2006/time#numericDuration|))
(IMPLIES |http://www.w3.org/2006/time#Duration| (EXACTLY 1 |http://www.w3.org/2006/time#unitType|))
(IMPLIES |http://www.w3.org/2006/time#Duration| |http://www.w3.org/2006/time#TemporalDuration|)
(IMPLIES |http://www.w3.org/2006/time#DayOfWeek| *TOP*)
(IMPLIES |http://www.w3.org/2006/time#DateTimeInterval| |http://www.w3.org/2006/time#ProperInterval|)
(IMPLIES |http://www.w3.org/2006/time#DateTimeDescription| (D-ALL |http://www.w3.org/2006/time#year| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#gYear|)))
(IMPLIES |http://www.w3.org/2006/time#DateTimeDescription| (D-ALL |http://www.w3.org/2006/time#month| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#gMonth|)))
(IMPLIES |http://www.w3.org/2006/time#DateTimeDescription| (D-ALL |http://www.w3.org/2006/time#day| (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#gDay|)))
(IMPLIES |http://www.w3.org/2006/time#DateTimeDescription| (HAS-VALUE |http://www.w3.org/2006/time#hasTRS| |http://www.opengis.net/def/uom/ISO-8601/0/Gregorian|))
(IMPLIES |http://www.w3.org/2006/time#DateTimeDescription| |http://www.w3.org/2006/time#GeneralDateTimeDescription|)
(DEFINE-CONCEPT |http://www.w3.org/2006/time#TemporalEntity| (OR |http://www.w3.org/2006/time#Interval| |http://www.w3.org/2006/time#Instant|))
(IMPLIES |http://www.w3.org/2006/time#TimeZone| TOP)
(IMPLIES |http://www.w3.org/2006/time#TemporalDuration| TOP)
(IMPLIES |http://www.w3.org/2006/time#TRS| TOP)
(IMPLIES |http://www.w3.org/2006/time#ProperInterval| (AND (NOT |http://www.w3.org/2006/time#Instant|)))
;(IN-ABOX |file:///home/adrian/Dropbox/tools/racer/Racer-2-0/time.owl| |file:///home/adrian/Dropbox/tools/racer/Racer-2-0/time.owl|)
(INSTANCE |http://www.w3.org/2006/time#unitMonth| |http://www.w3.org/2006/time#unitMonth|)
(INSTANCE |http://www.opengis.net/def/uom/ISO-8601/0/Gregorian| |http://www.opengis.net/def/uom/ISO-8601/0/Gregorian|)
(INSTANCE |http://www.w3.org/2006/time#Friday| |http://www.w3.org/2006/time#DayOfWeek|)
(INSTANCE |http://www.w3.org/2006/time#Monday| |http://www.w3.org/2006/time#DayOfWeek|)
(INSTANCE |http://www.w3.org/2006/time#Saturday| |http://www.w3.org/2006/time#DayOfWeek|)
(INSTANCE |http://www.w3.org/2006/time#Sunday| |http://www.w3.org/2006/time#DayOfWeek|)
(INSTANCE |http://www.w3.org/2006/time#Thursday| |http://www.w3.org/2006/time#DayOfWeek|)
(INSTANCE |http://www.w3.org/2006/time#Tuesday| |http://www.w3.org/2006/time#DayOfWeek|)
(INSTANCE |http://www.w3.org/2006/time#Wednesday| |http://www.w3.org/2006/time#DayOfWeek|)
(INSTANCE |http://www.w3.org/2006/time#unitDay| |http://www.w3.org/2006/time#TemporalUnit|)
(INSTANCE |http://www.w3.org/2006/time#unitHour| |http://www.w3.org/2006/time#TemporalUnit|)
(INSTANCE |http://www.w3.org/2006/time#unitMinute| |http://www.w3.org/2006/time#TemporalUnit|)
(INSTANCE |http://www.w3.org/2006/time#unitMonth| |http://www.w3.org/2006/time#TemporalUnit|)
(INSTANCE |http://www.w3.org/2006/time#unitSecond| |http://www.w3.org/2006/time#TemporalUnit|)
(INSTANCE |http://www.w3.org/2006/time#unitWeek| |http://www.w3.org/2006/time#TemporalUnit|)
(INSTANCE |http://www.w3.org/2006/time#unitYear| |http://www.w3.org/2006/time#TemporalUnit|)
(INSTANCE |http://www.w3.org/2006/time#unitDay| (D-FILLER |http://www.w3.org/2006/time#days| (D-LITERAL "1" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitDay| (D-FILLER |http://www.w3.org/2006/time#hours| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitDay| (D-FILLER |http://www.w3.org/2006/time#minutes| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitDay| (D-FILLER |http://www.w3.org/2006/time#months| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitDay| (D-FILLER |http://www.w3.org/2006/time#seconds| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitDay| (D-FILLER |http://www.w3.org/2006/time#weeks| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitDay| (D-FILLER |http://www.w3.org/2006/time#years| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitHour| (D-FILLER |http://www.w3.org/2006/time#days| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitHour| (D-FILLER |http://www.w3.org/2006/time#hours| (D-LITERAL "1" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitHour| (D-FILLER |http://www.w3.org/2006/time#minutes| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitHour| (D-FILLER |http://www.w3.org/2006/time#months| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitHour| (D-FILLER |http://www.w3.org/2006/time#seconds| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitHour| (D-FILLER |http://www.w3.org/2006/time#weeks| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitHour| (D-FILLER |http://www.w3.org/2006/time#years| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMinute| (D-FILLER |http://www.w3.org/2006/time#days| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMinute| (D-FILLER |http://www.w3.org/2006/time#hours| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMinute| (D-FILLER |http://www.w3.org/2006/time#minutes| (D-LITERAL "1" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMinute| (D-FILLER |http://www.w3.org/2006/time#months| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMinute| (D-FILLER |http://www.w3.org/2006/time#seconds| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMinute| (D-FILLER |http://www.w3.org/2006/time#weeks| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMinute| (D-FILLER |http://www.w3.org/2006/time#years| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMonth| (D-FILLER |http://www.w3.org/2006/time#days| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMonth| (D-FILLER |http://www.w3.org/2006/time#hours| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMonth| (D-FILLER |http://www.w3.org/2006/time#minutes| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMonth| (D-FILLER |http://www.w3.org/2006/time#months| (D-LITERAL "1" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMonth| (D-FILLER |http://www.w3.org/2006/time#seconds| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMonth| (D-FILLER |http://www.w3.org/2006/time#weeks| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitMonth| (D-FILLER |http://www.w3.org/2006/time#years| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitSecond| (D-FILLER |http://www.w3.org/2006/time#days| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitSecond| (D-FILLER |http://www.w3.org/2006/time#hours| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitSecond| (D-FILLER |http://www.w3.org/2006/time#minutes| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitSecond| (D-FILLER |http://www.w3.org/2006/time#months| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitSecond| (D-FILLER |http://www.w3.org/2006/time#seconds| (D-LITERAL "1" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitSecond| (D-FILLER |http://www.w3.org/2006/time#weeks| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitSecond| (D-FILLER |http://www.w3.org/2006/time#years| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitWeek| (D-FILLER |http://www.w3.org/2006/time#days| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitWeek| (D-FILLER |http://www.w3.org/2006/time#hours| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitWeek| (D-FILLER |http://www.w3.org/2006/time#minutes| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitWeek| (D-FILLER |http://www.w3.org/2006/time#months| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitWeek| (D-FILLER |http://www.w3.org/2006/time#seconds| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitWeek| (D-FILLER |http://www.w3.org/2006/time#weeks| (D-LITERAL "1" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitWeek| (D-FILLER |http://www.w3.org/2006/time#years| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitYear| (D-FILLER |http://www.w3.org/2006/time#days| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitYear| (D-FILLER |http://www.w3.org/2006/time#hours| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitYear| (D-FILLER |http://www.w3.org/2006/time#minutes| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitYear| (D-FILLER |http://www.w3.org/2006/time#months| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitYear| (D-FILLER |http://www.w3.org/2006/time#seconds| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitYear| (D-FILLER |http://www.w3.org/2006/time#weeks| (D-LITERAL "0" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))
(INSTANCE |http://www.w3.org/2006/time#unitYear| (D-FILLER |http://www.w3.org/2006/time#years| (D-LITERAL "1" (D-BASE-TYPE |http://www.w3.org/2001/XMLSchema#decimal|))))