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
|
<http://www.daml.org/2001/03/daml+oil> <http://www.daml.org/2001/03/daml+oil#versionInfo> "$Id: daml+oil.daml,v 1.7 2001/06/06 01:38:21 mdean Exp $" .
<http://www.daml.org/2001/03/daml+oil> <http://www.daml.org/2001/03/daml+oil#imports> <http://www.w3.org/2000/01/rdf-schema> .
<http://www.daml.org/2001/03/daml+oil#Class> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#Class> <http://www.w3.org/2000/01/rdf-schema#label> "Class" .
<http://www.daml.org/2001/03/daml+oil#Class> <http://www.w3.org/2000/01/rdf-schema#comment> "\n The class of all \"object\" classes\n " .
<http://www.daml.org/2001/03/daml+oil#Class> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#Datatype> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#Datatype> <http://www.w3.org/2000/01/rdf-schema#label> "Datatype" .
<http://www.daml.org/2001/03/daml+oil#Datatype> <http://www.w3.org/2000/01/rdf-schema#comment> "\n The class of all datatype classes\n " .
<http://www.daml.org/2001/03/daml+oil#Datatype> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#Thing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#Thing> <http://www.w3.org/2000/01/rdf-schema#label> "Thing" .
<http://www.daml.org/2001/03/daml+oil#Thing> <http://www.w3.org/2000/01/rdf-schema#comment> "\n The most general (object) class in DAML.\n This is equal to the union of any class and its complement.\n " .
_:genid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#List> .
_:genid1 <http://www.daml.org/2001/03/daml+oil#first> <http://www.daml.org/2001/03/daml+oil#Nothing> .
<http://www.daml.org/2001/03/daml+oil#Nothing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
_:genid3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#List> .
_:genid3 <http://www.daml.org/2001/03/daml+oil#first> _:genid2 .
_:genid1 <http://www.daml.org/2001/03/daml+oil#rest> _:genid3 .
_:genid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
_:genid2 <http://www.daml.org/2001/03/daml+oil#complementOf> <http://www.daml.org/2001/03/daml+oil#Nothing> .
_:genid3 <http://www.daml.org/2001/03/daml+oil#rest> <http://www.daml.org/2001/03/daml+oil#nil> .
<http://www.daml.org/2001/03/daml+oil#Thing> <http://www.daml.org/2001/03/daml+oil#unionOf> _:genid1 .
<http://www.daml.org/2001/03/daml+oil#Nothing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#Nothing> <http://www.w3.org/2000/01/rdf-schema#label> "Nothing" .
<http://www.daml.org/2001/03/daml+oil#Nothing> <http://www.w3.org/2000/01/rdf-schema#comment> "the class with no things in it." .
<http://www.daml.org/2001/03/daml+oil#Nothing> <http://www.daml.org/2001/03/daml+oil#complementOf> <http://www.daml.org/2001/03/daml+oil#Thing> .
<http://www.daml.org/2001/03/daml+oil#equivalentTo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#Property> .
<http://www.daml.org/2001/03/daml+oil#equivalentTo> <http://www.w3.org/2000/01/rdf-schema#label> "equivalentTo" .
<http://www.daml.org/2001/03/daml+oil#equivalentTo> <http://www.daml.org/2001/03/daml+oil#comment> "\n for equivalentTo(X, Y), read X is an equivalent term to Y.\n " .
<http://www.daml.org/2001/03/daml+oil#sameClassAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#Property> .
<http://www.daml.org/2001/03/daml+oil#sameClassAs> <http://www.w3.org/2000/01/rdf-schema#label> "sameClassAs" .
<http://www.daml.org/2001/03/daml+oil#sameClassAs> <http://www.daml.org/2001/03/daml+oil#comment> "\n for sameClassAs(X, Y), read X is an equivalent class to Y.\n cf OIL Equivalent\n " .
<http://www.daml.org/2001/03/daml+oil#sameClassAs> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.daml.org/2001/03/daml+oil#equivalentTo> .
<http://www.daml.org/2001/03/daml+oil#sameClassAs> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/01/rdf-schema#subClassOf> .
<http://www.daml.org/2001/03/daml+oil#sameClassAs> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#sameClassAs> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#Property> .
<http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#label> "samePropertyAs" .
<http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for samePropertyAs(P, R), read P is an equivalent property to R.\n " .
<http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.daml.org/2001/03/daml+oil#equivalentTo> .
<http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> .
<http://www.daml.org/2001/03/daml+oil#sameIndividualAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#Property> .
<http://www.daml.org/2001/03/daml+oil#sameIndividualAs> <http://www.w3.org/2000/01/rdf-schema#label> "sameIndividualAs" .
<http://www.daml.org/2001/03/daml+oil#sameIndividualAs> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for sameIndividualAs(a, b), read a is the same individual as b.\n " .
<http://www.daml.org/2001/03/daml+oil#sameIndividualAs> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.daml.org/2001/03/daml+oil#equivalentTo> .
<http://www.daml.org/2001/03/daml+oil#sameIndividualAs> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Thing> .
<http://www.daml.org/2001/03/daml+oil#sameIndividualAs> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#Thing> .
<http://www.daml.org/2001/03/daml+oil#disjointWith> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#disjointWith> <http://www.w3.org/2000/01/rdf-schema#label> "disjointWith" .
<http://www.daml.org/2001/03/daml+oil#disjointWith> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for disjointWith(X, Y) read: X and Y have no members in common.\n cf OIL Disjoint\n " .
<http://www.daml.org/2001/03/daml+oil#disjointWith> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#disjointWith> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#differentIndividualFrom> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#Property> .
<http://www.daml.org/2001/03/daml+oil#differentIndividualFrom> <http://www.w3.org/2000/01/rdf-schema#label> "differentIndividualFrom" .
<http://www.daml.org/2001/03/daml+oil#differentIndividualFrom> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for differentIndividualFrom(a, b), read a is not the same individual as b.\n " .
<http://www.daml.org/2001/03/daml+oil#differentIndividualFrom> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Thing> .
<http://www.daml.org/2001/03/daml+oil#differentIndividualFrom> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#Thing> .
<http://www.daml.org/2001/03/daml+oil#unionOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#unionOf> <http://www.w3.org/2000/01/rdf-schema#label> "unionOf" .
<http://www.daml.org/2001/03/daml+oil#unionOf> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for unionOf(X, Y) read: X is the union of the classes in the list Y;\n i.e. if something is in any of the classes in Y, it's in X, and vice versa.\n cf OIL OR\n " .
<http://www.daml.org/2001/03/daml+oil#unionOf> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#unionOf> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#List> .
<http://www.daml.org/2001/03/daml+oil#disjointUnionOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#disjointUnionOf> <http://www.w3.org/2000/01/rdf-schema#label> "disjointUnionOf" .
<http://www.daml.org/2001/03/daml+oil#disjointUnionOf> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for disjointUnionOf(X, Y) read: X is the disjoint union of the classes in\n the list Y: (a) for any c1 and c2 in Y, disjointWith(c1, c2),\n and (b) unionOf(X, Y). i.e. if something is in any of the classes in Y, it's\n in X, and vice versa.\n cf OIL disjoint-covered\n " .
<http://www.daml.org/2001/03/daml+oil#disjointUnionOf> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#disjointUnionOf> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#List> .
<http://www.daml.org/2001/03/daml+oil#intersectionOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#intersectionOf> <http://www.w3.org/2000/01/rdf-schema#label> "intersectionOf" .
<http://www.daml.org/2001/03/daml+oil#intersectionOf> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for intersectionOf(X, Y) read: X is the intersection of the classes in the list Y;\n i.e. if something is in all the classes in Y, then it's in X, and vice versa.\n cf OIL AND\n " .
<http://www.daml.org/2001/03/daml+oil#intersectionOf> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#intersectionOf> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#List> .
<http://www.daml.org/2001/03/daml+oil#complementOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#complementOf> <http://www.w3.org/2000/01/rdf-schema#label> "complementOf" .
<http://www.daml.org/2001/03/daml+oil#complementOf> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for complementOf(X, Y) read: X is the complement of Y; if something is in Y,\n then it's not in X, and vice versa.\n cf OIL NOT\n " .
<http://www.daml.org/2001/03/daml+oil#complementOf> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#complementOf> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#oneOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#oneOf> <http://www.w3.org/2000/01/rdf-schema#label> "oneOf" .
<http://www.daml.org/2001/03/daml+oil#oneOf> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for oneOf(C, L) read everything in C is one of the\n things in L;\n This lets us define classes by enumerating the members.\n cf OIL OneOf\n " .
<http://www.daml.org/2001/03/daml+oil#oneOf> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#oneOf> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#List> .
<http://www.daml.org/2001/03/daml+oil#Restriction> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#Restriction> <http://www.w3.org/2000/01/rdf-schema#label> "Restriction" .
<http://www.daml.org/2001/03/daml+oil#Restriction> <http://www.w3.org/2000/01/rdf-schema#comment> "\n something is in the class R if it satisfies the attached restrictions, \n and vice versa.\n " .
<http://www.daml.org/2001/03/daml+oil#Restriction> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.daml.org/2001/03/daml+oil#Class> .
<http://www.daml.org/2001/03/daml+oil#onProperty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#onProperty> <http://www.w3.org/2000/01/rdf-schema#label> "onProperty" .
<http://www.daml.org/2001/03/daml+oil#onProperty> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P), read:\n R is a restricted with respect to property P.\n " .
<http://www.daml.org/2001/03/daml+oil#onProperty> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#onProperty> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#toClass> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#toClass> <http://www.w3.org/2000/01/rdf-schema#label> "toClass" .
<http://www.daml.org/2001/03/daml+oil#toClass> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P) and toClass(R, X), read:\n i is in class R if and only if for all j, P(i, j) implies type(j, X).\n cf OIL ValueType\n " .
<http://www.daml.org/2001/03/daml+oil#toClass> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#toClass> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#hasValue> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#hasValue> <http://www.w3.org/2000/01/rdf-schema#label> "hasValue" .
<http://www.daml.org/2001/03/daml+oil#hasValue> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P) and hasValue(R, V), read:\n i is in class R if and only if P(i, V).\n cf OIL HasFiller\n " .
<http://www.daml.org/2001/03/daml+oil#hasValue> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#hasClass> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#hasClass> <http://www.w3.org/2000/01/rdf-schema#label> "hasClass" .
<http://www.daml.org/2001/03/daml+oil#hasClass> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P) and hasClass(R, X), read:\n i is in class R if and only if for some j, P(i, j) and type(j, X).\n cf OIL HasValue\n " .
<http://www.daml.org/2001/03/daml+oil#hasClass> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#hasClass> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#minCardinality> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#minCardinality> <http://www.w3.org/2000/01/rdf-schema#label> "minCardinality" .
<http://www.daml.org/2001/03/daml+oil#minCardinality> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P) and minCardinality(R, n), read:\n i is in class R if and only if there are at least n distinct j with P(i, j).\n cf OIL MinCardinality\n " .
<http://www.daml.org/2001/03/daml+oil#minCardinality> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#minCardinality> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger> .
<http://www.daml.org/2001/03/daml+oil#maxCardinality> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#maxCardinality> <http://www.w3.org/2000/01/rdf-schema#label> "maxCardinality" .
<http://www.daml.org/2001/03/daml+oil#maxCardinality> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P) and maxCardinality(R, n), read:\n i is in class R if and only if there are at most n distinct j with P(i, j).\n cf OIL MaxCardinality\n " .
<http://www.daml.org/2001/03/daml+oil#maxCardinality> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#maxCardinality> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger> .
<http://www.daml.org/2001/03/daml+oil#cardinality> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#cardinality> <http://www.w3.org/2000/01/rdf-schema#label> "cardinality" .
<http://www.daml.org/2001/03/daml+oil#cardinality> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P) and cardinality(R, n), read:\n i is in class R if and only if there are exactly n distinct j with P(i, j).\n cf OIL Cardinality\n " .
<http://www.daml.org/2001/03/daml+oil#cardinality> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#cardinality> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger> .
<http://www.daml.org/2001/03/daml+oil#hasClassQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#hasClassQ> <http://www.w3.org/2000/01/rdf-schema#label> "hasClassQ" .
<http://www.daml.org/2001/03/daml+oil#hasClassQ> <http://www.w3.org/2000/01/rdf-schema#comment> "\n property for specifying class restriction with cardinalityQ constraints\n " .
<http://www.daml.org/2001/03/daml+oil#hasClassQ> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#hasClassQ> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#minCardinalityQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#minCardinalityQ> <http://www.w3.org/2000/01/rdf-schema#label> "minCardinality" .
<http://www.daml.org/2001/03/daml+oil#minCardinalityQ> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P), minCardinalityQ(R, n) and hasClassQ(R, X), read:\n i is in class R if and only if there are at least n distinct j with P(i, j) \n and type(j, X).\n cf OIL MinCardinality\n " .
<http://www.daml.org/2001/03/daml+oil#minCardinalityQ> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#minCardinalityQ> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger> .
<http://www.daml.org/2001/03/daml+oil#maxCardinalityQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#maxCardinalityQ> <http://www.w3.org/2000/01/rdf-schema#label> "maxCardinality" .
<http://www.daml.org/2001/03/daml+oil#maxCardinalityQ> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P), maxCardinalityQ(R, n) and hasClassQ(R, X), read:\n i is in class R if and only if there are at most n distinct j with P(i, j)\n and type(j, X).\n cf OIL MaxCardinality\n " .
<http://www.daml.org/2001/03/daml+oil#maxCardinalityQ> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#maxCardinalityQ> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger> .
<http://www.daml.org/2001/03/daml+oil#cardinalityQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#cardinalityQ> <http://www.w3.org/2000/01/rdf-schema#label> "cardinality" .
<http://www.daml.org/2001/03/daml+oil#cardinalityQ> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for onProperty(R, P), cardinalityQ(R, n) and hasClassQ(R, X), read:\n i is in class R if and only if there are exactly n distinct j with P(i, j)\n and type(j, X).\n cf OIL Cardinality\n " .
<http://www.daml.org/2001/03/daml+oil#cardinalityQ> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#Restriction> .
<http://www.daml.org/2001/03/daml+oil#cardinalityQ> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger> .
<http://www.daml.org/2001/03/daml+oil#ObjectProperty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#ObjectProperty> <http://www.w3.org/2000/01/rdf-schema#label> "ObjectProperty" .
<http://www.daml.org/2001/03/daml+oil#ObjectProperty> <http://www.w3.org/2000/01/rdf-schema#comment> "\n if P is an ObjectProperty, and P(x, y), then y is an object.\n " .
<http://www.daml.org/2001/03/daml+oil#ObjectProperty> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#DatatypeProperty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#DatatypeProperty> <http://www.w3.org/2000/01/rdf-schema#label> "DatatypeProperty" .
<http://www.daml.org/2001/03/daml+oil#DatatypeProperty> <http://www.w3.org/2000/01/rdf-schema#comment> "\n if P is a DatatypeProperty, and P(x, y), then y is a data value.\n " .
<http://www.daml.org/2001/03/daml+oil#DatatypeProperty> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#inverseOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#inverseOf> <http://www.w3.org/2000/01/rdf-schema#label> "inverseOf" .
<http://www.daml.org/2001/03/daml+oil#inverseOf> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for inverseOf(R, S) read: R is the inverse of S; i.e.\n if R(x, y) then S(y, x) and vice versa.\n cf OIL inverseRelationOf\n " .
<http://www.daml.org/2001/03/daml+oil#inverseOf> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#ObjectProperty> .
<http://www.daml.org/2001/03/daml+oil#inverseOf> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#ObjectProperty> .
<http://www.daml.org/2001/03/daml+oil#TransitiveProperty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#TransitiveProperty> <http://www.w3.org/2000/01/rdf-schema#label> "TransitiveProperty" .
<http://www.daml.org/2001/03/daml+oil#TransitiveProperty> <http://www.w3.org/2000/01/rdf-schema#comment> "\n if P is a TransitiveProperty, then if P(x, y) and P(y, z) then P(x, z).\n cf OIL TransitiveProperty.\n " .
<http://www.daml.org/2001/03/daml+oil#TransitiveProperty> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.daml.org/2001/03/daml+oil#ObjectProperty> .
<http://www.daml.org/2001/03/daml+oil#UniqueProperty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#UniqueProperty> <http://www.w3.org/2000/01/rdf-schema#label> "UniqueProperty" .
<http://www.daml.org/2001/03/daml+oil#UniqueProperty> <http://www.w3.org/2000/01/rdf-schema#comment> "\n compare with maxCardinality=1; e.g. integer successor:\n if P is a UniqueProperty, then if P(x, y) and P(x, z) then y=z.\n cf OIL FunctionalProperty.\n " .
<http://www.daml.org/2001/03/daml+oil#UniqueProperty> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#UnambiguousProperty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#UnambiguousProperty> <http://www.w3.org/2000/01/rdf-schema#label> "UnambiguousProperty" .
<http://www.daml.org/2001/03/daml+oil#UnambiguousProperty> <http://www.w3.org/2000/01/rdf-schema#comment> "\n if P is an UnambiguousProperty, then if P(x, y) and P(z, y) then x=z.\n aka injective. e.g. if firstBorne(m, Susan)\n and firstBorne(n, Susan) then m and n are the same.\n " .
<http://www.daml.org/2001/03/daml+oil#UnambiguousProperty> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.daml.org/2001/03/daml+oil#ObjectProperty> .
<http://www.daml.org/2001/03/daml+oil#List> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#List> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq> .
<http://www.daml.org/2001/03/daml+oil#nil> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#List> .
<http://www.daml.org/2001/03/daml+oil#nil> <http://www.w3.org/2000/01/rdf-schema#comment> "\n the empty list; this used to be called Empty.\n " .
<http://www.daml.org/2001/03/daml+oil#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#first> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#List> .
<http://www.daml.org/2001/03/daml+oil#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#rest> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#List> .
<http://www.daml.org/2001/03/daml+oil#rest> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.daml.org/2001/03/daml+oil#List> .
<http://www.daml.org/2001/03/daml+oil#item> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#item> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for item(L, I) read: I is an item in L; either first(L, I)\n or item(R, I) where rest(L, R).\n " .
<http://www.daml.org/2001/03/daml+oil#item> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.daml.org/2001/03/daml+oil#List> .
<http://www.daml.org/2001/03/daml+oil#Ontology> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#Ontology> <http://www.w3.org/2000/01/rdf-schema#label> "Ontology" .
<http://www.daml.org/2001/03/daml+oil#Ontology> <http://www.w3.org/2000/01/rdf-schema#comment> "\n An Ontology is a document that describes\n a vocabulary of terms for communication between\n (human and) automated agents.\n " .
<http://www.daml.org/2001/03/daml+oil#versionInfo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#versionInfo> <http://www.w3.org/2000/01/rdf-schema#label> "versionInfo" .
<http://www.daml.org/2001/03/daml+oil#versionInfo> <http://www.w3.org/2000/01/rdf-schema#comment> "\n generally, a string giving information about this\n version; e.g. RCS/CVS keywords\n " .
<http://www.daml.org/2001/03/daml+oil#imports> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#imports> <http://www.w3.org/2000/01/rdf-schema#label> "imports" .
<http://www.daml.org/2001/03/daml+oil#imports> <http://www.w3.org/2000/01/rdf-schema#comment> "\n for imports(X, Y) read: X imports Y;\n i.e. X asserts the* contents of Y by reference;\n i.e. if imports(X, Y) and you believe X and Y says something,\n then you should believe it.\n Note: \"the contents\" is, in the general case,\n an il-formed definite description. Different\n interactions with a resource may expose contents\n that vary with time, data format, preferred language,\n requestor credentials, etc. So for \"the contents\",\n read \"any contents\".\n " .
<http://www.daml.org/2001/03/daml+oil> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2001/03/daml+oil#Ontology> .
<http://www.daml.org/2001/03/daml+oil> <http://www.daml.org/2001/03/daml+oil#imports> <http://www.w3.org/2000/01/rdf-schema> .
<http://www.daml.org/2001/03/daml+oil#subPropertyOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#subPropertyOf> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> .
<http://www.daml.org/2001/03/daml+oil#Literal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#Literal> <http://www.daml.org/2001/03/daml+oil#sameClassAs> <http://www.w3.org/2000/01/rdf-schema#Literal> .
<http://www.daml.org/2001/03/daml+oil#Property> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<http://www.daml.org/2001/03/daml+oil#Property> <http://www.daml.org/2001/03/daml+oil#sameClassAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#type> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> .
<http://www.daml.org/2001/03/daml+oil#value> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#value> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#value> .
<http://www.daml.org/2001/03/daml+oil#subClassOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#subClassOf> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#subClassOf> .
<http://www.daml.org/2001/03/daml+oil#domain> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#domain> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#domain> .
<http://www.daml.org/2001/03/daml+oil#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#range> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#range> .
<http://www.daml.org/2001/03/daml+oil#label> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#label> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#label> .
<http://www.daml.org/2001/03/daml+oil#comment> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#comment> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#comment> .
<http://www.daml.org/2001/03/daml+oil#seeAlso> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#seeAlso> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#seeAlso> .
<http://www.daml.org/2001/03/daml+oil#isDefinedBy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.daml.org/2001/03/daml+oil#isDefinedBy> <http://www.daml.org/2001/03/daml+oil#samePropertyAs> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> .
<http://www.daml.org/2001/03/daml+oil#isDefinedBy> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.daml.org/2001/03/daml+oil#seeAlso> .
|
