SigMmt/Templates/TemplateExpander: All-templates.txt

File All-templates.txt, 34.3 kB (added by onnopaap, 11 years ago)
Line 
1% Copyright (c) 2009, ids-adi.org
2% All rights reserved.
3%
4% Redistribution and use in source and binary forms, with or without
5% modification, are permitted provided that the following conditions are met:
6%
7%   * Redistributions of source code must retain the above copyright
8%     notice, this list of conditions and the following disclaimer.
9%   * Redistributions in binary form must reproduce the above copyright
10%     notice, this list of conditions and the following disclaimer in the
11%     documentation and/or other materials provided with the distribution.
12%   * Neither the name of ids-adi.org nor the names of its
13%     contributors may be used to endorse or promote products derived from
14%     this software without specific prior written permission.
15%
16% THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
17% AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18% IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19% ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
20% LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21% CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22% SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23% INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24% CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25% ARISING IN ANY WAY OUT OF THE USE OF THIS  SOFTWARE, EVEN IF ADVISED OF
26% THE POSSIBILITY OF SUCH DAMAGE.
27
28
29
30%
31%  All templates
32%
33
34
35%
36% Proto-templates
37%
38
39ApprovalTriple(x,y,z) <-> Approval(x) & hasApproved(x,y) & hasApprover(x,z) .
40ApprovalTemplate(x,y) <-> exists z(ApprovalTriple(z,x,y)) .
41
42ArrangementOfIndividualTriple(x,y,z) <-> ArrangementOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) .
43ArrangementOfIndividualTemplate(x,y) <-> exists z(ArrangementOfIndividualTriple(z,x,y)) .
44
45AssemblyOfIndividualTriple(x,y,z) <-> AssemblyOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) .
46AssemblyOfIndividualTemplate(x,y) <-> exists z(AssemblyOfIndividualTriple(z,x,y)) .
47
48BeginningTriple(x,y,z) <-> Beginning(x) & hasPart(x,y) & hasWhole(x,z) .
49BeginningTemplate(x,y) <-> exists z(BeginningTriple(z,x,y)) .
50
51BoundaryOfNumberSpaceTriple(x,y,z) <-> BoundaryOfNumberSpace(x) & hasSubclass(x,y) & hasSuperclass(x,z) .
52BoundaryOfNumberSpaceTemplate(x,y) <-> exists z(BoundaryOfNumberSpaceTriple(z,x,y)) .
53
54BoundaryOfPropertySpaceTriple(x,y,z) <-> BoundaryOfPropertySpace(x) & hasSubclass(x,y) & hasSuperclass(x,z) .
55BoundaryOfPropertySpaceTemplate(x,y) <-> exists z(BoundaryOfPropertySpaceTriple(z,x,y)) .
56
57CauseOfEventTriple(x,y,z) <-> CauseOfEvent(x) & hasCaused(x,y) & hasCauser(x,z) .
58CauseOfEventTemplate(x,y) <-> exists z(CauseOfEventTriple(z,x,y)) .
59
60ClassificationTriple(x,y,z) <-> Classification(x) & hasClassified(x,y) & hasClassifier(x,z) .
61ClassificationTemplate(x,y) <-> exists z(ClassificationTriple(z,x,y)) .
62
63ClassOfApprovalTriple(x,y,z) <-> ClassOfApproval(x) & hasClassOfApproved(x,y) & hasClassOfApprover(x,z) .
64ClassOfApprovalTemplate(x,y) <-> exists z(ClassOfApprovalTriple(z,x,y)) .
65
66ClassOfArrangementOfIndividualTriple(x,y,z) <-> ClassOfArrangementOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) .
67ClassOfArrangementOfIndividualTemplate(x,y) <-> exists z(ClassOfArrangementOfIndividualTriple(z,x,y)) .
68
69ClassOfAssemblyOfIndividualTriple(x,y,z) <-> ClassOfAssemblyOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) .
70ClassOfAssemblyOfIndividualTemplate(x,y) <-> exists z(ClassOfAssemblyOfIndividualTriple(z,x,y)) .
71
72ClassOfCauseOfBeginningOfClassOfIndividualTriple(x,y,z) <-> ClassOfCauseOfBeginningOfClassOfIndividual(x) & hasClassOfBegun(x,y) & hasClassOfCauser(x,z) .
73ClassOfCauseOfBeginningOfClassOfIndividualTemplate(x,y) <-> exists z(ClassOfCauseOfBeginningOfClassOfIndividualTriple(z,x,y)) .
74
75ClassOfCauseOfEndingOfClassOfIndividualTriple(x,y,z) <-> ClassOfCauseOfEndingOfClassOfIndividual(x) & hasClassOfCauser(x,y) & hasClassOfEnded(x,z) .
76ClassOfCauseOfEndingOfClassOfIndividualTemplate(x,y) <-> exists z(ClassOfCauseOfEndingOfClassOfIndividualTriple(z,x,y)) .
77
78ClassOfClassificationTriple(x,y,z) <-> ClassOfClassification(x) & hasClassOfClassified(x,y) & hasClassOfClassifier(x,z) .
79ClassOfClassificationTemplate(x,y) <-> exists z(ClassOfClassificationTriple(z,x,y)) .
80
81ClassOfClassOfCompositionTriple(x,y,z) <-> ClassOfClassOfComposition(x) & hasClassOfClassOfPart(x,y) & hasClassOfClassOfWhole(x,z) .
82ClassOfClassOfCompositionTemplate(x,y) <-> exists z(ClassOfClassOfCompositionTriple(z,x,y)) .
83
84ClassOfClassOfDefinitionTriple(x,y,z) <-> ClassOfClassOfDefinition(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) .
85ClassOfClassOfDefinitionTemplate(x,y) <-> exists z(ClassOfClassOfDefinitionTriple(z,x,y)) .
86
87ClassOfClassOfDescriptionTriple(x,y,z) <-> ClassOfClassOfDescription(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) .
88ClassOfClassOfDescriptionTemplate(x,y) <-> exists z(ClassOfClassOfDescriptionTriple(z,x,y)) .
89
90ClassOfClassOfIdentificationTriple(x,y,z) <-> ClassOfClassOfIdentification(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) .
91ClassOfClassOfIdentificationTemplate(x,y) <-> exists z(ClassOfClassOfIdentificationTriple(z,x,y)) .
92
93ClassOfClassOfRelationshipWithSignatureTriple(x,y,z) <-> ClassOfClassOfRelationshipWithSignature(x) & hasClassOfEnd1(x,y) & hasClassOfEnd2(x,z) .
94ClassOfClassOfRelationshipWithSignatureTemplate(x,y) <-> exists z(ClassOfClassOfRelationshipWithSignatureTriple(z,x,y)) .
95
96ClassOfClassOfRepresentationTriple(x,y,z) <-> ClassOfClassOfRepresentation(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) .
97ClassOfClassOfRepresentationTemplate(x,y) <-> exists z(ClassOfClassOfRepresentationTriple(z,x,y)) .
98
99ClassOfClassOfRepresentationTranslationTriple(x,y,z) <-> ClassOfClassOfRepresentationTranslation(x) & hasClassOfFirst(x,y) & hasClassOfSecond(x,z) .
100ClassOfClassOfRepresentationTranslationTemplate(x,y) <-> exists z(ClassOfClassOfRepresentationTranslationTriple(z,x,y)) .
101
102ClassOfClassOfResponsibilityForRepresentationTriple(x,y,z) <-> ClassOfClassOfResponsibilityForRepresentation(x) & hasClassOfClassOfControlled(x,y) & hasController(x,z) .
103ClassOfClassOfResponsibilityForRepresentationTemplate(x,y) <-> exists z(ClassOfClassOfResponsibilityForRepresentationTriple(z,x,y)) .
104
105ClassOfClassOfUsageOfRepresentationTriple(x,y,z) <-> ClassOfClassOfUsageOfRepresentation(x) & hasClassOfClassOfUsed(x,y) & hasUser(x,z) .
106ClassOfClassOfUsageOfRepresentationTemplate(x,y) <-> exists z(ClassOfClassOfUsageOfRepresentationTriple(z,x,y)) .
107
108ClassOfCompositionOfIndividualTriple(x,y,z) <-> ClassOfCompositionOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) .
109ClassOfCompositionOfIndividualTemplate(x,y) <-> exists z(ClassOfCompositionOfIndividualTriple(z,x,y)) .
110
111ClassOfConnectionOfIndividualTriple(x,y,z) <-> ClassOfConnectionOfIndividual(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) .
112ClassOfConnectionOfIndividualTemplate(x,y) <-> exists z(ClassOfConnectionOfIndividualTriple(z,x,y)) .
113
114ClassOfContainmentOfIndividualTriple(x,y,z) <-> ClassOfContainmentOfIndividual(x) & hasClassOfLocated(x,y) & hasClassOfLocator(x,z) .
115ClassOfContainmentOfIndividualTemplate(x,y) <-> exists z(ClassOfContainmentOfIndividualTriple(z,x,y)) .
116
117ClassOfDefinitionTriple(x,y,z) <-> ClassOfDefinition(x) & hasPattern(x,y) & hasRepresented(x,z) .
118ClassOfDefinitionTemplate(x,y) <-> exists z(ClassOfDefinitionTriple(z,x,y)) .
119
120ClassOfDescriptionTriple(x,y,z) <-> ClassOfDescription(x) & hasPattern(x,y) & hasRepresented(x,z) .
121ClassOfDescriptionTemplate(x,y) <-> exists z(ClassOfDescriptionTriple(z,x,y)) .
122
123ClassOfDimensionForShapeTriple(x,y,z) <-> ClassOfDimensionForShape(x) & hasClassOfDimension(x,y) & hasClassOfShape(x,z) .
124ClassOfDimensionForShapeTemplate(x,y) <-> exists z(ClassOfDimensionForShapeTriple(z,x,y)) .
125
126ClassOfDirectConnectionTriple(x,y,z) <-> ClassOfDirectConnection(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) .
127ClassOfDirectConnectionTemplate(x,y) <-> exists z(ClassOfDirectConnectionTriple(z,x,y)) .
128
129ClassOfFeatureWholePartTriple(x,y,z) <-> ClassOfFeatureWholePart(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) .
130ClassOfFeatureWholePartTemplate(x,y) <-> exists z(ClassOfFeatureWholePartTriple(z,x,y)) .
131
132ClassOfFunctionalMappingTriple(x,y,z) <-> ClassOfFunctionalMapping(x) & hasCodomain(x,y) & hasDomain(x,z) .
133ClassOfFunctionalMappingTemplate(x,y) <-> exists z(ClassOfFunctionalMappingTriple(z,x,y)) .
134
135ClassOfIdentificationTriple(x,y,z) <-> ClassOfIdentification(x) & hasPattern(x,y) & hasRepresented(x,z) .
136ClassOfIdentificationTemplate(x,y) <-> exists z(ClassOfIdentificationTriple(z,x,y)) .
137
138ClassOfIndirectConnectionTriple(x,y,z) <-> ClassOfIndirectConnection(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) .
139ClassOfIndirectConnectionTemplate(x,y) <-> exists z(ClassOfIndirectConnectionTriple(z,x,y)) .
140
141ClassOfIndirectPropertyTriple(x,y,z) <-> ClassOfIndirectProperty(x) & hasClassOfPossessor(x,y) & hasPropertySpace(x,z) .
142ClassOfIndirectPropertyTemplate(x,y) <-> exists z(ClassOfIndirectPropertyTriple(z,x,y)) .
143
144ClassOfIndividualUsedInConnectionTriple(x,y,z) <-> ClassOfIndividualUsedInConnection(x) & hasClassOfConnection(x,y) & hasClassOfUsage(x,z) .
145ClassOfIndividualUsedInConnectionTemplate(x,y) <-> exists z(ClassOfIndividualUsedInConnectionTriple(z,x,y)) .
146
147ClassOfIntendedRoleAndDomainTriple(x,y,z) <-> ClassOfIntendedRoleAndDomain(x) & hasClassOfPlayer(x,y) & hasPlayed(x,z) .
148ClassOfIntendedRoleAndDomainTemplate(x,y) <-> exists z(ClassOfIntendedRoleAndDomainTriple(z,x,y)) .
149
150ClassOfInvolvementByReferenceTriple(x,y,z) <-> ClassOfInvolvementByReference(x) & hasClassOfInvolved(x,y) & hasClassOfInvolver(x,z) .
151ClassOfInvolvementByReferenceTemplate(x,y) <-> exists z(ClassOfInvolvementByReferenceTriple(z,x,y)) .
152
153ClassOfIsomorphicFunctionalMappingTriple(x,y,z) <-> ClassOfIsomorphicFunctionalMapping(x) & hasCodomain(x,y) & hasDomain(x,z) .
154ClassOfIsomorphicFunctionalMappingTemplate(x,y) <-> exists z(ClassOfIsomorphicFunctionalMappingTriple(z,x,y)) .
155
156ClassOfLeftNamespaceTriple(x,y,z) <-> ClassOfLeftNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) .
157ClassOfLeftNamespaceTemplate(x,y) <-> exists z(ClassOfLeftNamespaceTriple(z,x,y)) .
158
159ClassOfNamespaceTriple(x,y,z) <-> ClassOfNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) .
160ClassOfNamespaceTemplate(x,y) <-> exists z(ClassOfNamespaceTriple(z,x,y)) .
161
162ClassOfParticipationTriple(x,y,z) <-> ClassOfParticipation(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) .
163ClassOfParticipationTemplate(x,y) <-> exists z(ClassOfParticipationTriple(z,x,y)) .
164
165ClassOfPossibleRoleAndDomainTriple(x,y,z) <-> ClassOfPossibleRoleAndDomain(x) & hasClassOfPlayer(x,y) & hasPlayed(x,z) .
166ClassOfPossibleRoleAndDomainTemplate(x,y) <-> exists z(ClassOfPossibleRoleAndDomainTriple(z,x,y)) .
167
168ClassOfRecognitionTriple(x,y,z) <-> ClassOfRecognition(x) & hasClassOfRecognized(x,y) & hasClassOfRecognizing(x,z) .
169ClassOfRecognitionTemplate(x,y) <-> exists z(ClassOfRecognitionTriple(z,x,y)) .
170
171ClassOfRelationshipTriple(x,y,z) <-> ClassOfRelationship(x) & hasEnd1Cardinality(x,y) & hasEnd2Cardinality(x,z) .
172ClassOfRelationshipTemplate(x,y) <-> exists z(ClassOfRelationshipTriple(z,x,y)) .
173
174ClassOfRelationshipWithSignatureTriple(x,y,z) <-> ClassOfRelationshipWithSignature(x) & hasClassOfEnd1(x,y) & hasClassOfEnd2(x,z) .
175ClassOfRelationshipWithSignatureTemplate(x,y) <-> exists z(ClassOfRelationshipWithSignatureTriple(z,x,y)) .
176
177ClassOfRelativeLocationTriple(x,y,z) <-> ClassOfRelativeLocation(x) & hasClassOfLocated(x,y) & hasClassOfLocator(x,z) .
178ClassOfRelativeLocationTemplate(x,y) <-> exists z(ClassOfRelativeLocationTriple(z,x,y)) .
179
180ClassOfRepresentationOfThingTriple(x,y,z) <-> ClassOfRepresentationOfThing(x) & hasPattern(x,y) & hasRepresented(x,z) .
181ClassOfRepresentationOfThingTemplate(x,y) <-> exists z(ClassOfRepresentationOfThingTriple(z,x,y)) .
182
183ClassOfRepresentationTranslationTriple(x,y,z) <-> ClassOfRepresentationTranslation(x) & hasClassOfFirst(x,y) & hasClassOfSecond(x,z) .
184ClassOfRepresentationTranslationTemplate(x,y) <-> exists z(ClassOfRepresentationTranslationTriple(z,x,y)) .
185
186ClassOfResponsibilityForRepresentationTriple(x,y,z) <-> ClassOfResponsibilityForRepresentation(x) & hasClassOfControlled(x,y) & hasController(x,z) .
187ClassOfResponsibilityForRepresentationTemplate(x,y) <-> exists z(ClassOfResponsibilityForRepresentationTriple(z,x,y)) .
188
189ClassOfRightNamespaceTriple(x,y,z) <-> ClassOfRightNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) .
190ClassOfRightNamespaceTemplate(x,y) <-> exists z(ClassOfRightNamespaceTriple(z,x,y)) .
191
192ClassOfScaleConversionTriple(x,y,z) <-> ClassOfScaleConversion(x) & hasCodomain(x,y) & hasDomain(x,z) .
193ClassOfScaleConversionTemplate(x,y) <-> exists z(ClassOfScaleConversionTriple(z,x,y)) .
194
195ClassOfSpecializationTriple(x,y,z) <-> ClassOfSpecialization(x) & hasClassOfSubclass(x,y) & hasClassOfSuperclass(x,z) .
196ClassOfSpecializationTemplate(x,y) <-> exists z(ClassOfSpecializationTriple(z,x,y)) .
197
198ClassOfTemporalSequenceTriple(x,y,z) <-> ClassOfTemporalSequence(x) & hasClassOfPredecessor(x,y) & hasClassOfSuccessor(x,z) .
199ClassOfTemporalSequenceTemplate(x,y) <-> exists z(ClassOfTemporalSequenceTriple(z,x,y)) .
200
201ClassOfTemporalWholePartTriple(x,y,z) <-> ClassOfTemporalWholePart(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) .
202ClassOfTemporalWholePartTemplate(x,y) <-> exists z(ClassOfTemporalWholePartTriple(z,x,y)) .
203
204ClassOfUsageOfRepresentationTriple(x,y,z) <-> ClassOfUsageOfRepresentation(x) & hasClassOfUsed(x,y) & hasUser(x,z) .
205ClassOfUsageOfRepresentationTemplate(x,y) <-> exists z(ClassOfUsageOfRepresentationTriple(z,x,y)) .
206
207ComparisonOfPropertyTriple(x,y,z) <-> ComparisonOfProperty(x) & hasGreaterElement(x,y) & hasLesserElement(x,z) .
208ComparisonOfPropertyTemplate(x,y) <-> exists z(ComparisonOfPropertyTriple(z,x,y)) .
209
210CompositionOfIndividualTriple(x,y,z) <-> CompositionOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) .
211CompositionOfIndividualTemplate(x,y) <-> exists z(CompositionOfIndividualTriple(z,x,y)) .
212
213ConnectionOfIndividualTriple(x,y,z) <-> ConnectionOfIndividual(x) & hasSide1(x,y) & hasSide2(x,z) .
214ConnectionOfIndividualTemplate(x,y) <-> exists z(ConnectionOfIndividualTriple(z,x,y)) .
215
216ContainmentOfIndividualTriple(x,y,z) <-> ContainmentOfIndividual(x) & hasLocated(x,y) & hasLocator(x,z) .
217ContainmentOfIndividualTemplate(x,y) <-> exists z(ContainmentOfIndividualTriple(z,x,y)) .
218
219CoordinateSystemTriple(x,y,z) <-> CoordinateSystem(x) & hasCodomain(x,y) & hasDomain(x,z) .
220CoordinateSystemTemplate(x,y) <-> exists z(CoordinateSystemTriple(z,x,y)) .
221
222DefinitionTriple(x,y,z) <-> Definition(x) & hasRepresented(x,y) & hasSign(x,z) .
223DefinitionTemplate(x,y) <-> exists z(DefinitionTriple(z,x,y)) .
224
225DescriptionTriple(x,y,z) <-> Description(x) & hasRepresented(x,y) & hasSign(x,z) .
226DescriptionTemplate(x,y) <-> exists z(DescriptionTriple(z,x,y)) .
227
228DifferenceOfSetOfClassTriple(x,y,z) <-> DifferenceOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) .
229DifferenceOfSetOfClassTemplate(x,y) <-> exists z(DifferenceOfSetOfClassTriple(z,x,y)) .
230
231DimensionOfIndividualTriple(x,y,z) <-> DimensionOfIndividual(x) & hasIndividual(x,y) & hasIndividualDimension(x,z) .
232DimensionOfIndividualTemplate(x,y) <-> exists z(DimensionOfIndividualTriple(z,x,y)) .
233
234DimensionOfShapeTriple(x,y,z) <-> DimensionOfShape(x) & hasDimension(x,y) & hasShape(x,z) .
235DimensionOfShapeTemplate(x,y) <-> exists z(DimensionOfShapeTriple(z,x,y)) .
236
237DirectConnectionTriple(x,y,z) <-> DirectConnection(x) & hasSide1(x,y) & hasSide2(x,z) .
238DirectConnectionTemplate(x,y) <-> exists z(DirectConnectionTriple(z,x,y)) .
239
240EndingTriple(x,y,z) <-> Ending(x) & hasPart(x,y) & hasWhole(x,z) .
241EndingTemplate(x,y) <-> exists z(EndingTriple(z,x,y)) .
242
243FeatureWholePartTriple(x,y,z) <-> FeatureWholePart(x) & hasPart(x,y) & hasWhole(x,z) .
244FeatureWholePartTemplate(x,y) <-> exists z(FeatureWholePartTriple(z,x,y)) .
245
246FunctionalMappingTriple(x,y,z) <-> FunctionalMapping(x) & hasInput(x,y) & hasResult(x,z) .
247FunctionalMappingTemplate(x,y) <-> exists z(FunctionalMappingTriple(z,x,y)) .
248
249IdentificationTriple(x,y,z) <-> Identification(x) & hasRepresented(x,y) & hasSign(x,z) .
250IdentificationTemplate(x,y) <-> exists z(IdentificationTriple(z,x,y)) .
251
252IndirectConnectionTriple(x,y,z) <-> IndirectConnection(x) & hasSide1(x,y) & hasSide2(x,z) .
253IndirectConnectionTemplate(x,y) <-> exists z(IndirectConnectionTriple(z,x,y)) .
254
255IndirectPropertyTriple(x,y,z) <-> IndirectProperty(x) & hasPossessor(x,y) & hasProperty(x,z) .
256IndirectPropertyTemplate(x,y) <-> exists z(IndirectPropertyTriple(z,x,y)) .
257
258IndividualUsedInConnectionTriple(x,y,z) <-> IndividualUsedInConnection(x) & hasConnection(x,y) & hasUsage(x,z) .
259IndividualUsedInConnectionTemplate(x,y) <-> exists z(IndividualUsedInConnectionTriple(z,x,y)) .
260
261IntendedRoleAndDomainTriple(x,y,z) <-> IntendedRoleAndDomain(x) & hasPlayed(x,y) & hasPlayer(x,z) .
262IntendedRoleAndDomainTemplate(x,y) <-> exists z(IntendedRoleAndDomainTriple(z,x,y)) .
263
264IntersectionOfSetOfClassTriple(x,y,z) <-> IntersectionOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) .
265IntersectionOfSetOfClassTemplate(x,y) <-> exists z(IntersectionOfSetOfClassTriple(z,x,y)) .
266
267InvolvementByReferenceTriple(x,y,z) <-> InvolvementByReference(x) & hasInvolved(x,y) & hasInvolver(x,z) .
268InvolvementByReferenceTemplate(x,y) <-> exists z(InvolvementByReferenceTriple(z,x,y)) .
269
270LeftNamespaceTriple(x,y,z) <-> LeftNamespace(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) .
271LeftNamespaceTemplate(x,y) <-> exists z(LeftNamespaceTriple(z,x,y)) .
272
273LifecycleStageTriple(x,y,z) <-> LifecycleStage(x) & hasInterest(x,y) & hasInterested(x,z) .
274LifecycleStageTemplate(x,y) <-> exists z(LifecycleStageTriple(z,x,y)) .
275
276LowerBoundOfNumberRangeTriple(x,y,z) <-> LowerBoundOfNumberRange(x) & hasClassified(x,y) & hasClassifier(x,z) .
277LowerBoundOfNumberRangeTemplate(x,y) <-> exists z(LowerBoundOfNumberRangeTriple(z,x,y)) .
278
279LowerBoundOfPropertyRangeTriple(x,y,z) <-> LowerBoundOfPropertyRange(x) & hasClassified(x,y) & hasClassifier(x,z) .
280LowerBoundOfPropertyRangeTemplate(x,y) <-> exists z(LowerBoundOfPropertyRangeTriple(z,x,y)) .
281
282MultidimensionalScaleTriple(x,y,z) <-> MultidimensionalScale(x) & hasCodomain(x,y) & hasDomain(x,z) .
283MultidimensionalScaleTemplate(x,y) <-> exists z(MultidimensionalScaleTriple(z,x,y)) .
284
285NamespaceTriple(x,y,z) <-> Namespace(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) .
286NamespaceTemplate(x,y) <-> exists z(NamespaceTriple(z,x,y)) .
287
288OtherRelationshipTriple(x,y,z) <-> OtherRelationship(x) & hasEnd1(x,y) & hasEnd2(x,z) .
289OtherRelationshipTemplate(x,y) <-> exists z(OtherRelationshipTriple(z,x,y)) .
290
291ParticipationTriple(x,y,z) <-> Participation(x) & hasPart(x,y) & hasWhole(x,z) .
292ParticipationTemplate(x,y) <-> exists z(ParticipationTriple(z,x,y)) .
293
294PossibleRoleAndDomainTriple(x,y,z) <-> PossibleRoleAndDomain(x) & hasPlayed(x,y) & hasPlayer(x,z) .
295PossibleRoleAndDomainTemplate(x,y) <-> exists z(PossibleRoleAndDomainTriple(z,x,y)) .
296
297PropertyForShapeDimensionTriple(x,y,z) <-> PropertyForShapeDimension(x) & hasProperty(x,y) & hasShapeDimension(x,z) .
298PropertyForShapeDimensionTemplate(x,y) <-> exists z(PropertyForShapeDimensionTriple(z,x,y)) .
299
300PropertyQuantificationTriple(x,y,z) <-> PropertyQuantification(x) & hasInput(x,y) & hasResult(x,z) .
301PropertyQuantificationTemplate(x,y) <-> exists z(PropertyQuantificationTriple(z,x,y)) .
302
303PropertySpaceForClassOfShapeDimensionTriple(x,y,z) <-> PropertySpaceForClassOfShapeDimension(x) & hasClassOfShapeDimension(x,y) & hasPropertySpace(x,z) .
304PropertySpaceForClassOfShapeDimensionTemplate(x,y) <-> exists z(PropertySpaceForClassOfShapeDimensionTriple(z,x,y)) .
305
306RecognitionTriple(x,y,z) <-> Recognition(x) & hasRecognized(x,y) & hasRecognizing(x,z) .
307RecognitionTemplate(x,y) <-> exists z(RecognitionTriple(z,x,y)) .
308
309RelativeLocationTriple(x,y,z) <-> RelativeLocation(x) & hasLocated(x,y) & hasLocator(x,z) .
310RelativeLocationTemplate(x,y) <-> exists z(RelativeLocationTriple(z,x,y)) .
311
312RepresentationOfThingTriple(x,y,z) <-> RepresentationOfThing(x) & hasRepresented(x,y) & hasSign(x,z) .
313RepresentationOfThingTemplate(x,y) <-> exists z(RepresentationOfThingTriple(z,x,y)) .
314
315ResponsibilityForRepresentationTriple(x,y,z) <-> ResponsibilityForRepresentation(x) & hasControlled(x,y) & hasController(x,z) .
316ResponsibilityForRepresentationTemplate(x,y) <-> exists z(ResponsibilityForRepresentationTriple(z,x,y)) .
317
318RightNamespaceTriple(x,y,z) <-> RightNamespace(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) .
319RightNamespaceTemplate(x,y) <-> exists z(RightNamespaceTriple(z,x,y)) .
320
321ScaleTriple(x,y,z) <-> Scale(x) & hasCodomain(x,y) & hasDomain(x,z) .
322ScaleTemplate(x,y) <-> exists z(ScaleTriple(z,x,y)) .
323
324SpecializationTriple(x,y,z) <-> Specialization(x) & hasSubclass(x,y) & hasSuperclass(x,z) .
325SpecializationTemplate(x,y) <-> exists z(SpecializationTriple(z,x,y)) .
326
327SpecializationByDomainTriple(x,y,z) <-> SpecializationByDomain(x) & hasSubclass(x,y) & hasSuperclass(x,z) .
328SpecializationByDomainTemplate(x,y) <-> exists z(SpecializationByDomainTriple(z,x,y)) .
329
330SpecializationByRoleTriple(x,y,z) <-> SpecializationByRole(x) & hasSubclass(x,y) & hasSuperclass(x,z) .
331SpecializationByRoleTemplate(x,y) <-> exists z(SpecializationByRoleTriple(z,x,y)) .
332
333SpecializationOfIndividualDimensionFromPropertyTriple(x,y,z) <-> SpecializationOfIndividualDimensionFromProperty(x) & hasSubclass(x,y) & hasSuperclass(x,z) .
334SpecializationOfIndividualDimensionFromPropertyTemplate(x,y) <-> exists z(SpecializationOfIndividualDimensionFromPropertyTriple(z,x,y)) .
335
336TemporalBoundingTriple(x,y,z) <-> TemporalBounding(x) & hasPart(x,y) & hasWhole(x,z) .
337TemporalBoundingTemplate(x,y) <-> exists z(TemporalBoundingTriple(z,x,y)) .
338
339TemporalSequenceTriple(x,y,z) <-> TemporalSequence(x) & hasPredecessor(x,y) & hasSuccessor(x,z) .
340TemporalSequenceTemplate(x,y) <-> exists z(TemporalSequenceTriple(z,x,y)) .
341
342TemporalWholePartTriple(x,y,z) <-> TemporalWholePart(x) & hasPart(x,y) & hasWhole(x,z) .
343TemporalWholePartTemplate(x,y) <-> exists z(TemporalWholePartTriple(z,x,y)) .
344
345UnionOfSetOfClassTriple(x,y,z) <-> UnionOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) .
346UnionOfSetOfClassTemplate(x,y) <-> exists z(UnionOfSetOfClassTriple(z,x,y)) .
347
348UpperBoundOfNumberRangeTriple(x,y,z) <-> UpperBoundOfNumberRange(x) & hasClassified(x,y) & hasClassifier(x,z) .
349UpperBoundOfNumberRangeTemplate(x,y) <-> exists z(UpperBoundOfNumberRangeTriple(z,x,y)) .
350
351UpperBoundOfPropertyRangeTriple(x,y,z) <-> UpperBoundOfPropertyRange(x) & hasClassified(x,y) & hasClassifier(x,z) .
352UpperBoundOfPropertyRangeTemplate(x,y) <-> exists z(UpperBoundOfPropertyRangeTriple(z,x,y)) .
353
354UsageOfRepresentationTriple(x,y,z) <-> UsageOfRepresentation(x) & hasUsed(x,y) & hasUser(x,z) .
355UsageOfRepresentationTemplate(x,y) <-> exists z(UsageOfRepresentationTriple(z,x,y)) .
356
357entityTriple(x,y,z) <-> (ApprovalTriple(x,y,z) | ArrangementOfIndividualTriple(x,y,z) | AssemblyOfIndividualTriple(x,y,z) | BeginningTriple(x,y,z) | BoundaryOfNumberSpaceTriple(x,y,z) | BoundaryOfPropertySpaceTriple(x,y,z) | CauseOfEventTriple(x,y,z) | ClassificationTriple(x,y,z) | ClassOfApprovalTriple(x,y,z) | ClassOfArrangementOfIndividualTriple(x,y,z) | ClassOfAssemblyOfIndividualTriple(x,y,z) | ClassOfCauseOfBeginningOfClassOfIndividualTriple(x,y,z) | ClassOfCauseOfEndingOfClassOfIndividualTriple(x,y,z) | ClassOfClassificationTriple(x,y,z) | ClassOfClassOfCompositionTriple(x,y,z) | ClassOfClassOfDefinitionTriple(x,y,z) | ClassOfClassOfDescriptionTriple(x,y,z) | ClassOfClassOfIdentificationTriple(x,y,z) | ClassOfClassOfRelationshipWithSignatureTriple(x,y,z) | ClassOfClassOfRepresentationTriple(x,y,z) | ClassOfClassOfRepresentationTranslationTriple(x,y,z) | ClassOfClassOfResponsibilityForRepresentationTriple(x,y,z) | ClassOfClassOfUsageOfRepresentationTriple(x,y,z) | ClassOfCompositionOfIndividualTriple(x,y,z) | ClassOfConnectionOfIndividualTriple(x,y,z) | ClassOfContainmentOfIndividualTriple(x,y,z) | ClassOfDefinitionTriple(x,y,z) | ClassOfDescriptionTriple(x,y,z) | ClassOfDimensionForShapeTriple(x,y,z) | ClassOfDirectConnectionTriple(x,y,z) | ClassOfFeatureWholePartTriple(x,y,z) | ClassOfFunctionalMappingTriple(x,y,z) | ClassOfIdentificationTriple(x,y,z) | ClassOfIndirectConnectionTriple(x,y,z) | ClassOfIndirectPropertyTriple(x,y,z) | ClassOfIndividualUsedInConnectionTriple(x,y,z) | ClassOfIntendedRoleAndDomainTriple(x,y,z) | ClassOfInvolvementByReferenceTriple(x,y,z) | ClassOfIsomorphicFunctionalMappingTriple(x,y,z) | ClassOfLeftNamespaceTriple(x,y,z) | ClassOfNamespaceTriple(x,y,z) | ClassOfParticipationTriple(x,y,z) | ClassOfPossibleRoleAndDomainTriple(x,y,z) | ClassOfRecognitionTriple(x,y,z) | ClassOfRelationshipTriple(x,y,z) | ClassOfRelationshipWithSignatureTriple(x,y,z) | ClassOfRelativeLocationTriple(x,y,z) | ClassOfRepresentationOfThingTriple(x,y,z) | ClassOfRepresentationTranslationTriple(x,y,z) | ClassOfResponsibilityForRepresentationTriple(x,y,z) | ClassOfRightNamespaceTriple(x,y,z) | ClassOfScaleConversionTriple(x,y,z) | ClassOfSpecializationTriple(x,y,z) | ClassOfTemporalSequenceTriple(x,y,z) | ClassOfTemporalWholePartTriple(x,y,z) | ClassOfUsageOfRepresentationTriple(x,y,z) | ComparisonOfPropertyTriple(x,y,z) | CompositionOfIndividualTriple(x,y,z) | ConnectionOfIndividualTriple(x,y,z) | ContainmentOfIndividualTriple(x,y,z) | CoordinateSystemTriple(x,y,z) | DefinitionTriple(x,y,z) | DescriptionTriple(x,y,z) | DifferenceOfSetOfClassTriple(x,y,z) | DimensionOfIndividualTriple(x,y,z) | DimensionOfShapeTriple(x,y,z) | DirectConnectionTriple(x,y,z) | EndingTriple(x,y,z) | FeatureWholePartTriple(x,y,z) | FunctionalMappingTriple(x,y,z) | IdentificationTriple(x,y,z) | IndirectConnectionTriple(x,y,z) | IndirectPropertyTriple(x,y,z) | IndividualUsedInConnectionTriple(x,y,z) | IntendedRoleAndDomainTriple(x,y,z) | IntersectionOfSetOfClassTriple(x,y,z) | InvolvementByReferenceTriple(x,y,z) | LeftNamespaceTriple(x,y,z) | LifecycleStageTriple(x,y,z) | LowerBoundOfNumberRangeTriple(x,y,z) | LowerBoundOfPropertyRangeTriple(x,y,z) | MultidimensionalScaleTriple(x,y,z) | NamespaceTriple(x,y,z) | OtherRelationshipTriple(x,y,z) | ParticipationTriple(x,y,z) | PossibleRoleAndDomainTriple(x,y,z) | PropertyForShapeDimensionTriple(x,y,z) | PropertyQuantificationTriple(x,y,z) | PropertySpaceForClassOfShapeDimensionTriple(x,y,z) | RecognitionTriple(x,y,z) | RelativeLocationTriple(x,y,z) | RepresentationOfThingTriple(x,y,z) | ResponsibilityForRepresentationTriple(x,y,z) | RightNamespaceTriple(x,y,z) | ScaleTriple(x,y,z) | SpecializationTriple(x,y,z) | SpecializationByDomainTriple(x,y,z) | SpecializationByRoleTriple(x,y,z) | SpecializationOfIndividualDimensionFromPropertyTriple(x,y,z) | TemporalBoundingTriple(x,y,z) | TemporalSequenceTriple(x,y,z) | TemporalWholePartTriple(x,y,z) | UnionOfSetOfClassTriple(x,y,z) | UpperBoundOfNumberRangeTriple(x,y,z) | UpperBoundOfPropertyRangeTriple(x,y,z) | UsageOfRepresentationTriple(x,y,z)) .
358
359
360
361
362%
363% Templates for individuals
364%
365ClassificationOfIndividual(x1, x2) <->
366  PossibleIndividual(x1) &
367  ClassOfIndividual(x2) &
368  ClassificationTemplate(x1, x2) .
369
370ClassificationOfRelationship(x1, x2) <->
371  Relationship(x1) &
372  ClassOfRelationship(x2) &
373  ClassificationTemplate(x1, x2) .
374
375IdentificationByNumber(x1, x2)  <->
376  ExpressReal(x1) &
377  Thing(x2) &
378  ClassOfIdentificationTemplate(x1, x2) .
379
380ClassifiedIdentification(x1, x2, x3)  <->
381  Thing(x1) &
382  ExpressString(x2) &
383  ClassOfClassOfIdentification(x3) &
384  exists u (ClassOfIdentificationTriple(u, x2, x1) &
385  ClassificationTemplate(u, x3)) .
386
387InstanceOfRelation(x1, x2, x3)  <->
388  ClassOfRelationshipWithSignature(x1)  &
389  Thing(x2)  &
390  Thing(x3)  &
391  exists u (
392    OtherRelationshipTriple(u, x2, x3)  &
393    ClassificationOfRelationship(u, x1) ) .
394
395
396LocationOfActivity(x1, x2)  <->
397  Activity(x1) &
398  SpatialLocation(x2) &
399  InstanceOfRelation(ActivityLocation, x1, x2) .
400
401BeginningEndOfIndividual(x1, x2, x3)  <->
402  PossibleIndividual(x1)  &
403  RepresentationOfGregorianDateAndUtcTime(x2)  &
404  RepresentationOfGregorianDateAndUtcTime(x3) &
405  exists u ( PointInTime(u)  & BeginningTemplate(u, x1) & ClassOfRepresentationOfThingTemplate(x2, u) ) &
406  exists u ( PointInTime(u)  & EndingTemplate(u, x1) & ClassOfRepresentationOfThingTemplate(x3, u) ) .
407
408BeginningEndLocationOfActivity(x1, x2, x3, x4)  <->
409  Activity(x1) &
410  RepresentationOfGregorianDateAndUtcTime(x2) &
411  RepresentationOfGregorianDateAndUtcTime(x3) &
412  SpatialLocation(x4) &
413  BeginningEndOfIndividual(x1, x2, x3) &
414  LocationOfActivity(x1, x4) .
415
416
417
418%
419% Templates for classes
420%
421
422
423ClassificationOfClass(x1, x2)  <->
424  Class(x1) &
425  ClassOfClass(x2) &
426  ClassificationTemplate(x1, x2) .
427
428ClassificationOfClassOfIndividual(x1, x2)  <->
429  ClassOfIndividual(x1) &
430  ClassOfClassOfIndividual(x2) &
431  ClassificationOfClass(x1, x2) .
432
433ClassificationOfClassOfRelationship(x1, x2)  <->
434  ClassOfRelationship(x1) &
435  ClassOfClassOfRelationship(x2) &
436  ClassificationOfClass(x1, x2) .
437
438
439RelationOfIndividualsToIndividuals(x)  <->
440  ClassOfRelationship(x) &
441  exists y1 exists y2 ( entityTriple(x, y1, y2) & ClassOfIndividual(y1)  & ClassOfIndividual(y2)) .
442
443SpecializationOfIndividualRelation(x1, x2)  <->
444  ClassOfRelationship(x1) &
445  ClassOfRelationship(x2) &
446  RelationOfIndividualsToIndividuals(x1) &
447  RelationOfIndividualsToIndividuals(x2) &
448  SpecializationTemplate(x1, x2) .
449
450PropertyRangeRestrictionOfClass(x1, x2, x3)  <->
451  ClassOfIndividual(x1) &
452  ClassOfIndirectProperty(x2) &
453  PropertyRange(x3) &
454  exists u ( ClassOfIndirectPropertyTriple(u, x1, x3)  & SpecializationAsEnd2UniversalRestriction(u, x2) ) .
455
456MagnitudeOfProperty(x1, x2, x3)  <->
457  Property(x1) &
458  ArithmeticNumber(x2) &
459  Scale(x3) &
460  exists u (PropertyQuantificationTriple(u, x1, x2)  & ClassificationTemplate(u, x3)) .
461
462
463LowerUpperMagnitudeOfPropertyRange(x1, x2, x3, x4)  <->
464  PropertyRange(x1) &
465  Scale(x2) &
466  ArithmeticNumber(x3) &
467  ArithmeticNumber(x4) &
468  exists y1 exists y2 (
469    LowerUpperOfPropertyRange(x1, y1, y2) &
470    MagnitudeOfProperty(y1, x3, x2) &
471    MagnitudeOfProperty(y2, x4, x2)
472  ) .
473
474
475LowerUpperOfPropertyRange(x1, x2, x3)  <->
476  PropertyRange(x1) &
477  Property(x2) &
478  Property(x3) &
479  LowerBoundOfPropertyRangeTemplate(x2, x1) &
480  UpperBoundOfPropertyRangeTemplate(x3, x1) .
481
482
483SpecializationAsEnd1UniversalRestriction(x1, x2)  <->
484  ClassOfRelationship(x1) &
485  ClassOfRelationship(x2) &
486  exists y (
487    SpecializationTriple(y, x1, x2) &
488    ClassificationTemplate(y, End1UniversalRestriction)
489  )  .
490
491SpecializationAsEnd2UniversalRestriction(x1, x2)  <->
492  ClassOfRelationship(x1) &
493  ClassOfRelationship(x2) &
494  exists y (
495    SpecializationTriple(y, x1, x2) &
496    ClassificationTemplate(y, End2UniversalRestriction)
497  ) .
498
499
500CardinalityMin(x1, x2)  <->
501  Cardinality(x1) &
502  INTEGER(x2) &
503  hasMinimumCardinality(x1, x2) .
504
505
506CardinalityMax(x1, x2)  <->
507  Cardinality(x1) &
508  INTEGER(x2) &
509  hasMaximumCardinality(x1, x2) .
510
511
512CardinalityMinMax(x1, x2, x3)  <->
513  Cardinality(x1) &
514  INTEGER(x2) &
515  INTEGER(x3) &
516  CardinalityMin(x1, x2) &
517  CardinalityMax(x1, x3) .
518
519
520CardinalityEnd1Min(x1, x2)  <->
521  ClassOfRelationship(x1) &
522  INTEGER(x2) &
523  exists u(CardinalityMin(u, x2)  & hasEnd1Cardinality(x1, u)) .
524
525
526CardinalityEnd1Max(x1, x2)  <->
527  ClassOfRelationship(x1) &
528  INTEGER(x2) &
529  exists u(CardinalityMax(u, x2)  & hasEnd1Cardinality(x1, u)) .
530
531
532CardinalityEnd1MinMax(x1, x2, x3)  <->
533  ClassOfRelationship(x1) &
534  INTEGER(x2) &
535  INTEGER(x3) &
536  exists u(CardinalityMinMax(u, x2, x3)  & hasEnd1Cardinality(x1, u)) .
537
538
539CardinalityEnd2Min(x1, x2)  <->
540  ClassOfRelationship(x1) &
541  INTEGER(x2) &
542  exists u(CardinalityMin(u, x2)  & hasEnd2Cardinality(x1, u)) .
543
544
545CardinalityEnd2Max(x1, x2)  <->
546  ClassOfRelationship(x1) &
547  INTEGER(x2) &
548  exists u(CardinalityMax(u, x2)  & hasEnd2Cardinality(x1, u)) .
549
550
551CardinalityEnd2MinMax(x1, x2, x3)  <->
552  ClassOfRelationship(x1) &
553  INTEGER(x2) &
554  INTEGER(x3) &
555  exists u(CardinalityMinMax(u, x2, x3)  & hasEnd2Cardinality(x1, u)) .
556
557SymbolOfScale(x1,x2) <->
558 Scale(x1) &
559 ExpressString(x2) &
560 ClassifiedIdentification(x1, x2, UomSymbolAssignment) .
561
562DimensionUnitNumberRangeOfScale(x1, x2, x3, x4)  <->
563  Scale(x1) &
564  ExpressString(x2) &
565  SinglePropertyDimension(x3) &
566  NumberRange(x4) &
567  SymbolOfScale(x1, x2) &
568  ScaleTriple(x1, x4, x3) .
569
570
571LowerUpperOfNumberRange(x1, x2, x3)  <->
572  NumberRange(x1) &
573  ArithmeticNumber(x2) &
574  ArithmeticNumber(x3) &
575  LowerBoundOfNumberRangeTemplate(x2, x1) &
576  UpperBoundOfNumberRangeTemplate(x3, x1) .
577
578
579%
580% Additional templates
581%
582
583PropertyRangeMagnitudeRestrictionOfClass(x1, x2, x3, x4, x5) <->
584  ClassOfIndividual(x1) &
585  ClassOfIndirectProperty(x2) &
586  Scale(x3) &
587  ExpressReal(x4) &
588  ExpressReal(x5) &
589  exists u (PropertyRangeRestrictionOfClass(x1, x2, u) &
590   exists y1 exists y2 (
591    IdentificationByNumber(x4, y1) &
592    IdentificationByNumber(x5, y2) &
593    LowerUpperMagnitudeOfPropertyRange(u, x3, y1, y2))) .
594
595
596TimeRepresentation(x1, x2, x3, x4, x5, x6, x7) <->
597        RepresentationOfGregorianDateAndUtcTime(x1) &
598        INTEGER(x2) &
599        INTEGER(x3) &
600        INTEGER(x4) &
601        INTEGER(x5) &
602        INTEGER(x6) &
603        REAL(x7) &
604        hasYear(x1, x2) &
605        hasMonth(x1, x3) &
606        hasDay(x1, x4) &
607        hasHour(x1, x5) &
608        hasMinute(x1, x6) &
609        hasSecond(x1, x7) .
610
611
612InstanceOfIndirectProperty(x1, x2, x3) <->
613ClassOfIndirectProperty(x1) &
614PossibleIndividual(x2) &
615Property(x3) &
616exists u(ClassificationOfRelationship(u, x1) &
617IndirectPropertyTriple(u, x2, x3)
618) .
619
620IndirectPropertyScaleReal(x1, x2, x3, x4) <->
621ClassOfIndirectProperty(x1) &
622PossibleIndividual(x2) &
623ExpressReal(x3) &
624Scale(x4) &
625exists u (InstanceOfIndirectProperty(x1, x2, u) &
626RealMagnitudeOfProperty(u, x3, x4)
627) .
628
629RealMagnitudeOfProperty(x1, x2, x3) <->
630Property(x1) &
631ExpressReal(x2) &
632Scale(x3) &
633exists u(MagnitudeOfProperty(x1, u, x3) &
634IdentificationByNumber(x2, u)
635) .
636
637
638GeometryRadius(x1, x2, x3) <->
639PossibleIndividual(x1) &
640ExpressReal(x2) &
641Scale(x3) &
642exists u1
643exists u2
644exists u3
645exists u4
646exists u5
647exists u6
648(
649IndividualDimension(u1) &
650Property(u2) &
651PropertyQuantification(u3) &
652RealNumber(u4) &
653Classification(Circle, x1) &
654Classification(Radius, u1) & 
655Classification(GeometryLength, u2) &
656Classification(X3, u3) &
657Classification(ZeroToInfinity, u4) &
658DimensionOfIndividual(x1, u1) &
659SpecializationOfIndividualDimensionFromPropertyTriple(u5, u1, u2) &
660ScaleTriple(X3, GeometryLength, ZeroToInfinity) &
661PropertyQuantificationTriple(u3, u2, u4) &
662ClassOfIdentificationTriple(u6, u4, x2)
663) .
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search