1 | <!DOCTYPE html |
---|
2 | PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> |
---|
3 | <html> |
---|
4 | <head> |
---|
5 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> |
---|
6 | <title>sc_template_defs.xml</title><style type="text/css"> |
---|
7 | body{ |
---|
8 | font-family: Verdana, serif; |
---|
9 | font-size: 10pt; |
---|
10 | } |
---|
11 | th{ |
---|
12 | text-align: left; |
---|
13 | } |
---|
14 | table.roles{ |
---|
15 | width: 100%; |
---|
16 | } |
---|
17 | h4{ |
---|
18 | font-size:120%; |
---|
19 | } |
---|
20 | |
---|
21 | </style></head> |
---|
22 | <body> |
---|
23 | <h1>sc_template_defs.xml</h1> |
---|
24 | <h2>Templates</h2> |
---|
25 | <ul> |
---|
26 | <li><a href="#AScCC">AScCC</a>: Assembly of class |
---|
27 | </li> |
---|
28 | <li><a href="#ASi">ASi</a>: Assembly of individual |
---|
29 | </li> |
---|
30 | <li><a href="#CIP">CIP</a>: Classified assignment of indirect property |
---|
31 | </li> |
---|
32 | <li><a href="#CIPC">CIPC</a>: Classified assignment of classified indirect property |
---|
33 | </li> |
---|
34 | <li><a href="#CIPCSQ">CIPCSQ</a>: Classified assignment of classified indirect property with unit of measure and value |
---|
35 | </li> |
---|
36 | <li><a href="#CIPc">CIPc</a>: Restriction of class to indirect property range |
---|
37 | </li> |
---|
38 | <li><a href="#CIPcSQQ">CIPcSQQ</a>: Assignment of indirect property range |
---|
39 | </li> |
---|
40 | <li><a href="#CL">CL</a>: Classification |
---|
41 | </li> |
---|
42 | <li><a href="#CLc">CLc</a>: Classification of class of individual |
---|
43 | </li> |
---|
44 | <li><a href="#CLcc">CLcc</a>: Classification of class of class |
---|
45 | </li> |
---|
46 | <li><a href="#CLi">CLi</a>: Classification of individual |
---|
47 | </li> |
---|
48 | <li><a href="#ID">ID</a>: Identification |
---|
49 | </li> |
---|
50 | <li><a href="#IDC">IDC</a>: Identification with Context |
---|
51 | </li> |
---|
52 | <li><a href="#IDn">IDn</a>: Identification by Number |
---|
53 | </li> |
---|
54 | <li><a href="#IDs">IDs</a>: Identification by Symbol |
---|
55 | </li> |
---|
56 | <li><a href="#IDsC">IDsC</a>: Identification by Symbol with Context |
---|
57 | </li> |
---|
58 | <li><a href="#IDt">IDt</a>: Identification by Text |
---|
59 | </li> |
---|
60 | <li><a href="#IDtC">IDtC</a>: Identification by Text with Context |
---|
61 | </li> |
---|
62 | <li><a href="#IP">IP</a>: Assignment of indirect property |
---|
63 | </li> |
---|
64 | <li><a href="#IPC">IPC</a>: Assignment of classified indirect property |
---|
65 | </li> |
---|
66 | <li><a href="#PQ">PQ</a>: Property quantification |
---|
67 | </li> |
---|
68 | <li><a href="#PQC">PQC</a>: Property quantification with scale |
---|
69 | </li> |
---|
70 | <li><a href="#SP">SP</a>: Specialization |
---|
71 | </li> |
---|
72 | <li><a href="#SPcc">SPcc</a>: Specialization of class of class |
---|
73 | </li> |
---|
74 | <li><a href="#SPccc">SPccc</a>: Specialization of class of class of class |
---|
75 | </li> |
---|
76 | <li><a href="#SPi">SPi</a>: Specialization of class of individual |
---|
77 | </li> |
---|
78 | </ul> |
---|
79 | <h2>Template specifications</h2> |
---|
80 | <h3><a name="AScCC">AScCC</a>: Assembly of class |
---|
81 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: AScCC( x1:ClassOfIndividual, x2:ClassOfArrangedIndividual, x3:ExpressInteger, x4:ExpressInteger ) states that every instance |
---|
82 | of x2 has between x3 and x4 parts which are instances of x1. |
---|
83 | <h4>Roles</h4> |
---|
84 | <table class="roles"> |
---|
85 | <tr> |
---|
86 | <th>Position</th> |
---|
87 | <th>Designation</th> |
---|
88 | <th>Type</th> |
---|
89 | <th>Definition</th> |
---|
90 | <th>Optional</th> |
---|
91 | </tr> |
---|
92 | <tr> |
---|
93 | <td>1</td> |
---|
94 | <td>AScCC_Part</td> |
---|
95 | <td>ClassOfIndividual</td> |
---|
96 | <td>The role of the part in an class of assembly of individual.</td> |
---|
97 | <td>false</td> |
---|
98 | </tr> |
---|
99 | <tr> |
---|
100 | <td>2</td> |
---|
101 | <td>AScCC_Whole</td> |
---|
102 | <td>ClassOfArrangedIndividual</td> |
---|
103 | <td>The role of the whole in an class of assembly of individual.</td> |
---|
104 | <td>false</td> |
---|
105 | </tr> |
---|
106 | <tr> |
---|
107 | <td>3</td> |
---|
108 | <td>AScCC_MinCard</td> |
---|
109 | <td>ExpressInteger</td> |
---|
110 | <td>The minimum cardinality of the class of assembly of individual relationship.</td> |
---|
111 | <td>false</td> |
---|
112 | </tr> |
---|
113 | <tr> |
---|
114 | <td>4</td> |
---|
115 | <td>AScCC_MaxCard</td> |
---|
116 | <td>ExpressInteger</td> |
---|
117 | <td>The maximum cardinality of the class of assembly of individual relationship.</td> |
---|
118 | <td>false</td> |
---|
119 | </tr> |
---|
120 | </table> |
---|
121 | <hr> |
---|
122 | <h3><a name="ASi">ASi</a>: Assembly of individual |
---|
123 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: ASi( x1:PossibleIndividual, x2:ArrangedIndividual ) states that x1 is a part of x2. |
---|
124 | <h4>Roles</h4> |
---|
125 | <table class="roles"> |
---|
126 | <tr> |
---|
127 | <th>Position</th> |
---|
128 | <th>Designation</th> |
---|
129 | <th>Type</th> |
---|
130 | <th>Definition</th> |
---|
131 | <th>Optional</th> |
---|
132 | </tr> |
---|
133 | <tr> |
---|
134 | <td>1</td> |
---|
135 | <td>ASi_Part</td> |
---|
136 | <td>PossibleIndividual</td> |
---|
137 | <td>The role of the part in an assembly of individual.</td> |
---|
138 | <td>false</td> |
---|
139 | </tr> |
---|
140 | <tr> |
---|
141 | <td>2</td> |
---|
142 | <td>ASi_Whole</td> |
---|
143 | <td>ArrangedIndividual</td> |
---|
144 | <td>The role of the whole in an assembly of individual.</td> |
---|
145 | <td>false</td> |
---|
146 | </tr> |
---|
147 | </table> |
---|
148 | <hr> |
---|
149 | <h3><a name="CIP">CIP</a>: Classified assignment of indirect property |
---|
150 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: CIP( x1:PossibleIndividual, x2:Property, x3:ClassOfIndirectProperty ) states that x1 has an indirect property relationship |
---|
151 | of type x3 to the property x2. |
---|
152 | <h4>Roles</h4> |
---|
153 | <table class="roles"> |
---|
154 | <tr> |
---|
155 | <th>Position</th> |
---|
156 | <th>Designation</th> |
---|
157 | <th>Type</th> |
---|
158 | <th>Definition</th> |
---|
159 | <th>Optional</th> |
---|
160 | </tr> |
---|
161 | <tr> |
---|
162 | <td>1</td> |
---|
163 | <td>IP_PropertyBearer</td> |
---|
164 | <td>PossibleIndividual</td> |
---|
165 | <td>The property bearer (an individual) in an indirect property relationship.</td> |
---|
166 | <td>false</td> |
---|
167 | </tr> |
---|
168 | <tr> |
---|
169 | <td>2</td> |
---|
170 | <td>IP_Property</td> |
---|
171 | <td>Property</td> |
---|
172 | <td>The property in an indirect property relationship.</td> |
---|
173 | <td>false</td> |
---|
174 | </tr> |
---|
175 | <tr> |
---|
176 | <td>3</td> |
---|
177 | <td>CIP_PropertyRelation</td> |
---|
178 | <td>ClassOfIndirectProperty</td> |
---|
179 | <td>The type of the relationship in an indirect property relationship.</td> |
---|
180 | <td>false</td> |
---|
181 | </tr> |
---|
182 | </table> |
---|
183 | <hr> |
---|
184 | <h3><a name="CIPC">CIPC</a>: Classified assignment of classified indirect property |
---|
185 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: CIPC( x1:PossibleIndividual, x2:Property, x3:ClassOfIndirectProperty, x4:SinglePropertyDimension ) states that x1 has an indirect |
---|
186 | property relationship of type x3 to the property x2, and that x2 is a property of type x4. |
---|
187 | <h4>Roles</h4> |
---|
188 | <table class="roles"> |
---|
189 | <tr> |
---|
190 | <th>Position</th> |
---|
191 | <th>Designation</th> |
---|
192 | <th>Type</th> |
---|
193 | <th>Definition</th> |
---|
194 | <th>Optional</th> |
---|
195 | </tr> |
---|
196 | <tr> |
---|
197 | <td>1</td> |
---|
198 | <td>IP_PropertyBearer</td> |
---|
199 | <td>PossibleIndividual</td> |
---|
200 | <td>The property bearer (an individual) in an indirect property relationship.</td> |
---|
201 | <td>false</td> |
---|
202 | </tr> |
---|
203 | <tr> |
---|
204 | <td>2</td> |
---|
205 | <td>IP_Property</td> |
---|
206 | <td>Property</td> |
---|
207 | <td>The property in an indirect property relationship.</td> |
---|
208 | <td>false</td> |
---|
209 | </tr> |
---|
210 | <tr> |
---|
211 | <td>3</td> |
---|
212 | <td>CIP_PropertyRelation</td> |
---|
213 | <td>ClassOfIndirectProperty</td> |
---|
214 | <td>The type of the relationship in an indirect property relationship.</td> |
---|
215 | <td>false</td> |
---|
216 | </tr> |
---|
217 | <tr> |
---|
218 | <td>4</td> |
---|
219 | <td>IPC_PropertyType</td> |
---|
220 | <td>SinglePropertyDimension</td> |
---|
221 | <td>The type of the property in an indirect property relationship.</td> |
---|
222 | <td>false</td> |
---|
223 | </tr> |
---|
224 | </table> |
---|
225 | <hr> |
---|
226 | <h3><a name="CIPCSQ">CIPCSQ</a>: Classified assignment of classified indirect property with unit of measure and value |
---|
227 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: CIPCSQ( x1:PossibleIndividual, x2:ClassOfIndirectProperty, x3:SinglePropertyDimension, x4:Scale, x5:ExpressReal ) states that |
---|
228 | x1 has an indirect property relationship of type x2 to a property of type x3, which relates via unit of measure x4 to a number |
---|
229 | represented by x5. |
---|
230 | <h4>Roles</h4> |
---|
231 | <table class="roles"> |
---|
232 | <tr> |
---|
233 | <th>Position</th> |
---|
234 | <th>Designation</th> |
---|
235 | <th>Type</th> |
---|
236 | <th>Definition</th> |
---|
237 | <th>Optional</th> |
---|
238 | </tr> |
---|
239 | <tr> |
---|
240 | <td>1</td> |
---|
241 | <td>IP_PropertyBearer</td> |
---|
242 | <td>PossibleIndividual</td> |
---|
243 | <td>The property bearer (an individual) in an indirect property relationship.</td> |
---|
244 | <td>false</td> |
---|
245 | </tr> |
---|
246 | <tr> |
---|
247 | <td>2</td> |
---|
248 | <td>CIP_PropertyRelation</td> |
---|
249 | <td>ClassOfIndirectProperty</td> |
---|
250 | <td>The type of the relationship in an indirect property relationship.</td> |
---|
251 | <td>false</td> |
---|
252 | </tr> |
---|
253 | <tr> |
---|
254 | <td>3</td> |
---|
255 | <td>IPC_PropertyType</td> |
---|
256 | <td>SinglePropertyDimension</td> |
---|
257 | <td>The type of the property in an indirect property relationship.</td> |
---|
258 | <td>false</td> |
---|
259 | </tr> |
---|
260 | <tr> |
---|
261 | <td>4</td> |
---|
262 | <td>PQC_Scale</td> |
---|
263 | <td>Scale</td> |
---|
264 | <td>The type of the property in an indirect property relationship.</td> |
---|
265 | <td>false</td> |
---|
266 | </tr> |
---|
267 | <tr> |
---|
268 | <td>5</td> |
---|
269 | <td>IDn_Identifier</td> |
---|
270 | <td>ExpressReal</td> |
---|
271 | <td>The identifier (the number representation) in an identification by real number.</td> |
---|
272 | <td>false</td> |
---|
273 | </tr> |
---|
274 | </table> |
---|
275 | <hr> |
---|
276 | <h3><a name="CIPc">CIPc</a>: Restriction of class to indirect property range |
---|
277 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: CIPc( x1:ClassOfIndividual, x2:ClassOfIndirectProperty, x3:PropertySpace ) states that any indirect property x2 of an x1 has |
---|
278 | magnitude in the property space (the range) x3. |
---|
279 | <h4>Roles</h4> |
---|
280 | <table class="roles"> |
---|
281 | <tr> |
---|
282 | <th>Position</th> |
---|
283 | <th>Designation</th> |
---|
284 | <th>Type</th> |
---|
285 | <th>Definition</th> |
---|
286 | <th>Optional</th> |
---|
287 | </tr> |
---|
288 | <tr> |
---|
289 | <td>1</td> |
---|
290 | <td>CIPc_PropertyRangeRestrictedClass</td> |
---|
291 | <td>ClassOfIndividual</td> |
---|
292 | <td>The class which is subject to a range restriction on an indirect property.</td> |
---|
293 | <td>false</td> |
---|
294 | </tr> |
---|
295 | <tr> |
---|
296 | <td>2</td> |
---|
297 | <td>CIP_PropertyRelation</td> |
---|
298 | <td>ClassOfIndirectProperty</td> |
---|
299 | <td>The type of the relationship in an indirect property relationship.</td> |
---|
300 | <td>false</td> |
---|
301 | </tr> |
---|
302 | <tr> |
---|
303 | <td>3</td> |
---|
304 | <td>CIPc_PropertyRange</td> |
---|
305 | <td>PropertySpace</td> |
---|
306 | <td>The value range of an indirect property to which a given class is restricted.</td> |
---|
307 | <td>false</td> |
---|
308 | </tr> |
---|
309 | </table> |
---|
310 | <hr> |
---|
311 | <h3><a name="CIPcSQQ">CIPcSQQ</a>: Assignment of indirect property range |
---|
312 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: CIPCcSQQ( x1:ClassOfPhysicalObject, x2:ClassOfIndirectProperty, x3:SinglePropertyDimension, x4:Scale, x5:ExpressReal, x6:ExpressReal |
---|
313 | ) states that for any x1, the magnitude of an x2 indirect property relationship to an x3 property is limited to the range |
---|
314 | [x5, x6] on the scale x4. |
---|
315 | <h4>Roles</h4> |
---|
316 | <table class="roles"> |
---|
317 | <tr> |
---|
318 | <th>Position</th> |
---|
319 | <th>Designation</th> |
---|
320 | <th>Type</th> |
---|
321 | <th>Definition</th> |
---|
322 | <th>Optional</th> |
---|
323 | </tr> |
---|
324 | <tr> |
---|
325 | <td>1</td> |
---|
326 | <td>CIPc_PropertyRangeRestrictedClass</td> |
---|
327 | <td>ClassOfIndividual</td> |
---|
328 | <td>The class which is subject to a range restriction on an indirect property.</td> |
---|
329 | <td>false</td> |
---|
330 | </tr> |
---|
331 | <tr> |
---|
332 | <td>2</td> |
---|
333 | <td>CIP_PropertyRelation</td> |
---|
334 | <td>ClassOfIndirectProperty</td> |
---|
335 | <td>The type of the relationship in an indirect property relationship.</td> |
---|
336 | <td>false</td> |
---|
337 | </tr> |
---|
338 | <tr> |
---|
339 | <td>3</td> |
---|
340 | <td>IPC_PropertyType</td> |
---|
341 | <td>SinglePropertyDimension</td> |
---|
342 | <td>The type of the property in an indirect property relationship.</td> |
---|
343 | <td>false</td> |
---|
344 | </tr> |
---|
345 | <tr> |
---|
346 | <td>4</td> |
---|
347 | <td>PQC_Scale</td> |
---|
348 | <td>Scale</td> |
---|
349 | <td>The type of the property in an indirect property relationship.</td> |
---|
350 | <td>false</td> |
---|
351 | </tr> |
---|
352 | <tr> |
---|
353 | <td>5</td> |
---|
354 | <td>CIPcSQQ_LowerReal</td> |
---|
355 | <td>ExpressReal</td> |
---|
356 | <td>The number representation of the lower bound in a CIPcSQQ property range.</td> |
---|
357 | <td>false</td> |
---|
358 | </tr> |
---|
359 | <tr> |
---|
360 | <td>6</td> |
---|
361 | <td>CIPcSQQ_UpperReal</td> |
---|
362 | <td>ExpressReal</td> |
---|
363 | <td>The number representation of the upper bound in a CIPcSQQ property range.</td> |
---|
364 | <td>false</td> |
---|
365 | </tr> |
---|
366 | </table> |
---|
367 | <hr> |
---|
368 | <h3><a name="CL">CL</a>: Classification |
---|
369 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: CL( x1:Thing, x2:Class ) states that x1 is a member of x2. |
---|
370 | <h4>Roles</h4> |
---|
371 | <table class="roles"> |
---|
372 | <tr> |
---|
373 | <th>Position</th> |
---|
374 | <th>Designation</th> |
---|
375 | <th>Type</th> |
---|
376 | <th>Definition</th> |
---|
377 | <th>Optional</th> |
---|
378 | </tr> |
---|
379 | <tr> |
---|
380 | <td>1</td> |
---|
381 | <td>CL_Instance</td> |
---|
382 | <td>Thing</td> |
---|
383 | <td>The role of classified instance in a classification.</td> |
---|
384 | <td>false</td> |
---|
385 | </tr> |
---|
386 | <tr> |
---|
387 | <td>2</td> |
---|
388 | <td>CL_Classifier</td> |
---|
389 | <td>Class</td> |
---|
390 | <td>The role of a classifying class in a classification.</td> |
---|
391 | <td>false</td> |
---|
392 | </tr> |
---|
393 | </table> |
---|
394 | <hr> |
---|
395 | <h3><a name="CLc">CLc</a>: Classification of class of individual |
---|
396 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: CLc( x1:ClassOfIndividual, x2:ClassOfClass ) states that x1 is a member of x2. |
---|
397 | <h4>Roles</h4> |
---|
398 | <table class="roles"> |
---|
399 | <tr> |
---|
400 | <th>Position</th> |
---|
401 | <th>Designation</th> |
---|
402 | <th>Type</th> |
---|
403 | <th>Definition</th> |
---|
404 | <th>Optional</th> |
---|
405 | </tr> |
---|
406 | <tr> |
---|
407 | <td>1</td> |
---|
408 | <td>CLc_Instance</td> |
---|
409 | <td>ClassOfIndividual</td> |
---|
410 | <td>The classified class in a classification of a class.</td> |
---|
411 | <td>false</td> |
---|
412 | </tr> |
---|
413 | <tr> |
---|
414 | <td>2</td> |
---|
415 | <td>CLc_Classifier</td> |
---|
416 | <td>ClassOfClass</td> |
---|
417 | <td>The classifying class, e.g. class of class, in a classification of a class.</td> |
---|
418 | <td>false</td> |
---|
419 | </tr> |
---|
420 | </table> |
---|
421 | <hr> |
---|
422 | <h3><a name="CLcc">CLcc</a>: Classification of class of class |
---|
423 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: CLcc( x1:ClassOfClass, x2:Class ) states that x1 is a member of x2. |
---|
424 | <h4>Roles</h4> |
---|
425 | <table class="roles"> |
---|
426 | <tr> |
---|
427 | <th>Position</th> |
---|
428 | <th>Designation</th> |
---|
429 | <th>Type</th> |
---|
430 | <th>Definition</th> |
---|
431 | <th>Optional</th> |
---|
432 | </tr> |
---|
433 | <tr> |
---|
434 | <td>1</td> |
---|
435 | <td>CLcc_Instance</td> |
---|
436 | <td>ClassOfClass</td> |
---|
437 | <td>The classified class of class in a classification of a class of class.</td> |
---|
438 | <td>false</td> |
---|
439 | </tr> |
---|
440 | <tr> |
---|
441 | <td>2</td> |
---|
442 | <td>CLcc_Classifier</td> |
---|
443 | <td>Class</td> |
---|
444 | <td>The classifying class, e.g. class (as there is no class of class of class), in a classification of a class of class.</td> |
---|
445 | <td>false</td> |
---|
446 | </tr> |
---|
447 | </table> |
---|
448 | <hr> |
---|
449 | <h3><a name="CLi">CLi</a>: Classification of individual |
---|
450 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: CLi( x1:PossibleIndividual, x2:ClassOfIndividual ) states that x1 is a member of x2. |
---|
451 | <h4>Roles</h4> |
---|
452 | <table class="roles"> |
---|
453 | <tr> |
---|
454 | <th>Position</th> |
---|
455 | <th>Designation</th> |
---|
456 | <th>Type</th> |
---|
457 | <th>Definition</th> |
---|
458 | <th>Optional</th> |
---|
459 | </tr> |
---|
460 | <tr> |
---|
461 | <td>1</td> |
---|
462 | <td>CLi_Instance</td> |
---|
463 | <td>PossibleIndividual</td> |
---|
464 | <td>The classified individual in a classification of an individual.</td> |
---|
465 | <td>false</td> |
---|
466 | </tr> |
---|
467 | <tr> |
---|
468 | <td>2</td> |
---|
469 | <td>CLi_Classifier</td> |
---|
470 | <td>ClassOfIndividual</td> |
---|
471 | <td>The classifying class in a classification of an individual.</td> |
---|
472 | <td>false</td> |
---|
473 | </tr> |
---|
474 | </table> |
---|
475 | <hr> |
---|
476 | <h3><a name="ID">ID</a>: Identification |
---|
477 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: ID( x1:Thing, x2:ClassOfInformationRepresentation ) states that x2 is an identifier for x1. |
---|
478 | <h4>Roles</h4> |
---|
479 | <table class="roles"> |
---|
480 | <tr> |
---|
481 | <th>Position</th> |
---|
482 | <th>Designation</th> |
---|
483 | <th>Type</th> |
---|
484 | <th>Definition</th> |
---|
485 | <th>Optional</th> |
---|
486 | </tr> |
---|
487 | <tr> |
---|
488 | <td>1</td> |
---|
489 | <td>ID_Identified</td> |
---|
490 | <td>Thing</td> |
---|
491 | <td>The identified thing in an identification.</td> |
---|
492 | <td>false</td> |
---|
493 | </tr> |
---|
494 | <tr> |
---|
495 | <td>2</td> |
---|
496 | <td>ID_Identifier</td> |
---|
497 | <td>ClassOfInformationRepresentation</td> |
---|
498 | <td>The identifier in an identification.</td> |
---|
499 | <td>false</td> |
---|
500 | </tr> |
---|
501 | </table> |
---|
502 | <hr> |
---|
503 | <h3><a name="IDC">IDC</a>: Identification with Context |
---|
504 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: IDC( x1:Thing, x2:ClassOfInformationRepresentation, x3:ClassOfClassOfIdentification ) states that x2 is an identifier for |
---|
505 | x1, in context x3. |
---|
506 | <h4>Roles</h4> |
---|
507 | <table class="roles"> |
---|
508 | <tr> |
---|
509 | <th>Position</th> |
---|
510 | <th>Designation</th> |
---|
511 | <th>Type</th> |
---|
512 | <th>Definition</th> |
---|
513 | <th>Optional</th> |
---|
514 | </tr> |
---|
515 | <tr> |
---|
516 | <td>1</td> |
---|
517 | <td>ID_Identified</td> |
---|
518 | <td>Thing</td> |
---|
519 | <td>The identified thing in an identification.</td> |
---|
520 | <td>false</td> |
---|
521 | </tr> |
---|
522 | <tr> |
---|
523 | <td>2</td> |
---|
524 | <td>ID_Identifier</td> |
---|
525 | <td>ClassOfInformationRepresentation</td> |
---|
526 | <td>The identifier in an identification.</td> |
---|
527 | <td>false</td> |
---|
528 | </tr> |
---|
529 | <tr> |
---|
530 | <td>3</td> |
---|
531 | <td>IDC_Context</td> |
---|
532 | <td>ClassOfClassOfIdentification</td> |
---|
533 | <td>The context in an identification with context.</td> |
---|
534 | <td>false</td> |
---|
535 | </tr> |
---|
536 | </table> |
---|
537 | <hr> |
---|
538 | <h3><a name="IDn">IDn</a>: Identification by Number |
---|
539 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: IDs( x1:Thing, x2:ExpressReal ) states that x2 is a (concrete representation of a) real number that identifies x1. |
---|
540 | <h4>Roles</h4> |
---|
541 | <table class="roles"> |
---|
542 | <tr> |
---|
543 | <th>Position</th> |
---|
544 | <th>Designation</th> |
---|
545 | <th>Type</th> |
---|
546 | <th>Definition</th> |
---|
547 | <th>Optional</th> |
---|
548 | </tr> |
---|
549 | <tr> |
---|
550 | <td>1</td> |
---|
551 | <td>ID_Identified</td> |
---|
552 | <td>Thing</td> |
---|
553 | <td>The identified thing in an identification.</td> |
---|
554 | <td>false</td> |
---|
555 | </tr> |
---|
556 | <tr> |
---|
557 | <td>2</td> |
---|
558 | <td>IDn_Identifier</td> |
---|
559 | <td>ExpressReal</td> |
---|
560 | <td>The identifier (the number representation) in an identification by real number.</td> |
---|
561 | <td>false</td> |
---|
562 | </tr> |
---|
563 | </table> |
---|
564 | <hr> |
---|
565 | <h3><a name="IDs">IDs</a>: Identification by Symbol |
---|
566 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: IDs( x1:Thing, x2:ExpressBinary ) states that x2 is a binary (typically: a symbol stored in an image file) identifier for |
---|
567 | x1. |
---|
568 | <h4>Roles</h4> |
---|
569 | <table class="roles"> |
---|
570 | <tr> |
---|
571 | <th>Position</th> |
---|
572 | <th>Designation</th> |
---|
573 | <th>Type</th> |
---|
574 | <th>Definition</th> |
---|
575 | <th>Optional</th> |
---|
576 | </tr> |
---|
577 | <tr> |
---|
578 | <td>1</td> |
---|
579 | <td>ID_Identified</td> |
---|
580 | <td>Thing</td> |
---|
581 | <td>The identified thing in an identification.</td> |
---|
582 | <td>false</td> |
---|
583 | </tr> |
---|
584 | <tr> |
---|
585 | <td>2</td> |
---|
586 | <td>IDs_Identifier</td> |
---|
587 | <td>ExpressBinary</td> |
---|
588 | <td>The identifier (the binary object/the symbol) in an identification by binary object.</td> |
---|
589 | <td>false</td> |
---|
590 | </tr> |
---|
591 | </table> |
---|
592 | <hr> |
---|
593 | <h3><a name="IDsC">IDsC</a>: Identification by Symbol with Context |
---|
594 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: IDsC( x1:Thing, x2:ExpressBinary, x3:ClassOfClassOfIdentification ) states that x2 is a binary object (symbol) identifier |
---|
595 | for x1, in context x3. |
---|
596 | <h4>Roles</h4> |
---|
597 | <table class="roles"> |
---|
598 | <tr> |
---|
599 | <th>Position</th> |
---|
600 | <th>Designation</th> |
---|
601 | <th>Type</th> |
---|
602 | <th>Definition</th> |
---|
603 | <th>Optional</th> |
---|
604 | </tr> |
---|
605 | <tr> |
---|
606 | <td>1</td> |
---|
607 | <td>ID_Identified</td> |
---|
608 | <td>Thing</td> |
---|
609 | <td>The identified thing in an identification.</td> |
---|
610 | <td>false</td> |
---|
611 | </tr> |
---|
612 | <tr> |
---|
613 | <td>2</td> |
---|
614 | <td>IDs_Identifier</td> |
---|
615 | <td>ExpressBinary</td> |
---|
616 | <td>The identifier (the binary object/the symbol) in an identification by binary object.</td> |
---|
617 | <td>false</td> |
---|
618 | </tr> |
---|
619 | <tr> |
---|
620 | <td>3</td> |
---|
621 | <td>IDC_Context</td> |
---|
622 | <td>ClassOfClassOfIdentification</td> |
---|
623 | <td>The context in an identification with context.</td> |
---|
624 | <td>false</td> |
---|
625 | </tr> |
---|
626 | </table> |
---|
627 | <hr> |
---|
628 | <h3><a name="IDt">IDt</a>: Identification by Text |
---|
629 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: IDt( x1:Thing, x2:ExpressString ) states that x2 is a string identifier for x1. |
---|
630 | <h4>Roles</h4> |
---|
631 | <table class="roles"> |
---|
632 | <tr> |
---|
633 | <th>Position</th> |
---|
634 | <th>Designation</th> |
---|
635 | <th>Type</th> |
---|
636 | <th>Definition</th> |
---|
637 | <th>Optional</th> |
---|
638 | </tr> |
---|
639 | <tr> |
---|
640 | <td>1</td> |
---|
641 | <td>ID_Identified</td> |
---|
642 | <td>Thing</td> |
---|
643 | <td>The identified thing in an identification.</td> |
---|
644 | <td>false</td> |
---|
645 | </tr> |
---|
646 | <tr> |
---|
647 | <td>2</td> |
---|
648 | <td>IDt_Identifier</td> |
---|
649 | <td>ExpressString</td> |
---|
650 | <td>The identifier (the string) in an identification by text string.</td> |
---|
651 | <td>false</td> |
---|
652 | </tr> |
---|
653 | </table> |
---|
654 | <hr> |
---|
655 | <h3><a name="IDtC">IDtC</a>: Identification by Text with Context |
---|
656 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: IDtC( x1:Thing, x2:ExpressString, x3:ClassOfClassOfIdentification ) states that x2 is a textual identifier for x1, in context |
---|
657 | x3. |
---|
658 | <h4>Roles</h4> |
---|
659 | <table class="roles"> |
---|
660 | <tr> |
---|
661 | <th>Position</th> |
---|
662 | <th>Designation</th> |
---|
663 | <th>Type</th> |
---|
664 | <th>Definition</th> |
---|
665 | <th>Optional</th> |
---|
666 | </tr> |
---|
667 | <tr> |
---|
668 | <td>1</td> |
---|
669 | <td>ID_Identified</td> |
---|
670 | <td>Thing</td> |
---|
671 | <td>The identified thing in an identification.</td> |
---|
672 | <td>false</td> |
---|
673 | </tr> |
---|
674 | <tr> |
---|
675 | <td>2</td> |
---|
676 | <td>IDt_Identifier</td> |
---|
677 | <td>ExpressString</td> |
---|
678 | <td>The identifier (the string) in an identification by text string.</td> |
---|
679 | <td>false</td> |
---|
680 | </tr> |
---|
681 | <tr> |
---|
682 | <td>3</td> |
---|
683 | <td>IDC_Context</td> |
---|
684 | <td>ClassOfClassOfIdentification</td> |
---|
685 | <td>The context in an identification with context.</td> |
---|
686 | <td>false</td> |
---|
687 | </tr> |
---|
688 | </table> |
---|
689 | <hr> |
---|
690 | <h3><a name="IP">IP</a>: Assignment of indirect property |
---|
691 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: IP( x1:PossibleIndividual, x2:Property ) states that x2 is an indirect property of x1. |
---|
692 | <h4>Roles</h4> |
---|
693 | <table class="roles"> |
---|
694 | <tr> |
---|
695 | <th>Position</th> |
---|
696 | <th>Designation</th> |
---|
697 | <th>Type</th> |
---|
698 | <th>Definition</th> |
---|
699 | <th>Optional</th> |
---|
700 | </tr> |
---|
701 | <tr> |
---|
702 | <td>1</td> |
---|
703 | <td>IP_PropertyBearer</td> |
---|
704 | <td>PossibleIndividual</td> |
---|
705 | <td>The property bearer (an individual) in an indirect property relationship.</td> |
---|
706 | <td>false</td> |
---|
707 | </tr> |
---|
708 | <tr> |
---|
709 | <td>2</td> |
---|
710 | <td>IP_Property</td> |
---|
711 | <td>Property</td> |
---|
712 | <td>The property in an indirect property relationship.</td> |
---|
713 | <td>false</td> |
---|
714 | </tr> |
---|
715 | </table> |
---|
716 | <hr> |
---|
717 | <h3><a name="IPC">IPC</a>: Assignment of classified indirect property |
---|
718 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: IPC( x1:PossibleIndividual, x2:Property, x3:SinglePropertyDimension ) states that x1 has an indirect property relation to |
---|
719 | the property x2, and that x2 is a property of type x3. |
---|
720 | <h4>Roles</h4> |
---|
721 | <table class="roles"> |
---|
722 | <tr> |
---|
723 | <th>Position</th> |
---|
724 | <th>Designation</th> |
---|
725 | <th>Type</th> |
---|
726 | <th>Definition</th> |
---|
727 | <th>Optional</th> |
---|
728 | </tr> |
---|
729 | <tr> |
---|
730 | <td>1</td> |
---|
731 | <td>IP_PropertyBearer</td> |
---|
732 | <td>PossibleIndividual</td> |
---|
733 | <td>The property bearer (an individual) in an indirect property relationship.</td> |
---|
734 | <td>false</td> |
---|
735 | </tr> |
---|
736 | <tr> |
---|
737 | <td>2</td> |
---|
738 | <td>IP_Property</td> |
---|
739 | <td>Property</td> |
---|
740 | <td>The property in an indirect property relationship.</td> |
---|
741 | <td>false</td> |
---|
742 | </tr> |
---|
743 | <tr> |
---|
744 | <td>3</td> |
---|
745 | <td>IPC_PropertyType</td> |
---|
746 | <td>SinglePropertyDimension</td> |
---|
747 | <td>The type of the property in an indirect property relationship.</td> |
---|
748 | <td>false</td> |
---|
749 | </tr> |
---|
750 | </table> |
---|
751 | <hr> |
---|
752 | <h3><a name="PQ">PQ</a>: Property quantification |
---|
753 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: PQ( x1:Thing, x2:Property ) states that x2 is a numerical quantification of property x1 (disregarding any scale). |
---|
754 | <h4>Roles</h4> |
---|
755 | <table class="roles"> |
---|
756 | <tr> |
---|
757 | <th>Position</th> |
---|
758 | <th>Designation</th> |
---|
759 | <th>Type</th> |
---|
760 | <th>Definition</th> |
---|
761 | <th>Optional</th> |
---|
762 | </tr> |
---|
763 | <tr> |
---|
764 | <td>1</td> |
---|
765 | <td>PQ_Property</td> |
---|
766 | <td>Property</td> |
---|
767 | <td>The property (the property that is quantified) in a property quantification.</td> |
---|
768 | <td>false</td> |
---|
769 | </tr> |
---|
770 | <tr> |
---|
771 | <td>2</td> |
---|
772 | <td>PQ_Number</td> |
---|
773 | <td>ArithmeticNumber</td> |
---|
774 | <td>The number (the quantifying number) in a property quantification.</td> |
---|
775 | <td>false</td> |
---|
776 | </tr> |
---|
777 | </table> |
---|
778 | <hr> |
---|
779 | <h3><a name="PQC">PQC</a>: Property quantification with scale |
---|
780 | </h3><b>Template type</b>: BaseTemplate<br><b>Definition</b>: PQC( x1:Property, x2:ArithmeticNumber, x3:Scale ) states that x2 is a numerical quantification, on scale x3, of property x1. |
---|
781 | <h4>Roles</h4> |
---|
782 | <table class="roles"> |
---|
783 | <tr> |
---|
784 | <th>Position</th> |
---|
785 | <th>Designation</th> |
---|
786 | <th>Type</th> |
---|
787 | <th>Definition</th> |
---|
788 | <th>Optional</th> |
---|
789 | </tr> |
---|
790 | <tr> |
---|
791 | <td>1</td> |
---|
792 | <td>PQ_Property</td> |
---|
793 | <td>Property</td> |
---|
794 | <td>The property (the property that is quantified) in a property quantification.</td> |
---|
795 | <td>false</td> |
---|
796 | </tr> |
---|
797 | <tr> |
---|
798 | <td>2</td> |
---|
799 | <td>PQ_Number</td> |
---|
800 | <td>ArithmeticNumber</td> |
---|
801 | <td>The number (the quantifying number) in a property quantification.</td> |
---|
802 | <td>false</td> |
---|
803 | </tr> |
---|
804 | <tr> |
---|
805 | <td>3</td> |
---|
806 | <td>PQC_Scale</td> |
---|
807 | <td>Scale</td> |
---|
808 | <td>The type of the property in an indirect property relationship.</td> |
---|
809 | <td>false</td> |
---|
810 | </tr> |
---|
811 | </table> |
---|
812 | <hr> |
---|
813 | <h3><a name="SP">SP</a>: Specialization |
---|
814 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: SP( x1:Class, x2:Class ) states that x1 is a subclass of x2. |
---|
815 | <h4>Roles</h4> |
---|
816 | <table class="roles"> |
---|
817 | <tr> |
---|
818 | <th>Position</th> |
---|
819 | <th>Designation</th> |
---|
820 | <th>Type</th> |
---|
821 | <th>Definition</th> |
---|
822 | <th>Optional</th> |
---|
823 | </tr> |
---|
824 | <tr> |
---|
825 | <td>1</td> |
---|
826 | <td>SP_Subclass</td> |
---|
827 | <td>Class</td> |
---|
828 | <td>The subclass in a specialization.</td> |
---|
829 | <td>false</td> |
---|
830 | </tr> |
---|
831 | <tr> |
---|
832 | <td>2</td> |
---|
833 | <td>SP_Superclass</td> |
---|
834 | <td>Class</td> |
---|
835 | <td>The superclass in a specialization.</td> |
---|
836 | <td>false</td> |
---|
837 | </tr> |
---|
838 | </table> |
---|
839 | <hr> |
---|
840 | <h3><a name="SPcc">SPcc</a>: Specialization of class of class |
---|
841 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: SPcc( x1:ClassOfClass, x2:ClassOfClass ) states that x1 is a subclass of x2. |
---|
842 | <h4>Roles</h4> |
---|
843 | <table class="roles"> |
---|
844 | <tr> |
---|
845 | <th>Position</th> |
---|
846 | <th>Designation</th> |
---|
847 | <th>Type</th> |
---|
848 | <th>Definition</th> |
---|
849 | <th>Optional</th> |
---|
850 | </tr> |
---|
851 | <tr> |
---|
852 | <td>1</td> |
---|
853 | <td>SPcc_Subclass</td> |
---|
854 | <td>ClassOfClass</td> |
---|
855 | <td>The subclass in a specialization of class of class.</td> |
---|
856 | <td>false</td> |
---|
857 | </tr> |
---|
858 | <tr> |
---|
859 | <td>2</td> |
---|
860 | <td>SPcc_Superclass</td> |
---|
861 | <td>ClassOfClass</td> |
---|
862 | <td>The superclass in a specialization of class of class.</td> |
---|
863 | <td>false</td> |
---|
864 | </tr> |
---|
865 | </table> |
---|
866 | <hr> |
---|
867 | <h3><a name="SPccc">SPccc</a>: Specialization of class of class of class |
---|
868 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: SPccc( x1:Class, x2:Class ) states that x1 is a subclass of x2. |
---|
869 | <h4>Roles</h4> |
---|
870 | <table class="roles"> |
---|
871 | <tr> |
---|
872 | <th>Position</th> |
---|
873 | <th>Designation</th> |
---|
874 | <th>Type</th> |
---|
875 | <th>Definition</th> |
---|
876 | <th>Optional</th> |
---|
877 | </tr> |
---|
878 | <tr> |
---|
879 | <td>1</td> |
---|
880 | <td>SPccc_Subclass</td> |
---|
881 | <td>Class</td> |
---|
882 | <td>The subclass in a specialization of class of class of class.</td> |
---|
883 | <td>false</td> |
---|
884 | </tr> |
---|
885 | <tr> |
---|
886 | <td>2</td> |
---|
887 | <td>SPccc_Superclass</td> |
---|
888 | <td>Class</td> |
---|
889 | <td>The superclass in a specialization of class of class of class.</td> |
---|
890 | <td>false</td> |
---|
891 | </tr> |
---|
892 | </table> |
---|
893 | <hr> |
---|
894 | <h3><a name="SPi">SPi</a>: Specialization of class of individual |
---|
895 | </h3><b>Template type</b>: AtomicBaseTemplate<br><b>Definition</b>: SP( x1:ClassOfIndividual, x2:ClassOfIndividual ) states that x1 is a subclass of x2. |
---|
896 | <h4>Roles</h4> |
---|
897 | <table class="roles"> |
---|
898 | <tr> |
---|
899 | <th>Position</th> |
---|
900 | <th>Designation</th> |
---|
901 | <th>Type</th> |
---|
902 | <th>Definition</th> |
---|
903 | <th>Optional</th> |
---|
904 | </tr> |
---|
905 | <tr> |
---|
906 | <td>1</td> |
---|
907 | <td>SPi_Subclass</td> |
---|
908 | <td>ClassOfIndividual</td> |
---|
909 | <td>The subclass in a specialization of class of individual.</td> |
---|
910 | <td>false</td> |
---|
911 | </tr> |
---|
912 | <tr> |
---|
913 | <td>2</td> |
---|
914 | <td>SPi_Superclass</td> |
---|
915 | <td>ClassOfIndividual</td> |
---|
916 | <td>The superclass in a specialization of class of individual.</td> |
---|
917 | <td>false</td> |
---|
918 | </tr> |
---|
919 | </table> |
---|
920 | <hr> |
---|
921 | </body> |
---|
922 | </html> |
---|