IdsAdiIdsPrototype: sc_template_defs.html

File sc_template_defs.html, 32.1 kB (added by jowik, 16 years ago)

Template definitions in html format, 10.03.2008

Line 
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>
Home
About PCA
Reference Data Services
Projects
Workgroups