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 | |
---|
39 | ApprovalTriple(x,y,z) <-> Approval(x) & hasApproved(x,y) & hasApprover(x,z) . |
---|
40 | ApprovalTemplate(x,y) <-> exists z(ApprovalTriple(z,x,y)) . |
---|
41 | |
---|
42 | ArrangementOfIndividualTriple(x,y,z) <-> ArrangementOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) . |
---|
43 | ArrangementOfIndividualTemplate(x,y) <-> exists z(ArrangementOfIndividualTriple(z,x,y)) . |
---|
44 | |
---|
45 | AssemblyOfIndividualTriple(x,y,z) <-> AssemblyOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) . |
---|
46 | AssemblyOfIndividualTemplate(x,y) <-> exists z(AssemblyOfIndividualTriple(z,x,y)) . |
---|
47 | |
---|
48 | BeginningTriple(x,y,z) <-> Beginning(x) & hasPart(x,y) & hasWhole(x,z) . |
---|
49 | BeginningTemplate(x,y) <-> exists z(BeginningTriple(z,x,y)) . |
---|
50 | |
---|
51 | BoundaryOfNumberSpaceTriple(x,y,z) <-> BoundaryOfNumberSpace(x) & hasSubclass(x,y) & hasSuperclass(x,z) . |
---|
52 | BoundaryOfNumberSpaceTemplate(x,y) <-> exists z(BoundaryOfNumberSpaceTriple(z,x,y)) . |
---|
53 | |
---|
54 | BoundaryOfPropertySpaceTriple(x,y,z) <-> BoundaryOfPropertySpace(x) & hasSubclass(x,y) & hasSuperclass(x,z) . |
---|
55 | BoundaryOfPropertySpaceTemplate(x,y) <-> exists z(BoundaryOfPropertySpaceTriple(z,x,y)) . |
---|
56 | |
---|
57 | CauseOfEventTriple(x,y,z) <-> CauseOfEvent(x) & hasCaused(x,y) & hasCauser(x,z) . |
---|
58 | CauseOfEventTemplate(x,y) <-> exists z(CauseOfEventTriple(z,x,y)) . |
---|
59 | |
---|
60 | ClassificationTriple(x,y,z) <-> Classification(x) & hasClassified(x,y) & hasClassifier(x,z) . |
---|
61 | ClassificationTemplate(x,y) <-> exists z(ClassificationTriple(z,x,y)) . |
---|
62 | |
---|
63 | ClassOfApprovalTriple(x,y,z) <-> ClassOfApproval(x) & hasClassOfApproved(x,y) & hasClassOfApprover(x,z) . |
---|
64 | ClassOfApprovalTemplate(x,y) <-> exists z(ClassOfApprovalTriple(z,x,y)) . |
---|
65 | |
---|
66 | ClassOfArrangementOfIndividualTriple(x,y,z) <-> ClassOfArrangementOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . |
---|
67 | ClassOfArrangementOfIndividualTemplate(x,y) <-> exists z(ClassOfArrangementOfIndividualTriple(z,x,y)) . |
---|
68 | |
---|
69 | ClassOfAssemblyOfIndividualTriple(x,y,z) <-> ClassOfAssemblyOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . |
---|
70 | ClassOfAssemblyOfIndividualTemplate(x,y) <-> exists z(ClassOfAssemblyOfIndividualTriple(z,x,y)) . |
---|
71 | |
---|
72 | ClassOfCauseOfBeginningOfClassOfIndividualTriple(x,y,z) <-> ClassOfCauseOfBeginningOfClassOfIndividual(x) & hasClassOfBegun(x,y) & hasClassOfCauser(x,z) . |
---|
73 | ClassOfCauseOfBeginningOfClassOfIndividualTemplate(x,y) <-> exists z(ClassOfCauseOfBeginningOfClassOfIndividualTriple(z,x,y)) . |
---|
74 | |
---|
75 | ClassOfCauseOfEndingOfClassOfIndividualTriple(x,y,z) <-> ClassOfCauseOfEndingOfClassOfIndividual(x) & hasClassOfCauser(x,y) & hasClassOfEnded(x,z) . |
---|
76 | ClassOfCauseOfEndingOfClassOfIndividualTemplate(x,y) <-> exists z(ClassOfCauseOfEndingOfClassOfIndividualTriple(z,x,y)) . |
---|
77 | |
---|
78 | ClassOfClassificationTriple(x,y,z) <-> ClassOfClassification(x) & hasClassOfClassified(x,y) & hasClassOfClassifier(x,z) . |
---|
79 | ClassOfClassificationTemplate(x,y) <-> exists z(ClassOfClassificationTriple(z,x,y)) . |
---|
80 | |
---|
81 | ClassOfClassOfCompositionTriple(x,y,z) <-> ClassOfClassOfComposition(x) & hasClassOfClassOfPart(x,y) & hasClassOfClassOfWhole(x,z) . |
---|
82 | ClassOfClassOfCompositionTemplate(x,y) <-> exists z(ClassOfClassOfCompositionTriple(z,x,y)) . |
---|
83 | |
---|
84 | ClassOfClassOfDefinitionTriple(x,y,z) <-> ClassOfClassOfDefinition(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) . |
---|
85 | ClassOfClassOfDefinitionTemplate(x,y) <-> exists z(ClassOfClassOfDefinitionTriple(z,x,y)) . |
---|
86 | |
---|
87 | ClassOfClassOfDescriptionTriple(x,y,z) <-> ClassOfClassOfDescription(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) . |
---|
88 | ClassOfClassOfDescriptionTemplate(x,y) <-> exists z(ClassOfClassOfDescriptionTriple(z,x,y)) . |
---|
89 | |
---|
90 | ClassOfClassOfIdentificationTriple(x,y,z) <-> ClassOfClassOfIdentification(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) . |
---|
91 | ClassOfClassOfIdentificationTemplate(x,y) <-> exists z(ClassOfClassOfIdentificationTriple(z,x,y)) . |
---|
92 | |
---|
93 | ClassOfClassOfRelationshipWithSignatureTriple(x,y,z) <-> ClassOfClassOfRelationshipWithSignature(x) & hasClassOfEnd1(x,y) & hasClassOfEnd2(x,z) . |
---|
94 | ClassOfClassOfRelationshipWithSignatureTemplate(x,y) <-> exists z(ClassOfClassOfRelationshipWithSignatureTriple(z,x,y)) . |
---|
95 | |
---|
96 | ClassOfClassOfRepresentationTriple(x,y,z) <-> ClassOfClassOfRepresentation(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) . |
---|
97 | ClassOfClassOfRepresentationTemplate(x,y) <-> exists z(ClassOfClassOfRepresentationTriple(z,x,y)) . |
---|
98 | |
---|
99 | ClassOfClassOfRepresentationTranslationTriple(x,y,z) <-> ClassOfClassOfRepresentationTranslation(x) & hasClassOfFirst(x,y) & hasClassOfSecond(x,z) . |
---|
100 | ClassOfClassOfRepresentationTranslationTemplate(x,y) <-> exists z(ClassOfClassOfRepresentationTranslationTriple(z,x,y)) . |
---|
101 | |
---|
102 | ClassOfClassOfResponsibilityForRepresentationTriple(x,y,z) <-> ClassOfClassOfResponsibilityForRepresentation(x) & hasClassOfClassOfControlled(x,y) & hasController(x,z) . |
---|
103 | ClassOfClassOfResponsibilityForRepresentationTemplate(x,y) <-> exists z(ClassOfClassOfResponsibilityForRepresentationTriple(z,x,y)) . |
---|
104 | |
---|
105 | ClassOfClassOfUsageOfRepresentationTriple(x,y,z) <-> ClassOfClassOfUsageOfRepresentation(x) & hasClassOfClassOfUsed(x,y) & hasUser(x,z) . |
---|
106 | ClassOfClassOfUsageOfRepresentationTemplate(x,y) <-> exists z(ClassOfClassOfUsageOfRepresentationTriple(z,x,y)) . |
---|
107 | |
---|
108 | ClassOfCompositionOfIndividualTriple(x,y,z) <-> ClassOfCompositionOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . |
---|
109 | ClassOfCompositionOfIndividualTemplate(x,y) <-> exists z(ClassOfCompositionOfIndividualTriple(z,x,y)) . |
---|
110 | |
---|
111 | ClassOfConnectionOfIndividualTriple(x,y,z) <-> ClassOfConnectionOfIndividual(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) . |
---|
112 | ClassOfConnectionOfIndividualTemplate(x,y) <-> exists z(ClassOfConnectionOfIndividualTriple(z,x,y)) . |
---|
113 | |
---|
114 | ClassOfContainmentOfIndividualTriple(x,y,z) <-> ClassOfContainmentOfIndividual(x) & hasClassOfLocated(x,y) & hasClassOfLocator(x,z) . |
---|
115 | ClassOfContainmentOfIndividualTemplate(x,y) <-> exists z(ClassOfContainmentOfIndividualTriple(z,x,y)) . |
---|
116 | |
---|
117 | ClassOfDefinitionTriple(x,y,z) <-> ClassOfDefinition(x) & hasPattern(x,y) & hasRepresented(x,z) . |
---|
118 | ClassOfDefinitionTemplate(x,y) <-> exists z(ClassOfDefinitionTriple(z,x,y)) . |
---|
119 | |
---|
120 | ClassOfDescriptionTriple(x,y,z) <-> ClassOfDescription(x) & hasPattern(x,y) & hasRepresented(x,z) . |
---|
121 | ClassOfDescriptionTemplate(x,y) <-> exists z(ClassOfDescriptionTriple(z,x,y)) . |
---|
122 | |
---|
123 | ClassOfDimensionForShapeTriple(x,y,z) <-> ClassOfDimensionForShape(x) & hasClassOfDimension(x,y) & hasClassOfShape(x,z) . |
---|
124 | ClassOfDimensionForShapeTemplate(x,y) <-> exists z(ClassOfDimensionForShapeTriple(z,x,y)) . |
---|
125 | |
---|
126 | ClassOfDirectConnectionTriple(x,y,z) <-> ClassOfDirectConnection(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) . |
---|
127 | ClassOfDirectConnectionTemplate(x,y) <-> exists z(ClassOfDirectConnectionTriple(z,x,y)) . |
---|
128 | |
---|
129 | ClassOfFeatureWholePartTriple(x,y,z) <-> ClassOfFeatureWholePart(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . |
---|
130 | ClassOfFeatureWholePartTemplate(x,y) <-> exists z(ClassOfFeatureWholePartTriple(z,x,y)) . |
---|
131 | |
---|
132 | ClassOfFunctionalMappingTriple(x,y,z) <-> ClassOfFunctionalMapping(x) & hasCodomain(x,y) & hasDomain(x,z) . |
---|
133 | ClassOfFunctionalMappingTemplate(x,y) <-> exists z(ClassOfFunctionalMappingTriple(z,x,y)) . |
---|
134 | |
---|
135 | ClassOfIdentificationTriple(x,y,z) <-> ClassOfIdentification(x) & hasPattern(x,y) & hasRepresented(x,z) . |
---|
136 | ClassOfIdentificationTemplate(x,y) <-> exists z(ClassOfIdentificationTriple(z,x,y)) . |
---|
137 | |
---|
138 | ClassOfIndirectConnectionTriple(x,y,z) <-> ClassOfIndirectConnection(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) . |
---|
139 | ClassOfIndirectConnectionTemplate(x,y) <-> exists z(ClassOfIndirectConnectionTriple(z,x,y)) . |
---|
140 | |
---|
141 | ClassOfIndirectPropertyTriple(x,y,z) <-> ClassOfIndirectProperty(x) & hasClassOfPossessor(x,y) & hasPropertySpace(x,z) . |
---|
142 | ClassOfIndirectPropertyTemplate(x,y) <-> exists z(ClassOfIndirectPropertyTriple(z,x,y)) . |
---|
143 | |
---|
144 | ClassOfIndividualUsedInConnectionTriple(x,y,z) <-> ClassOfIndividualUsedInConnection(x) & hasClassOfConnection(x,y) & hasClassOfUsage(x,z) . |
---|
145 | ClassOfIndividualUsedInConnectionTemplate(x,y) <-> exists z(ClassOfIndividualUsedInConnectionTriple(z,x,y)) . |
---|
146 | |
---|
147 | ClassOfIntendedRoleAndDomainTriple(x,y,z) <-> ClassOfIntendedRoleAndDomain(x) & hasClassOfPlayer(x,y) & hasPlayed(x,z) . |
---|
148 | ClassOfIntendedRoleAndDomainTemplate(x,y) <-> exists z(ClassOfIntendedRoleAndDomainTriple(z,x,y)) . |
---|
149 | |
---|
150 | ClassOfInvolvementByReferenceTriple(x,y,z) <-> ClassOfInvolvementByReference(x) & hasClassOfInvolved(x,y) & hasClassOfInvolver(x,z) . |
---|
151 | ClassOfInvolvementByReferenceTemplate(x,y) <-> exists z(ClassOfInvolvementByReferenceTriple(z,x,y)) . |
---|
152 | |
---|
153 | ClassOfIsomorphicFunctionalMappingTriple(x,y,z) <-> ClassOfIsomorphicFunctionalMapping(x) & hasCodomain(x,y) & hasDomain(x,z) . |
---|
154 | ClassOfIsomorphicFunctionalMappingTemplate(x,y) <-> exists z(ClassOfIsomorphicFunctionalMappingTriple(z,x,y)) . |
---|
155 | |
---|
156 | ClassOfLeftNamespaceTriple(x,y,z) <-> ClassOfLeftNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) . |
---|
157 | ClassOfLeftNamespaceTemplate(x,y) <-> exists z(ClassOfLeftNamespaceTriple(z,x,y)) . |
---|
158 | |
---|
159 | ClassOfNamespaceTriple(x,y,z) <-> ClassOfNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) . |
---|
160 | ClassOfNamespaceTemplate(x,y) <-> exists z(ClassOfNamespaceTriple(z,x,y)) . |
---|
161 | |
---|
162 | ClassOfParticipationTriple(x,y,z) <-> ClassOfParticipation(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . |
---|
163 | ClassOfParticipationTemplate(x,y) <-> exists z(ClassOfParticipationTriple(z,x,y)) . |
---|
164 | |
---|
165 | ClassOfPossibleRoleAndDomainTriple(x,y,z) <-> ClassOfPossibleRoleAndDomain(x) & hasClassOfPlayer(x,y) & hasPlayed(x,z) . |
---|
166 | ClassOfPossibleRoleAndDomainTemplate(x,y) <-> exists z(ClassOfPossibleRoleAndDomainTriple(z,x,y)) . |
---|
167 | |
---|
168 | ClassOfRecognitionTriple(x,y,z) <-> ClassOfRecognition(x) & hasClassOfRecognized(x,y) & hasClassOfRecognizing(x,z) . |
---|
169 | ClassOfRecognitionTemplate(x,y) <-> exists z(ClassOfRecognitionTriple(z,x,y)) . |
---|
170 | |
---|
171 | ClassOfRelationshipTriple(x,y,z) <-> ClassOfRelationship(x) & hasEnd1Cardinality(x,y) & hasEnd2Cardinality(x,z) . |
---|
172 | ClassOfRelationshipTemplate(x,y) <-> exists z(ClassOfRelationshipTriple(z,x,y)) . |
---|
173 | |
---|
174 | ClassOfRelationshipWithSignatureTriple(x,y,z) <-> ClassOfRelationshipWithSignature(x) & hasClassOfEnd1(x,y) & hasClassOfEnd2(x,z) . |
---|
175 | ClassOfRelationshipWithSignatureTemplate(x,y) <-> exists z(ClassOfRelationshipWithSignatureTriple(z,x,y)) . |
---|
176 | |
---|
177 | ClassOfRelativeLocationTriple(x,y,z) <-> ClassOfRelativeLocation(x) & hasClassOfLocated(x,y) & hasClassOfLocator(x,z) . |
---|
178 | ClassOfRelativeLocationTemplate(x,y) <-> exists z(ClassOfRelativeLocationTriple(z,x,y)) . |
---|
179 | |
---|
180 | ClassOfRepresentationOfThingTriple(x,y,z) <-> ClassOfRepresentationOfThing(x) & hasPattern(x,y) & hasRepresented(x,z) . |
---|
181 | ClassOfRepresentationOfThingTemplate(x,y) <-> exists z(ClassOfRepresentationOfThingTriple(z,x,y)) . |
---|
182 | |
---|
183 | ClassOfRepresentationTranslationTriple(x,y,z) <-> ClassOfRepresentationTranslation(x) & hasClassOfFirst(x,y) & hasClassOfSecond(x,z) . |
---|
184 | ClassOfRepresentationTranslationTemplate(x,y) <-> exists z(ClassOfRepresentationTranslationTriple(z,x,y)) . |
---|
185 | |
---|
186 | ClassOfResponsibilityForRepresentationTriple(x,y,z) <-> ClassOfResponsibilityForRepresentation(x) & hasClassOfControlled(x,y) & hasController(x,z) . |
---|
187 | ClassOfResponsibilityForRepresentationTemplate(x,y) <-> exists z(ClassOfResponsibilityForRepresentationTriple(z,x,y)) . |
---|
188 | |
---|
189 | ClassOfRightNamespaceTriple(x,y,z) <-> ClassOfRightNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) . |
---|
190 | ClassOfRightNamespaceTemplate(x,y) <-> exists z(ClassOfRightNamespaceTriple(z,x,y)) . |
---|
191 | |
---|
192 | ClassOfScaleConversionTriple(x,y,z) <-> ClassOfScaleConversion(x) & hasCodomain(x,y) & hasDomain(x,z) . |
---|
193 | ClassOfScaleConversionTemplate(x,y) <-> exists z(ClassOfScaleConversionTriple(z,x,y)) . |
---|
194 | |
---|
195 | ClassOfSpecializationTriple(x,y,z) <-> ClassOfSpecialization(x) & hasClassOfSubclass(x,y) & hasClassOfSuperclass(x,z) . |
---|
196 | ClassOfSpecializationTemplate(x,y) <-> exists z(ClassOfSpecializationTriple(z,x,y)) . |
---|
197 | |
---|
198 | ClassOfTemporalSequenceTriple(x,y,z) <-> ClassOfTemporalSequence(x) & hasClassOfPredecessor(x,y) & hasClassOfSuccessor(x,z) . |
---|
199 | ClassOfTemporalSequenceTemplate(x,y) <-> exists z(ClassOfTemporalSequenceTriple(z,x,y)) . |
---|
200 | |
---|
201 | ClassOfTemporalWholePartTriple(x,y,z) <-> ClassOfTemporalWholePart(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . |
---|
202 | ClassOfTemporalWholePartTemplate(x,y) <-> exists z(ClassOfTemporalWholePartTriple(z,x,y)) . |
---|
203 | |
---|
204 | ClassOfUsageOfRepresentationTriple(x,y,z) <-> ClassOfUsageOfRepresentation(x) & hasClassOfUsed(x,y) & hasUser(x,z) . |
---|
205 | ClassOfUsageOfRepresentationTemplate(x,y) <-> exists z(ClassOfUsageOfRepresentationTriple(z,x,y)) . |
---|
206 | |
---|
207 | ComparisonOfPropertyTriple(x,y,z) <-> ComparisonOfProperty(x) & hasGreaterElement(x,y) & hasLesserElement(x,z) . |
---|
208 | ComparisonOfPropertyTemplate(x,y) <-> exists z(ComparisonOfPropertyTriple(z,x,y)) . |
---|
209 | |
---|
210 | CompositionOfIndividualTriple(x,y,z) <-> CompositionOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) . |
---|
211 | CompositionOfIndividualTemplate(x,y) <-> exists z(CompositionOfIndividualTriple(z,x,y)) . |
---|
212 | |
---|
213 | ConnectionOfIndividualTriple(x,y,z) <-> ConnectionOfIndividual(x) & hasSide1(x,y) & hasSide2(x,z) . |
---|
214 | ConnectionOfIndividualTemplate(x,y) <-> exists z(ConnectionOfIndividualTriple(z,x,y)) . |
---|
215 | |
---|
216 | ContainmentOfIndividualTriple(x,y,z) <-> ContainmentOfIndividual(x) & hasLocated(x,y) & hasLocator(x,z) . |
---|
217 | ContainmentOfIndividualTemplate(x,y) <-> exists z(ContainmentOfIndividualTriple(z,x,y)) . |
---|
218 | |
---|
219 | CoordinateSystemTriple(x,y,z) <-> CoordinateSystem(x) & hasCodomain(x,y) & hasDomain(x,z) . |
---|
220 | CoordinateSystemTemplate(x,y) <-> exists z(CoordinateSystemTriple(z,x,y)) . |
---|
221 | |
---|
222 | DefinitionTriple(x,y,z) <-> Definition(x) & hasRepresented(x,y) & hasSign(x,z) . |
---|
223 | DefinitionTemplate(x,y) <-> exists z(DefinitionTriple(z,x,y)) . |
---|
224 | |
---|
225 | DescriptionTriple(x,y,z) <-> Description(x) & hasRepresented(x,y) & hasSign(x,z) . |
---|
226 | DescriptionTemplate(x,y) <-> exists z(DescriptionTriple(z,x,y)) . |
---|
227 | |
---|
228 | DifferenceOfSetOfClassTriple(x,y,z) <-> DifferenceOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) . |
---|
229 | DifferenceOfSetOfClassTemplate(x,y) <-> exists z(DifferenceOfSetOfClassTriple(z,x,y)) . |
---|
230 | |
---|
231 | DimensionOfIndividualTriple(x,y,z) <-> DimensionOfIndividual(x) & hasIndividual(x,y) & hasIndividualDimension(x,z) . |
---|
232 | DimensionOfIndividualTemplate(x,y) <-> exists z(DimensionOfIndividualTriple(z,x,y)) . |
---|
233 | |
---|
234 | DimensionOfShapeTriple(x,y,z) <-> DimensionOfShape(x) & hasDimension(x,y) & hasShape(x,z) . |
---|
235 | DimensionOfShapeTemplate(x,y) <-> exists z(DimensionOfShapeTriple(z,x,y)) . |
---|
236 | |
---|
237 | DirectConnectionTriple(x,y,z) <-> DirectConnection(x) & hasSide1(x,y) & hasSide2(x,z) . |
---|
238 | DirectConnectionTemplate(x,y) <-> exists z(DirectConnectionTriple(z,x,y)) . |
---|
239 | |
---|
240 | EndingTriple(x,y,z) <-> Ending(x) & hasPart(x,y) & hasWhole(x,z) . |
---|
241 | EndingTemplate(x,y) <-> exists z(EndingTriple(z,x,y)) . |
---|
242 | |
---|
243 | FeatureWholePartTriple(x,y,z) <-> FeatureWholePart(x) & hasPart(x,y) & hasWhole(x,z) . |
---|
244 | FeatureWholePartTemplate(x,y) <-> exists z(FeatureWholePartTriple(z,x,y)) . |
---|
245 | |
---|
246 | FunctionalMappingTriple(x,y,z) <-> FunctionalMapping(x) & hasInput(x,y) & hasResult(x,z) . |
---|
247 | FunctionalMappingTemplate(x,y) <-> exists z(FunctionalMappingTriple(z,x,y)) . |
---|
248 | |
---|
249 | IdentificationTriple(x,y,z) <-> Identification(x) & hasRepresented(x,y) & hasSign(x,z) . |
---|
250 | IdentificationTemplate(x,y) <-> exists z(IdentificationTriple(z,x,y)) . |
---|
251 | |
---|
252 | IndirectConnectionTriple(x,y,z) <-> IndirectConnection(x) & hasSide1(x,y) & hasSide2(x,z) . |
---|
253 | IndirectConnectionTemplate(x,y) <-> exists z(IndirectConnectionTriple(z,x,y)) . |
---|
254 | |
---|
255 | IndirectPropertyTriple(x,y,z) <-> IndirectProperty(x) & hasPossessor(x,y) & hasProperty(x,z) . |
---|
256 | IndirectPropertyTemplate(x,y) <-> exists z(IndirectPropertyTriple(z,x,y)) . |
---|
257 | |
---|
258 | IndividualUsedInConnectionTriple(x,y,z) <-> IndividualUsedInConnection(x) & hasConnection(x,y) & hasUsage(x,z) . |
---|
259 | IndividualUsedInConnectionTemplate(x,y) <-> exists z(IndividualUsedInConnectionTriple(z,x,y)) . |
---|
260 | |
---|
261 | IntendedRoleAndDomainTriple(x,y,z) <-> IntendedRoleAndDomain(x) & hasPlayed(x,y) & hasPlayer(x,z) . |
---|
262 | IntendedRoleAndDomainTemplate(x,y) <-> exists z(IntendedRoleAndDomainTriple(z,x,y)) . |
---|
263 | |
---|
264 | IntersectionOfSetOfClassTriple(x,y,z) <-> IntersectionOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) . |
---|
265 | IntersectionOfSetOfClassTemplate(x,y) <-> exists z(IntersectionOfSetOfClassTriple(z,x,y)) . |
---|
266 | |
---|
267 | InvolvementByReferenceTriple(x,y,z) <-> InvolvementByReference(x) & hasInvolved(x,y) & hasInvolver(x,z) . |
---|
268 | InvolvementByReferenceTemplate(x,y) <-> exists z(InvolvementByReferenceTriple(z,x,y)) . |
---|
269 | |
---|
270 | LeftNamespaceTriple(x,y,z) <-> LeftNamespace(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . |
---|
271 | LeftNamespaceTemplate(x,y) <-> exists z(LeftNamespaceTriple(z,x,y)) . |
---|
272 | |
---|
273 | LifecycleStageTriple(x,y,z) <-> LifecycleStage(x) & hasInterest(x,y) & hasInterested(x,z) . |
---|
274 | LifecycleStageTemplate(x,y) <-> exists z(LifecycleStageTriple(z,x,y)) . |
---|
275 | |
---|
276 | LowerBoundOfNumberRangeTriple(x,y,z) <-> LowerBoundOfNumberRange(x) & hasClassified(x,y) & hasClassifier(x,z) . |
---|
277 | LowerBoundOfNumberRangeTemplate(x,y) <-> exists z(LowerBoundOfNumberRangeTriple(z,x,y)) . |
---|
278 | |
---|
279 | LowerBoundOfPropertyRangeTriple(x,y,z) <-> LowerBoundOfPropertyRange(x) & hasClassified(x,y) & hasClassifier(x,z) . |
---|
280 | LowerBoundOfPropertyRangeTemplate(x,y) <-> exists z(LowerBoundOfPropertyRangeTriple(z,x,y)) . |
---|
281 | |
---|
282 | MultidimensionalScaleTriple(x,y,z) <-> MultidimensionalScale(x) & hasCodomain(x,y) & hasDomain(x,z) . |
---|
283 | MultidimensionalScaleTemplate(x,y) <-> exists z(MultidimensionalScaleTriple(z,x,y)) . |
---|
284 | |
---|
285 | NamespaceTriple(x,y,z) <-> Namespace(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . |
---|
286 | NamespaceTemplate(x,y) <-> exists z(NamespaceTriple(z,x,y)) . |
---|
287 | |
---|
288 | OtherRelationshipTriple(x,y,z) <-> OtherRelationship(x) & hasEnd1(x,y) & hasEnd2(x,z) . |
---|
289 | OtherRelationshipTemplate(x,y) <-> exists z(OtherRelationshipTriple(z,x,y)) . |
---|
290 | |
---|
291 | ParticipationTriple(x,y,z) <-> Participation(x) & hasPart(x,y) & hasWhole(x,z) . |
---|
292 | ParticipationTemplate(x,y) <-> exists z(ParticipationTriple(z,x,y)) . |
---|
293 | |
---|
294 | PossibleRoleAndDomainTriple(x,y,z) <-> PossibleRoleAndDomain(x) & hasPlayed(x,y) & hasPlayer(x,z) . |
---|
295 | PossibleRoleAndDomainTemplate(x,y) <-> exists z(PossibleRoleAndDomainTriple(z,x,y)) . |
---|
296 | |
---|
297 | PropertyForShapeDimensionTriple(x,y,z) <-> PropertyForShapeDimension(x) & hasProperty(x,y) & hasShapeDimension(x,z) . |
---|
298 | PropertyForShapeDimensionTemplate(x,y) <-> exists z(PropertyForShapeDimensionTriple(z,x,y)) . |
---|
299 | |
---|
300 | PropertyQuantificationTriple(x,y,z) <-> PropertyQuantification(x) & hasInput(x,y) & hasResult(x,z) . |
---|
301 | PropertyQuantificationTemplate(x,y) <-> exists z(PropertyQuantificationTriple(z,x,y)) . |
---|
302 | |
---|
303 | PropertySpaceForClassOfShapeDimensionTriple(x,y,z) <-> PropertySpaceForClassOfShapeDimension(x) & hasClassOfShapeDimension(x,y) & hasPropertySpace(x,z) . |
---|
304 | PropertySpaceForClassOfShapeDimensionTemplate(x,y) <-> exists z(PropertySpaceForClassOfShapeDimensionTriple(z,x,y)) . |
---|
305 | |
---|
306 | RecognitionTriple(x,y,z) <-> Recognition(x) & hasRecognized(x,y) & hasRecognizing(x,z) . |
---|
307 | RecognitionTemplate(x,y) <-> exists z(RecognitionTriple(z,x,y)) . |
---|
308 | |
---|
309 | RelativeLocationTriple(x,y,z) <-> RelativeLocation(x) & hasLocated(x,y) & hasLocator(x,z) . |
---|
310 | RelativeLocationTemplate(x,y) <-> exists z(RelativeLocationTriple(z,x,y)) . |
---|
311 | |
---|
312 | RepresentationOfThingTriple(x,y,z) <-> RepresentationOfThing(x) & hasRepresented(x,y) & hasSign(x,z) . |
---|
313 | RepresentationOfThingTemplate(x,y) <-> exists z(RepresentationOfThingTriple(z,x,y)) . |
---|
314 | |
---|
315 | ResponsibilityForRepresentationTriple(x,y,z) <-> ResponsibilityForRepresentation(x) & hasControlled(x,y) & hasController(x,z) . |
---|
316 | ResponsibilityForRepresentationTemplate(x,y) <-> exists z(ResponsibilityForRepresentationTriple(z,x,y)) . |
---|
317 | |
---|
318 | RightNamespaceTriple(x,y,z) <-> RightNamespace(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . |
---|
319 | RightNamespaceTemplate(x,y) <-> exists z(RightNamespaceTriple(z,x,y)) . |
---|
320 | |
---|
321 | ScaleTriple(x,y,z) <-> Scale(x) & hasCodomain(x,y) & hasDomain(x,z) . |
---|
322 | ScaleTemplate(x,y) <-> exists z(ScaleTriple(z,x,y)) . |
---|
323 | |
---|
324 | SpecializationTriple(x,y,z) <-> Specialization(x) & hasSubclass(x,y) & hasSuperclass(x,z) . |
---|
325 | SpecializationTemplate(x,y) <-> exists z(SpecializationTriple(z,x,y)) . |
---|
326 | |
---|
327 | SpecializationByDomainTriple(x,y,z) <-> SpecializationByDomain(x) & hasSubclass(x,y) & hasSuperclass(x,z) . |
---|
328 | SpecializationByDomainTemplate(x,y) <-> exists z(SpecializationByDomainTriple(z,x,y)) . |
---|
329 | |
---|
330 | SpecializationByRoleTriple(x,y,z) <-> SpecializationByRole(x) & hasSubclass(x,y) & hasSuperclass(x,z) . |
---|
331 | SpecializationByRoleTemplate(x,y) <-> exists z(SpecializationByRoleTriple(z,x,y)) . |
---|
332 | |
---|
333 | SpecializationOfIndividualDimensionFromPropertyTriple(x,y,z) <-> SpecializationOfIndividualDimensionFromProperty(x) & hasSubclass(x,y) & hasSuperclass(x,z) . |
---|
334 | SpecializationOfIndividualDimensionFromPropertyTemplate(x,y) <-> exists z(SpecializationOfIndividualDimensionFromPropertyTriple(z,x,y)) . |
---|
335 | |
---|
336 | TemporalBoundingTriple(x,y,z) <-> TemporalBounding(x) & hasPart(x,y) & hasWhole(x,z) . |
---|
337 | TemporalBoundingTemplate(x,y) <-> exists z(TemporalBoundingTriple(z,x,y)) . |
---|
338 | |
---|
339 | TemporalSequenceTriple(x,y,z) <-> TemporalSequence(x) & hasPredecessor(x,y) & hasSuccessor(x,z) . |
---|
340 | TemporalSequenceTemplate(x,y) <-> exists z(TemporalSequenceTriple(z,x,y)) . |
---|
341 | |
---|
342 | TemporalWholePartTriple(x,y,z) <-> TemporalWholePart(x) & hasPart(x,y) & hasWhole(x,z) . |
---|
343 | TemporalWholePartTemplate(x,y) <-> exists z(TemporalWholePartTriple(z,x,y)) . |
---|
344 | |
---|
345 | UnionOfSetOfClassTriple(x,y,z) <-> UnionOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) . |
---|
346 | UnionOfSetOfClassTemplate(x,y) <-> exists z(UnionOfSetOfClassTriple(z,x,y)) . |
---|
347 | |
---|
348 | UpperBoundOfNumberRangeTriple(x,y,z) <-> UpperBoundOfNumberRange(x) & hasClassified(x,y) & hasClassifier(x,z) . |
---|
349 | UpperBoundOfNumberRangeTemplate(x,y) <-> exists z(UpperBoundOfNumberRangeTriple(z,x,y)) . |
---|
350 | |
---|
351 | UpperBoundOfPropertyRangeTriple(x,y,z) <-> UpperBoundOfPropertyRange(x) & hasClassified(x,y) & hasClassifier(x,z) . |
---|
352 | UpperBoundOfPropertyRangeTemplate(x,y) <-> exists z(UpperBoundOfPropertyRangeTriple(z,x,y)) . |
---|
353 | |
---|
354 | UsageOfRepresentationTriple(x,y,z) <-> UsageOfRepresentation(x) & hasUsed(x,y) & hasUser(x,z) . |
---|
355 | UsageOfRepresentationTemplate(x,y) <-> exists z(UsageOfRepresentationTriple(z,x,y)) . |
---|
356 | |
---|
357 | entityTriple(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 | % |
---|
365 | ClassificationOfIndividual(x1, x2) <-> |
---|
366 | PossibleIndividual(x1) & |
---|
367 | ClassOfIndividual(x2) & |
---|
368 | ClassificationTemplate(x1, x2) . |
---|
369 | |
---|
370 | ClassificationOfRelationship(x1, x2) <-> |
---|
371 | Relationship(x1) & |
---|
372 | ClassOfRelationship(x2) & |
---|
373 | ClassificationTemplate(x1, x2) . |
---|
374 | |
---|
375 | IdentificationByNumber(x1, x2) <-> |
---|
376 | ExpressReal(x1) & |
---|
377 | Thing(x2) & |
---|
378 | ClassOfIdentificationTemplate(x1, x2) . |
---|
379 | |
---|
380 | ClassifiedIdentification(x1, x2, x3) <-> |
---|
381 | Thing(x1) & |
---|
382 | ExpressString(x2) & |
---|
383 | ClassOfClassOfIdentification(x3) & |
---|
384 | exists u (ClassOfIdentificationTriple(u, x2, x1) & |
---|
385 | ClassificationTemplate(u, x3)) . |
---|
386 | |
---|
387 | InstanceOfRelation(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 | |
---|
396 | LocationOfActivity(x1, x2) <-> |
---|
397 | Activity(x1) & |
---|
398 | SpatialLocation(x2) & |
---|
399 | InstanceOfRelation(ActivityLocation, x1, x2) . |
---|
400 | |
---|
401 | BeginningEndOfIndividual(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 | |
---|
408 | BeginningEndLocationOfActivity(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 | |
---|
423 | ClassificationOfClass(x1, x2) <-> |
---|
424 | Class(x1) & |
---|
425 | ClassOfClass(x2) & |
---|
426 | ClassificationTemplate(x1, x2) . |
---|
427 | |
---|
428 | ClassificationOfClassOfIndividual(x1, x2) <-> |
---|
429 | ClassOfIndividual(x1) & |
---|
430 | ClassOfClassOfIndividual(x2) & |
---|
431 | ClassificationOfClass(x1, x2) . |
---|
432 | |
---|
433 | ClassificationOfClassOfRelationship(x1, x2) <-> |
---|
434 | ClassOfRelationship(x1) & |
---|
435 | ClassOfClassOfRelationship(x2) & |
---|
436 | ClassificationOfClass(x1, x2) . |
---|
437 | |
---|
438 | |
---|
439 | RelationOfIndividualsToIndividuals(x) <-> |
---|
440 | ClassOfRelationship(x) & |
---|
441 | exists y1 exists y2 ( entityTriple(x, y1, y2) & ClassOfIndividual(y1) & ClassOfIndividual(y2)) . |
---|
442 | |
---|
443 | SpecializationOfIndividualRelation(x1, x2) <-> |
---|
444 | ClassOfRelationship(x1) & |
---|
445 | ClassOfRelationship(x2) & |
---|
446 | RelationOfIndividualsToIndividuals(x1) & |
---|
447 | RelationOfIndividualsToIndividuals(x2) & |
---|
448 | SpecializationTemplate(x1, x2) . |
---|
449 | |
---|
450 | PropertyRangeRestrictionOfClass(x1, x2, x3) <-> |
---|
451 | ClassOfIndividual(x1) & |
---|
452 | ClassOfIndirectProperty(x2) & |
---|
453 | PropertyRange(x3) & |
---|
454 | exists u ( ClassOfIndirectPropertyTriple(u, x1, x3) & SpecializationAsEnd2UniversalRestriction(u, x2) ) . |
---|
455 | |
---|
456 | MagnitudeOfProperty(x1, x2, x3) <-> |
---|
457 | Property(x1) & |
---|
458 | ArithmeticNumber(x2) & |
---|
459 | Scale(x3) & |
---|
460 | exists u (PropertyQuantificationTriple(u, x1, x2) & ClassificationTemplate(u, x3)) . |
---|
461 | |
---|
462 | |
---|
463 | LowerUpperMagnitudeOfPropertyRange(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 | |
---|
475 | LowerUpperOfPropertyRange(x1, x2, x3) <-> |
---|
476 | PropertyRange(x1) & |
---|
477 | Property(x2) & |
---|
478 | Property(x3) & |
---|
479 | LowerBoundOfPropertyRangeTemplate(x2, x1) & |
---|
480 | UpperBoundOfPropertyRangeTemplate(x3, x1) . |
---|
481 | |
---|
482 | |
---|
483 | SpecializationAsEnd1UniversalRestriction(x1, x2) <-> |
---|
484 | ClassOfRelationship(x1) & |
---|
485 | ClassOfRelationship(x2) & |
---|
486 | exists y ( |
---|
487 | SpecializationTriple(y, x1, x2) & |
---|
488 | ClassificationTemplate(y, End1UniversalRestriction) |
---|
489 | ) . |
---|
490 | |
---|
491 | SpecializationAsEnd2UniversalRestriction(x1, x2) <-> |
---|
492 | ClassOfRelationship(x1) & |
---|
493 | ClassOfRelationship(x2) & |
---|
494 | exists y ( |
---|
495 | SpecializationTriple(y, x1, x2) & |
---|
496 | ClassificationTemplate(y, End2UniversalRestriction) |
---|
497 | ) . |
---|
498 | |
---|
499 | |
---|
500 | CardinalityMin(x1, x2) <-> |
---|
501 | Cardinality(x1) & |
---|
502 | INTEGER(x2) & |
---|
503 | hasMinimumCardinality(x1, x2) . |
---|
504 | |
---|
505 | |
---|
506 | CardinalityMax(x1, x2) <-> |
---|
507 | Cardinality(x1) & |
---|
508 | INTEGER(x2) & |
---|
509 | hasMaximumCardinality(x1, x2) . |
---|
510 | |
---|
511 | |
---|
512 | CardinalityMinMax(x1, x2, x3) <-> |
---|
513 | Cardinality(x1) & |
---|
514 | INTEGER(x2) & |
---|
515 | INTEGER(x3) & |
---|
516 | CardinalityMin(x1, x2) & |
---|
517 | CardinalityMax(x1, x3) . |
---|
518 | |
---|
519 | |
---|
520 | CardinalityEnd1Min(x1, x2) <-> |
---|
521 | ClassOfRelationship(x1) & |
---|
522 | INTEGER(x2) & |
---|
523 | exists u(CardinalityMin(u, x2) & hasEnd1Cardinality(x1, u)) . |
---|
524 | |
---|
525 | |
---|
526 | CardinalityEnd1Max(x1, x2) <-> |
---|
527 | ClassOfRelationship(x1) & |
---|
528 | INTEGER(x2) & |
---|
529 | exists u(CardinalityMax(u, x2) & hasEnd1Cardinality(x1, u)) . |
---|
530 | |
---|
531 | |
---|
532 | CardinalityEnd1MinMax(x1, x2, x3) <-> |
---|
533 | ClassOfRelationship(x1) & |
---|
534 | INTEGER(x2) & |
---|
535 | INTEGER(x3) & |
---|
536 | exists u(CardinalityMinMax(u, x2, x3) & hasEnd1Cardinality(x1, u)) . |
---|
537 | |
---|
538 | |
---|
539 | CardinalityEnd2Min(x1, x2) <-> |
---|
540 | ClassOfRelationship(x1) & |
---|
541 | INTEGER(x2) & |
---|
542 | exists u(CardinalityMin(u, x2) & hasEnd2Cardinality(x1, u)) . |
---|
543 | |
---|
544 | |
---|
545 | CardinalityEnd2Max(x1, x2) <-> |
---|
546 | ClassOfRelationship(x1) & |
---|
547 | INTEGER(x2) & |
---|
548 | exists u(CardinalityMax(u, x2) & hasEnd2Cardinality(x1, u)) . |
---|
549 | |
---|
550 | |
---|
551 | CardinalityEnd2MinMax(x1, x2, x3) <-> |
---|
552 | ClassOfRelationship(x1) & |
---|
553 | INTEGER(x2) & |
---|
554 | INTEGER(x3) & |
---|
555 | exists u(CardinalityMinMax(u, x2, x3) & hasEnd2Cardinality(x1, u)) . |
---|
556 | |
---|
557 | SymbolOfScale(x1,x2) <-> |
---|
558 | Scale(x1) & |
---|
559 | ExpressString(x2) & |
---|
560 | ClassifiedIdentification(x1, x2, UomSymbolAssignment) . |
---|
561 | |
---|
562 | DimensionUnitNumberRangeOfScale(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 | |
---|
571 | LowerUpperOfNumberRange(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 | |
---|
583 | PropertyRangeMagnitudeRestrictionOfClass(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 | |
---|
596 | TimeRepresentation(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 | |
---|
612 | InstanceOfIndirectProperty(x1, x2, x3) <-> |
---|
613 | ClassOfIndirectProperty(x1) & |
---|
614 | PossibleIndividual(x2) & |
---|
615 | Property(x3) & |
---|
616 | exists u(ClassificationOfRelationship(u, x1) & |
---|
617 | IndirectPropertyTriple(u, x2, x3) |
---|
618 | ) . |
---|
619 | |
---|
620 | IndirectPropertyScaleReal(x1, x2, x3, x4) <-> |
---|
621 | ClassOfIndirectProperty(x1) & |
---|
622 | PossibleIndividual(x2) & |
---|
623 | ExpressReal(x3) & |
---|
624 | Scale(x4) & |
---|
625 | exists u (InstanceOfIndirectProperty(x1, x2, u) & |
---|
626 | RealMagnitudeOfProperty(u, x3, x4) |
---|
627 | ) . |
---|
628 | |
---|
629 | RealMagnitudeOfProperty(x1, x2, x3) <-> |
---|
630 | Property(x1) & |
---|
631 | ExpressReal(x2) & |
---|
632 | Scale(x3) & |
---|
633 | exists u(MagnitudeOfProperty(x1, u, x3) & |
---|
634 | IdentificationByNumber(x2, u) |
---|
635 | ) . |
---|
636 | |
---|
637 | |
---|
638 | GeometryRadius(x1, x2, x3) <-> |
---|
639 | PossibleIndividual(x1) & |
---|
640 | ExpressReal(x2) & |
---|
641 | Scale(x3) & |
---|
642 | exists u1 |
---|
643 | exists u2 |
---|
644 | exists u3 |
---|
645 | exists u4 |
---|
646 | exists u5 |
---|
647 | exists u6 |
---|
648 | ( |
---|
649 | IndividualDimension(u1) & |
---|
650 | Property(u2) & |
---|
651 | PropertyQuantification(u3) & |
---|
652 | RealNumber(u4) & |
---|
653 | Classification(Circle, x1) & |
---|
654 | Classification(Radius, u1) & |
---|
655 | Classification(GeometryLength, u2) & |
---|
656 | Classification(X3, u3) & |
---|
657 | Classification(ZeroToInfinity, u4) & |
---|
658 | DimensionOfIndividual(x1, u1) & |
---|
659 | SpecializationOfIndividualDimensionFromPropertyTriple(u5, u1, u2) & |
---|
660 | ScaleTriple(X3, GeometryLength, ZeroToInfinity) & |
---|
661 | PropertyQuantificationTriple(u3, u2, u4) & |
---|
662 | ClassOfIdentificationTriple(u6, u4, x2) |
---|
663 | ) . |
---|