% % All templates - 2021-03-04T10:51:38Z % % % Proto-templates % ApprovalTriple(x,y,z) <-> Approval(x) & hasApproved(x,y) & hasApprover(x,z) . ApprovalTemplate(x,y) <-> exists z(ApprovalTriple(z,x,y)) . ArrangementOfIndividualTriple(x,y,z) <-> ArrangementOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) . ArrangementOfIndividualTemplate(x,y) <-> exists z(ArrangementOfIndividualTriple(z,x,y)) . AssemblyOfIndividualTriple(x,y,z) <-> AssemblyOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) . AssemblyOfIndividualTemplate(x,y) <-> exists z(AssemblyOfIndividualTriple(z,x,y)) . BeginningTriple(x,y,z) <-> Beginning(x) & hasPart(x,y) & hasWhole(x,z) . BeginningTemplate(x,y) <-> exists z(BeginningTriple(z,x,y)) . BoundaryOfNumberSpaceTriple(x,y,z) <-> BoundaryOfNumberSpace(x) & hasSubclass(x,y) & hasSuperclass(x,z) . BoundaryOfNumberSpaceTemplate(x,y) <-> exists z(BoundaryOfNumberSpaceTriple(z,x,y)) . BoundaryOfPropertySpaceTriple(x,y,z) <-> BoundaryOfPropertySpace(x) & hasSubclass(x,y) & hasSuperclass(x,z) . BoundaryOfPropertySpaceTemplate(x,y) <-> exists z(BoundaryOfPropertySpaceTriple(z,x,y)) . CauseOfEventTriple(x,y,z) <-> CauseOfEvent(x) & hasCaused(x,y) & hasCauser(x,z) . CauseOfEventTemplate(x,y) <-> exists z(CauseOfEventTriple(z,x,y)) . ClassificationTriple(x,y,z) <-> Classification(x) & hasClassified(x,y) & hasClassifier(x,z) . ClassificationTemplate(x,y) <-> exists z(ClassificationTriple(z,x,y)) . ClassOfApprovalTriple(x,y,z) <-> ClassOfApproval(x) & hasClassOfApproved(x,y) & hasClassOfApprover(x,z) . ClassOfApprovalTemplate(x,y) <-> exists z(ClassOfApprovalTriple(z,x,y)) . ClassOfArrangementOfIndividualTriple(x,y,z) <-> ClassOfArrangementOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . ClassOfArrangementOfIndividualTemplate(x,y) <-> exists z(ClassOfArrangementOfIndividualTriple(z,x,y)) . ClassOfAssemblyOfIndividualTriple(x,y,z) <-> ClassOfAssemblyOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . ClassOfAssemblyOfIndividualTemplate(x,y) <-> exists z(ClassOfAssemblyOfIndividualTriple(z,x,y)) . ClassOfCauseOfBeginningOfClassOfIndividualTriple(x,y,z) <-> ClassOfCauseOfBeginningOfClassOfIndividual(x) & hasClassOfBegun(x,y) & hasClassOfCauser(x,z) . ClassOfCauseOfBeginningOfClassOfIndividualTemplate(x,y) <-> exists z(ClassOfCauseOfBeginningOfClassOfIndividualTriple(z,x,y)) . ClassOfCauseOfEndingOfClassOfIndividualTriple(x,y,z) <-> ClassOfCauseOfEndingOfClassOfIndividual(x) & hasClassOfCauser(x,y) & hasClassOfEnded(x,z) . ClassOfCauseOfEndingOfClassOfIndividualTemplate(x,y) <-> exists z(ClassOfCauseOfEndingOfClassOfIndividualTriple(z,x,y)) . ClassOfClassificationTriple(x,y,z) <-> ClassOfClassification(x) & hasClassOfClassified(x,y) & hasClassOfClassifier(x,z) . ClassOfClassificationTemplate(x,y) <-> exists z(ClassOfClassificationTriple(z,x,y)) . ClassOfClassOfCompositionTriple(x,y,z) <-> ClassOfClassOfComposition(x) & hasClassOfClassOfPart(x,y) & hasClassOfClassOfWhole(x,z) . ClassOfClassOfCompositionTemplate(x,y) <-> exists z(ClassOfClassOfCompositionTriple(z,x,y)) . ClassOfClassOfDefinitionTriple(x,y,z) <-> ClassOfClassOfDefinition(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) . ClassOfClassOfDefinitionTemplate(x,y) <-> exists z(ClassOfClassOfDefinitionTriple(z,x,y)) . ClassOfClassOfDescriptionTriple(x,y,z) <-> ClassOfClassOfDescription(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) . ClassOfClassOfDescriptionTemplate(x,y) <-> exists z(ClassOfClassOfDescriptionTriple(z,x,y)) . ClassOfClassOfIdentificationTriple(x,y,z) <-> ClassOfClassOfIdentification(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) . ClassOfClassOfIdentificationTemplate(x,y) <-> exists z(ClassOfClassOfIdentificationTriple(z,x,y)) . ClassOfClassOfRelationshipWithSignatureTriple(x,y,z) <-> ClassOfClassOfRelationshipWithSignature(x) & hasClassOfEnd1(x,y) & hasClassOfEnd2(x,z) . ClassOfClassOfRelationshipWithSignatureTemplate(x,y) <-> exists z(ClassOfClassOfRelationshipWithSignatureTriple(z,x,y)) . ClassOfClassOfRepresentationTriple(x,y,z) <-> ClassOfClassOfRepresentation(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) . ClassOfClassOfRepresentationTemplate(x,y) <-> exists z(ClassOfClassOfRepresentationTriple(z,x,y)) . ClassOfClassOfRepresentationTranslationTriple(x,y,z) <-> ClassOfClassOfRepresentationTranslation(x) & hasClassOfFirst(x,y) & hasClassOfSecond(x,z) . ClassOfClassOfRepresentationTranslationTemplate(x,y) <-> exists z(ClassOfClassOfRepresentationTranslationTriple(z,x,y)) . ClassOfClassOfResponsibilityForRepresentationTriple(x,y,z) <-> ClassOfClassOfResponsibilityForRepresentation(x) & hasClassOfClassOfControlled(x,y) & hasController(x,z) . ClassOfClassOfResponsibilityForRepresentationTemplate(x,y) <-> exists z(ClassOfClassOfResponsibilityForRepresentationTriple(z,x,y)) . ClassOfClassOfUsageOfRepresentationTriple(x,y,z) <-> ClassOfClassOfUsageOfRepresentation(x) & hasClassOfClassOfUsed(x,y) & hasUser(x,z) . ClassOfClassOfUsageOfRepresentationTemplate(x,y) <-> exists z(ClassOfClassOfUsageOfRepresentationTriple(z,x,y)) . ClassOfCompositionOfIndividualTriple(x,y,z) <-> ClassOfCompositionOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . ClassOfCompositionOfIndividualTemplate(x,y) <-> exists z(ClassOfCompositionOfIndividualTriple(z,x,y)) . ClassOfConnectionOfIndividualTriple(x,y,z) <-> ClassOfConnectionOfIndividual(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) . ClassOfConnectionOfIndividualTemplate(x,y) <-> exists z(ClassOfConnectionOfIndividualTriple(z,x,y)) . ClassOfContainmentOfIndividualTriple(x,y,z) <-> ClassOfContainmentOfIndividual(x) & hasClassOfLocated(x,y) & hasClassOfLocator(x,z) . ClassOfContainmentOfIndividualTemplate(x,y) <-> exists z(ClassOfContainmentOfIndividualTriple(z,x,y)) . ClassOfDefinitionTriple(x,y,z) <-> ClassOfDefinition(x) & hasPattern(x,y) & hasRepresented(x,z) . ClassOfDefinitionTemplate(x,y) <-> exists z(ClassOfDefinitionTriple(z,x,y)) . ClassOfDescriptionTriple(x,y,z) <-> ClassOfDescription(x) & hasPattern(x,y) & hasRepresented(x,z) . ClassOfDescriptionTemplate(x,y) <-> exists z(ClassOfDescriptionTriple(z,x,y)) . ClassOfDimensionForShapeTriple(x,y,z) <-> ClassOfDimensionForShape(x) & hasClassOfDimension(x,y) & hasClassOfShape(x,z) . ClassOfDimensionForShapeTemplate(x,y) <-> exists z(ClassOfDimensionForShapeTriple(z,x,y)) . ClassOfDirectConnectionTriple(x,y,z) <-> ClassOfDirectConnection(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) . ClassOfDirectConnectionTemplate(x,y) <-> exists z(ClassOfDirectConnectionTriple(z,x,y)) . ClassOfFeatureWholePartTriple(x,y,z) <-> ClassOfFeatureWholePart(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . ClassOfFeatureWholePartTemplate(x,y) <-> exists z(ClassOfFeatureWholePartTriple(z,x,y)) . ClassOfFunctionalMappingTriple(x,y,z) <-> ClassOfFunctionalMapping(x) & hasCodomain(x,y) & hasDomain(x,z) . ClassOfFunctionalMappingTemplate(x,y) <-> exists z(ClassOfFunctionalMappingTriple(z,x,y)) . ClassOfIdentificationTriple(x,y,z) <-> ClassOfIdentification(x) & hasPattern(x,y) & hasRepresented(x,z) . ClassOfIdentificationTemplate(x,y) <-> exists z(ClassOfIdentificationTriple(z,x,y)) . ClassOfIndirectConnectionTriple(x,y,z) <-> ClassOfIndirectConnection(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) . ClassOfIndirectConnectionTemplate(x,y) <-> exists z(ClassOfIndirectConnectionTriple(z,x,y)) . ClassOfIndirectPropertyTriple(x,y,z) <-> ClassOfIndirectProperty(x) & hasClassOfPossessor(x,y) & hasPropertySpace(x,z) . ClassOfIndirectPropertyTemplate(x,y) <-> exists z(ClassOfIndirectPropertyTriple(z,x,y)) . ClassOfIndividualUsedInConnectionTriple(x,y,z) <-> ClassOfIndividualUsedInConnection(x) & hasClassOfConnection(x,y) & hasClassOfUsage(x,z) . ClassOfIndividualUsedInConnectionTemplate(x,y) <-> exists z(ClassOfIndividualUsedInConnectionTriple(z,x,y)) . ClassOfIntendedRoleAndDomainTriple(x,y,z) <-> ClassOfIntendedRoleAndDomain(x) & hasClassOfPlayer(x,y) & hasPlayed(x,z) . ClassOfIntendedRoleAndDomainTemplate(x,y) <-> exists z(ClassOfIntendedRoleAndDomainTriple(z,x,y)) . ClassOfInvolvementByReferenceTriple(x,y,z) <-> ClassOfInvolvementByReference(x) & hasClassOfInvolved(x,y) & hasClassOfInvolver(x,z) . ClassOfInvolvementByReferenceTemplate(x,y) <-> exists z(ClassOfInvolvementByReferenceTriple(z,x,y)) . ClassOfIsomorphicFunctionalMappingTriple(x,y,z) <-> ClassOfIsomorphicFunctionalMapping(x) & hasCodomain(x,y) & hasDomain(x,z) . ClassOfIsomorphicFunctionalMappingTemplate(x,y) <-> exists z(ClassOfIsomorphicFunctionalMappingTriple(z,x,y)) . ClassOfLeftNamespaceTriple(x,y,z) <-> ClassOfLeftNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) . ClassOfLeftNamespaceTemplate(x,y) <-> exists z(ClassOfLeftNamespaceTriple(z,x,y)) . ClassOfNamespaceTriple(x,y,z) <-> ClassOfNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) . ClassOfNamespaceTemplate(x,y) <-> exists z(ClassOfNamespaceTriple(z,x,y)) . ClassOfParticipationTriple(x,y,z) <-> ClassOfParticipation(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . ClassOfParticipationTemplate(x,y) <-> exists z(ClassOfParticipationTriple(z,x,y)) . ClassOfPossibleRoleAndDomainTriple(x,y,z) <-> ClassOfPossibleRoleAndDomain(x) & hasClassOfPlayer(x,y) & hasPlayed(x,z) . ClassOfPossibleRoleAndDomainTemplate(x,y) <-> exists z(ClassOfPossibleRoleAndDomainTriple(z,x,y)) . ClassOfRecognitionTriple(x,y,z) <-> ClassOfRecognition(x) & hasClassOfRecognized(x,y) & hasClassOfRecognizing(x,z) . ClassOfRecognitionTemplate(x,y) <-> exists z(ClassOfRecognitionTriple(z,x,y)) . ClassOfRelationshipTriple(x,y,z) <-> ClassOfRelationship(x) & hasEnd1Cardinality(x,y) & hasEnd2Cardinality(x,z) . ClassOfRelationshipTemplate(x,y) <-> exists z(ClassOfRelationshipTriple(z,x,y)) . ClassOfRelationshipWithSignatureTriple(x,y,z) <-> ClassOfRelationshipWithSignature(x) & hasClassOfEnd1(x,y) & hasClassOfEnd2(x,z) . ClassOfRelationshipWithSignatureTemplate(x,y) <-> exists z(ClassOfRelationshipWithSignatureTriple(z,x,y)) . ClassOfRelativeLocationTriple(x,y,z) <-> ClassOfRelativeLocation(x) & hasClassOfLocated(x,y) & hasClassOfLocator(x,z) . ClassOfRelativeLocationTemplate(x,y) <-> exists z(ClassOfRelativeLocationTriple(z,x,y)) . ClassOfRepresentationOfThingTriple(x,y,z) <-> ClassOfRepresentationOfThing(x) & hasPattern(x,y) & hasRepresented(x,z) . ClassOfRepresentationOfThingTemplate(x,y) <-> exists z(ClassOfRepresentationOfThingTriple(z,x,y)) . ClassOfRepresentationTranslationTriple(x,y,z) <-> ClassOfRepresentationTranslation(x) & hasClassOfFirst(x,y) & hasClassOfSecond(x,z) . ClassOfRepresentationTranslationTemplate(x,y) <-> exists z(ClassOfRepresentationTranslationTriple(z,x,y)) . ClassOfResponsibilityForRepresentationTriple(x,y,z) <-> ClassOfResponsibilityForRepresentation(x) & hasClassOfControlled(x,y) & hasController(x,z) . ClassOfResponsibilityForRepresentationTemplate(x,y) <-> exists z(ClassOfResponsibilityForRepresentationTriple(z,x,y)) . ClassOfRightNamespaceTriple(x,y,z) <-> ClassOfRightNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) . ClassOfRightNamespaceTemplate(x,y) <-> exists z(ClassOfRightNamespaceTriple(z,x,y)) . ClassOfScaleConversionTriple(x,y,z) <-> ClassOfScaleConversion(x) & hasCodomain(x,y) & hasDomain(x,z) . ClassOfScaleConversionTemplate(x,y) <-> exists z(ClassOfScaleConversionTriple(z,x,y)) . ClassOfSpecializationTriple(x,y,z) <-> ClassOfSpecialization(x) & hasClassOfSubclass(x,y) & hasClassOfSuperclass(x,z) . ClassOfSpecializationTemplate(x,y) <-> exists z(ClassOfSpecializationTriple(z,x,y)) . ClassOfTemporalSequenceTriple(x,y,z) <-> ClassOfTemporalSequence(x) & hasClassOfPredecessor(x,y) & hasClassOfSuccessor(x,z) . ClassOfTemporalSequenceTemplate(x,y) <-> exists z(ClassOfTemporalSequenceTriple(z,x,y)) . ClassOfTemporalWholePartTriple(x,y,z) <-> ClassOfTemporalWholePart(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . ClassOfTemporalWholePartTemplate(x,y) <-> exists z(ClassOfTemporalWholePartTriple(z,x,y)) . ClassOfUsageOfRepresentationTriple(x,y,z) <-> ClassOfUsageOfRepresentation(x) & hasClassOfUsed(x,y) & hasUser(x,z) . ClassOfUsageOfRepresentationTemplate(x,y) <-> exists z(ClassOfUsageOfRepresentationTriple(z,x,y)) . ComparisonOfPropertyTriple(x,y,z) <-> ComparisonOfProperty(x) & hasGreaterElement(x,y) & hasLesserElement(x,z) . ComparisonOfPropertyTemplate(x,y) <-> exists z(ComparisonOfPropertyTriple(z,x,y)) . CompositionOfIndividualTriple(x,y,z) <-> CompositionOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) . CompositionOfIndividualTemplate(x,y) <-> exists z(CompositionOfIndividualTriple(z,x,y)) . ConnectionOfIndividualTriple(x,y,z) <-> ConnectionOfIndividual(x) & hasSide1(x,y) & hasSide2(x,z) . ConnectionOfIndividualTemplate(x,y) <-> exists z(ConnectionOfIndividualTriple(z,x,y)) . ContainmentOfIndividualTriple(x,y,z) <-> ContainmentOfIndividual(x) & hasLocated(x,y) & hasLocator(x,z) . ContainmentOfIndividualTemplate(x,y) <-> exists z(ContainmentOfIndividualTriple(z,x,y)) . CoordinateSystemTriple(x,y,z) <-> CoordinateSystem(x) & hasCodomain(x,y) & hasDomain(x,z) . CoordinateSystemTemplate(x,y) <-> exists z(CoordinateSystemTriple(z,x,y)) . DefinitionTriple(x,y,z) <-> Definition(x) & hasRepresented(x,y) & hasSign(x,z) . DefinitionTemplate(x,y) <-> exists z(DefinitionTriple(z,x,y)) . DescriptionTriple(x,y,z) <-> Description(x) & hasRepresented(x,y) & hasSign(x,z) . DescriptionTemplate(x,y) <-> exists z(DescriptionTriple(z,x,y)) . DifferenceOfSetOfClassTriple(x,y,z) <-> DifferenceOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) . DifferenceOfSetOfClassTemplate(x,y) <-> exists z(DifferenceOfSetOfClassTriple(z,x,y)) . DimensionOfIndividualTriple(x,y,z) <-> DimensionOfIndividual(x) & hasIndividual(x,y) & hasIndividualDimension(x,z) . DimensionOfIndividualTemplate(x,y) <-> exists z(DimensionOfIndividualTriple(z,x,y)) . DimensionOfShapeTriple(x,y,z) <-> DimensionOfShape(x) & hasDimension(x,y) & hasShape(x,z) . DimensionOfShapeTemplate(x,y) <-> exists z(DimensionOfShapeTriple(z,x,y)) . DirectConnectionTriple(x,y,z) <-> DirectConnection(x) & hasSide1(x,y) & hasSide2(x,z) . DirectConnectionTemplate(x,y) <-> exists z(DirectConnectionTriple(z,x,y)) . EndingTriple(x,y,z) <-> Ending(x) & hasPart(x,y) & hasWhole(x,z) . EndingTemplate(x,y) <-> exists z(EndingTriple(z,x,y)) . FeatureWholePartTriple(x,y,z) <-> FeatureWholePart(x) & hasPart(x,y) & hasWhole(x,z) . FeatureWholePartTemplate(x,y) <-> exists z(FeatureWholePartTriple(z,x,y)) . FunctionalMappingTriple(x,y,z) <-> FunctionalMapping(x) & hasInput(x,y) & hasResult(x,z) . FunctionalMappingTemplate(x,y) <-> exists z(FunctionalMappingTriple(z,x,y)) . IdentificationTriple(x,y,z) <-> Identification(x) & hasRepresented(x,y) & hasSign(x,z) . IdentificationTemplate(x,y) <-> exists z(IdentificationTriple(z,x,y)) . IndirectConnectionTriple(x,y,z) <-> IndirectConnection(x) & hasSide1(x,y) & hasSide2(x,z) . IndirectConnectionTemplate(x,y) <-> exists z(IndirectConnectionTriple(z,x,y)) . IndirectPropertyTriple(x,y,z) <-> IndirectProperty(x) & hasPossessor(x,y) & hasProperty(x,z) . IndirectPropertyTemplate(x,y) <-> exists z(IndirectPropertyTriple(z,x,y)) . IndividualUsedInConnectionTriple(x,y,z) <-> IndividualUsedInConnection(x) & hasConnection(x,y) & hasUsage(x,z) . IndividualUsedInConnectionTemplate(x,y) <-> exists z(IndividualUsedInConnectionTriple(z,x,y)) . IntendedRoleAndDomainTriple(x,y,z) <-> IntendedRoleAndDomain(x) & hasPlayed(x,y) & hasPlayer(x,z) . IntendedRoleAndDomainTemplate(x,y) <-> exists z(IntendedRoleAndDomainTriple(z,x,y)) . IntersectionOfSetOfClassTriple(x,y,z) <-> IntersectionOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) . IntersectionOfSetOfClassTemplate(x,y) <-> exists z(IntersectionOfSetOfClassTriple(z,x,y)) . InvolvementByReferenceTriple(x,y,z) <-> InvolvementByReference(x) & hasInvolved(x,y) & hasInvolver(x,z) . InvolvementByReferenceTemplate(x,y) <-> exists z(InvolvementByReferenceTriple(z,x,y)) . LeftNamespaceTriple(x,y,z) <-> LeftNamespace(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . LeftNamespaceTemplate(x,y) <-> exists z(LeftNamespaceTriple(z,x,y)) . LifecycleStageTriple(x,y,z) <-> LifecycleStage(x) & hasInterest(x,y) & hasInterested(x,z) . LifecycleStageTemplate(x,y) <-> exists z(LifecycleStageTriple(z,x,y)) . LowerBoundOfNumberRangeTriple(x,y,z) <-> LowerBoundOfNumberRange(x) & hasClassified(x,y) & hasClassifier(x,z) . LowerBoundOfNumberRangeTemplate(x,y) <-> exists z(LowerBoundOfNumberRangeTriple(z,x,y)) . LowerBoundOfPropertyRangeTriple(x,y,z) <-> LowerBoundOfPropertyRange(x) & hasClassified(x,y) & hasClassifier(x,z) . LowerBoundOfPropertyRangeTemplate(x,y) <-> exists z(LowerBoundOfPropertyRangeTriple(z,x,y)) . MultidimensionalScaleTriple(x,y,z) <-> MultidimensionalScale(x) & hasCodomain(x,y) & hasDomain(x,z) . MultidimensionalScaleTemplate(x,y) <-> exists z(MultidimensionalScaleTriple(z,x,y)) . NamespaceTriple(x,y,z) <-> Namespace(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . NamespaceTemplate(x,y) <-> exists z(NamespaceTriple(z,x,y)) . OtherRelationshipTriple(x,y,z) <-> OtherRelationship(x) & hasEnd1(x,y) & hasEnd2(x,z) . OtherRelationshipTemplate(x,y) <-> exists z(OtherRelationshipTriple(z,x,y)) . ParticipationTriple(x,y,z) <-> Participation(x) & hasPart(x,y) & hasWhole(x,z) . ParticipationTemplate(x,y) <-> exists z(ParticipationTriple(z,x,y)) . PossibleRoleAndDomainTriple(x,y,z) <-> PossibleRoleAndDomain(x) & hasPlayed(x,y) & hasPlayer(x,z) . PossibleRoleAndDomainTemplate(x,y) <-> exists z(PossibleRoleAndDomainTriple(z,x,y)) . PropertyForShapeDimensionTriple(x,y,z) <-> PropertyForShapeDimension(x) & hasProperty(x,y) & hasShapeDimension(x,z) . PropertyForShapeDimensionTemplate(x,y) <-> exists z(PropertyForShapeDimensionTriple(z,x,y)) . PropertyQuantificationTriple(x,y,z) <-> PropertyQuantification(x) & hasInput(x,y) & hasResult(x,z) . PropertyQuantificationTemplate(x,y) <-> exists z(PropertyQuantificationTriple(z,x,y)) . PropertySpaceForClassOfShapeDimensionTriple(x,y,z) <-> PropertySpaceForClassOfShapeDimension(x) & hasClassOfShapeDimension(x,y) & hasPropertySpace(x,z) . PropertySpaceForClassOfShapeDimensionTemplate(x,y) <-> exists z(PropertySpaceForClassOfShapeDimensionTriple(z,x,y)) . RecognitionTriple(x,y,z) <-> Recognition(x) & hasRecognized(x,y) & hasRecognizing(x,z) . RecognitionTemplate(x,y) <-> exists z(RecognitionTriple(z,x,y)) . RelativeLocationTriple(x,y,z) <-> RelativeLocation(x) & hasLocated(x,y) & hasLocator(x,z) . RelativeLocationTemplate(x,y) <-> exists z(RelativeLocationTriple(z,x,y)) . RepresentationOfThingTriple(x,y,z) <-> RepresentationOfThing(x) & hasRepresented(x,y) & hasSign(x,z) . RepresentationOfThingTemplate(x,y) <-> exists z(RepresentationOfThingTriple(z,x,y)) . ResponsibilityForRepresentationTriple(x,y,z) <-> ResponsibilityForRepresentation(x) & hasControlled(x,y) & hasController(x,z) . ResponsibilityForRepresentationTemplate(x,y) <-> exists z(ResponsibilityForRepresentationTriple(z,x,y)) . RightNamespaceTriple(x,y,z) <-> RightNamespace(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . RightNamespaceTemplate(x,y) <-> exists z(RightNamespaceTriple(z,x,y)) . ScaleTriple(x,y,z) <-> Scale(x) & hasCodomain(x,y) & hasDomain(x,z) . ScaleTemplate(x,y) <-> exists z(ScaleTriple(z,x,y)) . SpecializationTriple(x,y,z) <-> Specialization(x) & hasSubclass(x,y) & hasSuperclass(x,z) . SpecializationTemplate(x,y) <-> exists z(SpecializationTriple(z,x,y)) . SpecializationByDomainTriple(x,y,z) <-> SpecializationByDomain(x) & hasSubclass(x,y) & hasSuperclass(x,z) . SpecializationByDomainTemplate(x,y) <-> exists z(SpecializationByDomainTriple(z,x,y)) . SpecializationByRoleTriple(x,y,z) <-> SpecializationByRole(x) & hasSubclass(x,y) & hasSuperclass(x,z) . SpecializationByRoleTemplate(x,y) <-> exists z(SpecializationByRoleTriple(z,x,y)) . SpecializationOfIndividualDimensionFromPropertyTriple(x,y,z) <-> SpecializationOfIndividualDimensionFromProperty(x) & hasSubclass(x,y) & hasSuperclass(x,z) . SpecializationOfIndividualDimensionFromPropertyTemplate(x,y) <-> exists z(SpecializationOfIndividualDimensionFromPropertyTriple(z,x,y)) . TemporalBoundingTriple(x,y,z) <-> TemporalBounding(x) & hasPart(x,y) & hasWhole(x,z) . TemporalBoundingTemplate(x,y) <-> exists z(TemporalBoundingTriple(z,x,y)) . TemporalSequenceTriple(x,y,z) <-> TemporalSequence(x) & hasPredecessor(x,y) & hasSuccessor(x,z) . TemporalSequenceTemplate(x,y) <-> exists z(TemporalSequenceTriple(z,x,y)) . TemporalWholePartTriple(x,y,z) <-> TemporalWholePart(x) & hasPart(x,y) & hasWhole(x,z) . TemporalWholePartTemplate(x,y) <-> exists z(TemporalWholePartTriple(z,x,y)) . UnionOfSetOfClassTriple(x,y,z) <-> UnionOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) . UnionOfSetOfClassTemplate(x,y) <-> exists z(UnionOfSetOfClassTriple(z,x,y)) . UpperBoundOfNumberRangeTriple(x,y,z) <-> UpperBoundOfNumberRange(x) & hasClassified(x,y) & hasClassifier(x,z) . UpperBoundOfNumberRangeTemplate(x,y) <-> exists z(UpperBoundOfNumberRangeTriple(z,x,y)) . UpperBoundOfPropertyRangeTriple(x,y,z) <-> UpperBoundOfPropertyRange(x) & hasClassified(x,y) & hasClassifier(x,z) . UpperBoundOfPropertyRangeTemplate(x,y) <-> exists z(UpperBoundOfPropertyRangeTriple(z,x,y)) . UsageOfRepresentationTriple(x,y,z) <-> UsageOfRepresentation(x) & hasUsed(x,y) & hasUser(x,z) . UsageOfRepresentationTemplate(x,y) <-> exists z(UsageOfRepresentationTriple(z,x,y)) . % % ENTITY TRIPLES % 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)) . % % Base Templates % % % TEMPLATES ABOUT CLASS - ACTIVITY % % ClassOfParticipationDefinition % ClassOfParticipationDefinition(hasActivityType, hasParticipantType, hasParticipantRole, hasDefined, hasCardinalityOfActivity, hasCardinalityOfParticipant) <-> ClassOfActivity(hasActivityType) & ClassOfPhysicalObject(hasParticipantType) & Role(hasParticipantRole) & ClassOfParticipation(hasDefined) & Cardinality(hasCardinalityOfActivity) & Cardinality(hasCardinalityOfParticipant) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, hasActivityType) & ClassOfActivity(u1) & ParticipatingRoleAndDomain(u2) ClassOfTemporalWholePartTemplate(u3, hasParticipantType) & ClassOfPhysicalObject(u3) & SpecializationByDomainTemplate(u2, u3) & SpecializationByRoleTemplate(u2, hasParticipantRole) & ClassOfParticipationTriple(hasDefined, u2, u1) & hasEnd1Cardinality(x4, hasCardinalityOfActivity) & hasEnd2Cardinality(x4, hasCardinalityOfParticipant)) . % ClassOfDualParticipationDefinition % ClassOfDualParticipationDefinition(hasActivityType, hasParticipant1, hasParticipantRole1, hasDefined1, hasParticipant2, hasParticipantRole2, hasDefined2) <-> ClassOfActivity(hasActivityType) & ClassOfPhysicalObject(hasParticipant1) & Role(hasParticipantRole1) & ClassOfParticipation(hasDefined1) & ClassOfPhysicalObject(hasParticipant2) & Role(hasParticipantRole2) & ClassOfParticipation(hasDefined2) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, hasActivityType) & ClassOfActivity(u1) & ClassOfTemporalWholePartTemplate(u2, hasParticipant1) & ClassOfPhysicalObject(u2) & SpecializationByDomainTemplate(u3, u2) & ParticipatingRoleAndDomain(u3) & SpecializationByRoleTemplate(u3, hasParticipantRole1) & ClassOfParticipationTriple(hasDefined1, u3, u1) & ClassOfTemporalWholePartTemplate(u4, hasParticipant2) & ClassOfPhysicalObject(u4) & SpecializationByDomainTemplate(u5, u4) & ParticipatingRoleAndDomain(u5) & SpecializationByRoleTemplate(u5, hasParticipantRole2) & ClassOfParticipationTriple(hasDefined2, u5, u1)) . % ClassOfParticipationApplicableYesNo % ClassOfParticipationApplicableYesNo(hasActivityType, hasParticipantType, hasParticipantRole, hasApplicableYesNo, hasCardinalityOfActivity, hasCardinalityOfParticipant) <-> ClassOfActivity(hasActivityType) & ClassOfIndividual(hasParticipantType) & Role(hasParticipantRole) & ClassOfAssertion(hasApplicableYesNo) & Cardinality(hasCardinalityOfActivity) & Cardinality(hasCardinalityOfParticipant) & exists u1 exists u2 exists u3 exists u4( ClassOfTemporalWholePartTemplate(u1, hasActivityType) & ClassOfActivity(u1) & SpecializationTemplate(u2, hasApplicableYesNo) & ClassOfParticipationTriple(u2, u3, u1) & hasEnd1Cardinality(u2, hasCardinalityOfParticipant) & hasEnd2Cardinality(u2, hasCardinalityOfActivity) & ParticipatingRoleAndDomain(u3) & SpecializationByDomainTemplate(u3, u4) & SpecializationByRoleTemplate(u3, hasParticipantRole) & ClassOfTemporalWholePartTemplate(u4, hasParticipantType) & ClassOfIndividual(u4)) . % ClassOfParticipationAndInvolvementByReferenceDefinition % ClassOfParticipationAndInvolvementByReferenceDefinition(hasActivityType, hasParticipant, hasParticipantRole, hasDefined1, hasInvolved, hasInvolvementRole, hasDefined2) <-> ClassOfActivity(hasActivityType) & ClassOfPhysicalObject(hasParticipant) & Role(hasParticipantRole) & ClassOfParticipation(hasDefined1) & ClassOfPhysicalObject(hasInvolved) & Role(hasInvolvementRole) & ClassOfParticipation(hasDefined2) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, hasActivityType) & ClassOfActivity(u1) & ClassOfTemporalWholePartTemplate(u2, hasParticipant) & ClassOfPhysicalObject(u2) & SpecializationByDomainTemplate(u3, u2) & ParticipatingRoleAndDomain(u3) & SpecializationByRoleTemplate(u3, hasParticipantRole) & ClassOfParticipationTriple(hasDefined1, u3, u1) & ClassOfTemporalWholePartTemplate(u4, hasInvolved) & ClassOfPhysicalObject(u4) & SpecializationByDomainTemplate(u5, u4) & RoleAndDomain(u5) & SpecializationByRoleTemplate(u5, hasInvolvementRole) & ClassOfInvolvementByReferenceTriple(hasDefined2, u5, u1)) . % ClassOfInvolvementByReferenceDefinition % ClassOfInvolvementByReferenceDefinition(hasActivityType, hasInvolvedType, hasInvolvementRole, hasDefinition, hasCardinalityOfInvolved, hasCardinalityOfActivity) <-> ClassOfActivity(hasActivityType) & Class(hasInvolvedType) & Role(hasInvolvementRole) & ClassOfInvolvementByReference(hasDefined) & Cardinality(hasCardinalityOfInvolved) & Cardinality(hasCardinalityOfActivity) & exists u1 exists u2 exists u3( ClassOfActivity(u1) & ClassOfTemporalWholePartTemplate(u1, hasActivityType) & ClassOfInvolvementByReferenceTriple(hasDefined, u2, u1)& hasEnd1Cardinality(hasDefined, hasCardinalityOfActivity) & hasEnd2Cardinality(hasDefined, hasCardinalityOfInvolved) & RoleAndDomain(u2) & SpecializationByRoleTemplate(u2, hasInvolvementRole) & SpecializationByDomainTemplate(u2, u4) & Class(u3) & ClassOfTemporalWholePartTemplate(u3, hasInvolvedType)) . % InvolvementByReferenceOfClassInActivity % InvolvementByReferenceOfClassInActivity(x1, x2, x3) <-> Activity(x1) & ClassOfIndividual(x2) & Role(x3) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( TemporalWholePartTemplate(u1, x1) & Activity(u1) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfIndividual(u2) & InvolvementByReferenceTriple(u3, u2, u1) & ClassificationTemplate(u3,u4) & ClassOfInvolvementByReference(u4) & ParticipatingRoleAndDomain(u5) & SpecializationByRoleTemplate(u5, x3) & BeginningTemplate(u6, u1) & PointInTime(u6) & ClassOfIdentificationTemplate(u7, u6) & RepresentationOfGregorianDateAndUtcTime(u7)) . % ClassOfRecognitionDefinition % ClassOfRecognitionDefinition(hasActivityType, hasRecognized, hasDefined, hasCardinalityOfActivity, hasCardinalityOfRecognized) <-> ClassOfActivity(hasActivityType) & lci_Template(hasRecognized) & ClassOfRecognition(hasDefined) & Cardinality(hasCardinalityOfActivity) & Cardinality(hasCardinalityOfRecognized) & exists u( ClassOfTemporalWholePartTemplate(u, hasActivityType) & ClassOfActivity(u) & ClassOfRecognitionTriple(hasDefined, hasRecognized, u) & hasEnd1Cardinality(hasDefined, hasCardinalityOfRecognized) & hasEnd2Cardinality(hasDefined, hasCardinalityOfActivity)) . % ClassOfCauseOfBeginningOfClassOfIndividualDefinition % ClassOfCauseOfBeginningOfClassOfIndividualDefinition(hasActivityType, hasIndividualType, hasCardinalityOfActivity, hasCardinalityOfIndividual) <-> ClassOfActivity(hasActivityType) & ClassOfIndividual(hasIndividualType) & Cardinality(hasCardinalityOfActivity) & Cardinality(hasCardinalityOfIndividual) & exists u1 exists u2 exists u3( ClassOfActivity(u1) & ClassOfTemporalWholePartTemplate(u1, hasActivityType) & ClassOfCauseOfBeginningOfClassOfIndividualTriple(u3, u2, u1) & hasEnd1Cardinality(u3, hasCardinalityOfIndividual) & hasEnd2Cardinality(u3, hasCardinalityOfActivity) & ClassOfIndividual(u2) & ClassOfTemporalWholePartTemplate(u2, hasIndividualType)) . % ClassOfCauseOfEndingOfClassOfIndividualDefinition % ClassOfCauseOfEndingOfClassOfIndividualDefinition(x1, x2, x3, x4, x5) <-> ClassOfActivity(x1) & ClassOfIndividual(x2) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2( ClassOfActivity(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfCauseOfEndingOfClassOfIndividualTriple(x3, u1, u2) & hasEnd1Cardinality(x3, x5) & hasEnd2Cardinality(x3, x4) & ClassOfIndividual(u2) & ClassOfTemporalWholePartTemplate(u2, x2)) . % % TEMPLATES ABOUT CLASS - CLASSIFICATION % % ClassificationOfClassOfIndividual % ClassificationOfClassOfIndividual(x1, x2) <-> ClassOfIndividual(x1) & ClassOfClass(x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfIndividual(u) & ClassOfClassificationTemplate(u, x2)) . % ClassificationWithRdlSubjectArea % ClassificationOfClassOfIndividual(x1, x2) <-> ClassOfIndividual(x1) & ClassOfClass(x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfIndividual(u) & ClassOfClassificationTemplate(u, x2)) . % ClassificationOfClassOfIndividualApplicableYesNo % ClassificationOfClassOfIndividualApplicableYesNo(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfClassOf(x2) & ClassOfAssertion(x3) & exists u1 exists u2( ClassOfArrangedIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassificationTriple(u2, u1, x2) & ClassificationTemplate(u2, x3)) . % % TEMPLATES ABOUT CLASS - PROPERTY-CLASSOF % % ReferencePropertyRangeWithValues % ReferencePropertyRangeWithValues(x1, x2, x3, x4, x5) <-> ClassOfPropertySpace(x1) & PropertyRange(x2) & ExpressReal(x3) & ExpressReal(x4) & Scale(x5) & ClassificationTemplate(x2, x1) & exists u1 exists u2 exists u3( LowerBoundOfPropertyRangeTemplate(u1, x2) & Property(u1) & ClassificationTemplate(u2, x5) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & ClassOfIdentificationTemplate(x3, u3)) & exists v1 exists v2 exists v3( UpperBoundOfPropertyRangeTemplate(v1, x2) & Property(v1) & ClassificationTemplate(v2, x5) & PropertyQuantificationTriple(v2, v1, v3) & RealNumber(v3) & ClassOfIdentificationTemplate(x4, v3)) . % ClassOfIndividualHasReferencePropertyRange % ClassOfIndividualHasReferencePropertyRange(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfPropertySpace(x2) & PropertyRange(x3) & ClassificationTemplate(x3, x2) & exists u1 exists u2 exists u3( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfClassificationTriple(u2, u1, x3) & tpl_Cardinality_1to1(u3) & end1Cardinality(u2, u3)) . % ClassOfIndividualHasPropertyRangeWithBoundingValues % ClassOfIndividualHasPropertyRangeWithBoundingValues(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & ClassOfPropertySpace(x2) & ExpressReal(x3) & ExpressReal(x4) & Scale(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfClassificationTriple(u2, u1, u4) & tpl_Cardinality_1to1(u3) & end1Cardinality(u2, u3) & PropertyRange(u4) & ClassificationTemplate(u4, x2) & LowerBoundOfPropertyRangeTemplate(u5, u4) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x5) & RealNumber(u7) & ClassOfIdentificationTemplate(x3, u7) & UpperBoundOfPropertyRangeTemplate(u8, u4) & Property(u8) & PropertyQuantificationTriple(u9, u8, u10) & ClassificationTemplate(u9, x5) & RealNumber(u10) & ClassOfIdentificationTemplate(x4, u10)) . % ClassOfIndividualHasTwoDimensionalPropertyRange % ClassOfIndividualHasTwoDimensionalPropertyRange(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) <-> ClassOfIndividual(x1) & ClassOfMultidimensionalObject(x2) & SinglePropertyDimension(x3) & ExpressReal(x4) & ExpressReal(x5) & Scale(x6) & SinglePropertyDimension(x7) & ExpressReal(x8) & ExpressReal(x9) & Scale(x10) & exists p1 exists p2 exists p3 exists p4 exists q1 exists q2 exists q3 exists u1 exists u2 exists u3 exists u4 exists v1 exists v2 exists v3 exists w1 exists w2( ClassOfIndividual(w1) & ClassOfTemporalWholePartTemplate(w1, x1) & SpecializationTemplate(w2, w1)) & MultidimensionalPropertySpace(w2) & ClassificationTemplate(w2, x2) & PropertyRange(u4) & hasElement1(x3, u4) & SpecializationTemplate(u4, x4) & Property(u1) & LowerBoundOfPropertyRangeTemplate(u1, u4) & PropertyQuantificationTriple(u2, u1, u3) & ClassificationTemplate(u2, x7) & RealNumber(u3) & ClassOfIdentificationTemplate(x5, u3) & Property(v1) & UpperBoundOfPropertyRangeTemplate(v1, u4) & PropertyQuantificationTriple(v2, v1, v3) & ClassificationTemplate(v2, x7) & RealNumber(v3) & ClassOfIdentificationTemplate(x6, v3)) & PropertyRange(p4) & hasElement2(x3, p4) & SpecializationTemplate(p4, x8) & Property(p1) & LowerBoundOfPropertyRangeTemplate(p1, p4) & PropertyQuantificationTriple(p2, p1, p3) & ClassificationTemplate(p2, x11) & RealNumber(p3) & ClassOfIdentificationTemplate(x9, p3) & Property(q1) & UpperBoundOfPropertyRangeTemplate(q1, p4) & PropertyQuantificationTriple(q2, q1, q3) & ClassificationTemplate(q2, x11) & RealNumber(q3) & ClassOfIdentificationTemplate(x10, q3)) . % % TEMPLATES ABOUT CLASS - DEFINITION % % ClassifiedDefinitionOfClassOfClass % ClassifiedDefinitionOfClassOfIndividual(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfExpressInformationRepresentation(x2) & ClassOfClassOfDefinition(x3) & exists u1 exists u2( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfDefinitionTriple(u2, x2, u1) & ClassificationTemplate(u2, x3)) . % ClassifiedDefinitionOfClassOfIndividual % ClassifiedDefinitionOfClassOfIndividual(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfExpressInformationRepresentation(x2) & ClassOfClassOfDefinition(x3) & exists u1 exists u2( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfDefinitionTriple(u2, x2, u1) & ClassificationTemplate(u2, x3)) . % DefinitionOfClassOfIndividualWithDataSet % DefinitionOfClassOfIndividualWithDataSet(x1, x2) <-> ClassOfIndividual(x1) & ClassOfTemplate(x2) & exists u1( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfClassOfDefinitionTemplate(x2, u1)) . % ClassifiedDefinitionOfClassOfIndividualWithInformationRepresentation % ClassifiedDefinitionOfClassOfIndividualWithInformationRepresentation(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfInformationRepresentation(x2) & ClassOfClassOfDefinition(x3) & exists u1 exists u2( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfDefinitionTriple(u2, x2, u1) & ClassificationTemplate(u2, x3)) . % DefinitionOfClassOfIndividualOnDocument % DefinitionOfClassOfIndividualOnDocument(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfinformationRepresentation(x2) & ClassOfInformationObject(x3) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfDefinitionTemplate(x2, u1) & ClassOfTemporalWholePartTemplate(u2, x3) & ClassOfInformationObject(u2) & SpecializationTemplate(u2, x2)) . % ClassifiedDefinitionOfClassOfRelationship % ClassifiedDefinitionOfClassOfRelationship(x1, x2, x3) <-> ClassOfRelationship(x1) & ClassOfInformationRepresentation(x2) & ClassOfClassOfDefinition(x3) & exists u( ClassOfDefinitionTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . % DefinitionOfClassOfIndividualWithClassifiedSign % DefinitionOfClassOfIndividualWithClassifiedSign(x1, x2, x3) <-> ClassOfIndividual(x1) & PossibleIndividual(x2) & ClassOfInformationObject(x3) & exists u( ClassOfIndividual(u) & ClassOfTemporalWholePartTemplate(u, x1) & DefinitionTemplate(u, x2) & ClassificationTemplate(x2, x3)) . % DefinitionOfClassOfMultidimensionalObjectWith2Roles % DefinitionOfClassOfMultidimensionalObjectWith2Roles(x1, x2, x3, x4, x5) <-> ClassOfMultidimensionalObject(x1) & Role(x2) & Class(x3) & Role(x4) & Class(x5) & ClassOfTemporalWholePartTemplate(x2, x1) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u3, x1) & RoleAndDomain(u1) & hasFirstRole(u3, u1) & SpecializationByRoleTemplate(u1, x2) & SpecializationByDomainTemplate(u1, x3) & RoleAndDomain(u2) & hasSecondRole(u3, u2) & SpecializationByRoleTemplate(u2, x4) & SpecializationByDomainTemplate(u2, x5)) . % DefinitionOfRoleAndDomain % DefinitionOfRoleAndDomain(x1, x2, x3) <-> Class(x1) & Role(x2) & RoleAndDomain(x3) & SpecializationByDomainTemplate(x3, x1) & SpecializationByRoleTemplate(x3, x2) . % DefinitionOfParticipatingRoleAndDomain % DefinitionOfParticipatingRoleAndDomain(x1, x2, x3) <-> Class(x1) & Role(x2) & ParticipatingRoleAndDomain(x3) & SpecializationByDomainTemplate(x3, x1) & SpecializationByRoleTemplate(x3, x2) . % % TEMPLATES ABOUT CLASS - DESCRIPTION % % ClassifiedDescriptionOfClassOfIndividual % ClassifiedDescriptionOfClassOfIndividual(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfExpressInformationRepresentation(x2) & ClassOfClassOfDescription(x3) & exists u1 exists u2( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfDescriptionTriple(u2, x2, u1) & ClassificationTemplate(u2, x3)) . % ClassifiedDescriptionOfClassOfIndividualWithInformationRepresentation % ClassifiedDescriptionOfClassOfIndividualWithInformationRepresentation(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfInformationRepresentation(x2) & ClassOfClassOfDescription(x3) & exists u1 exists u2( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfDescriptionTriple(u2, x2, u1) & ClassificationTemplate(u2, x3)) . % ClassifiedDescriptionOfClassOfIndividualViaReference % ClassifiedDescriptionOfClassOfIndividualViaReference(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfInformationRepresentation(x2) & ClassOfClassOfDescription(x3) & ClassOfInformationRepresentation(x4) & ClassOfRepresentationOfThingTemplate(x4, x2) & exists u1 exists u2( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfDescriptionTriple(u2, x2, u1) & ClassificationTemplate(u2, x3)) . % DescriptionOfClassOfIndividualWithClassifiedSign % DescriptionOfClassOfIndividualWithClassifiedSign(x1, x2, x3) <-> ClassOfIndividual(x1) & PossibleIndividual(x2) & ClassOfInformationObject(x3) & exists u( ClassOfIndividual(u) & ClassOfTemporalWholePartemplate(u, x1) & DescriptionTemplate(u, x2) & ClassificationTemplate(x2, x3)) . % % TEMPLATES ABOUT CLASS - DOCUMENT % % DocumentDefinitionByExample % DocumentDefinitionByExample(x1, x2) <-> DocumentDefinition(x1) & ClassOfInformationObject(x2) & exists u1 exists u2( ClassOfInformationRepresentation(u1) & ClassOfDefinitionTemplate(u1, x1) & ClassOfInformationObject(u2) & SpecializationTemplate(u2, u1) & ClassOfTemporalWholePartTemplate(u2, x2)) . % ClassOfInformationObjectWithPresentationAndRepresentation % ClassOfInformationObjectWithPresentationAndRepresentation(x1, x2, x3) <-> ClassOfInformationObject(x1) & ClassOfInformationRepresentation(x2) & ClassOfInformationPresentation(x3) & exists u1 exists u2 exists u3( ClassOfInformationRepresentation(u1) & ClassOfTemporalWholePartTemplate(u1, x2) & SpecializationTemplate(u2, u1) & ClassOfInformationObject(u2) & ClassOfTemporalWholePartTemplate(u2, x1) & SpecializationTemplate(u2, u3) & ClassOfInformationPresentation(u3) & ClassOfTemporalWholePartTemplate(u3, x2)) . % DefinitionOfDocumentContentsType % DefinitionOfDocumentContentsType(x1, x2) <-> ClassOfInformationObject(x1) & DocumentDefinition(x2) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationObject(u1) & SpecializationTemplate(u1, u2) & ClassOfExpressInformationRepresentation(u2) & ClassificationTemplate(u2, u3) & ClassOfClassOfInformationRepresentation(u3) & SpecializationTemplate(u3, x2)) . % DefinitionOfDocumentContentsLanguage % DefinitionOfDocumentContentsLanguage(x1, x2) <-> ClassOfInformationObject(x1) & Language(x2) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationObject(u1) & SpecializationTemplate(u1, u2) & ClassOfExpressInformationRepresentation(u2) & ClassificationTemplate(u2, u3) & ClassOfClassOfInformationRepresentation(u3) & SpecializationTemplate(u3, x2)) . % DefinitionOfDocumentContentsFileFormat % DefinitionOfDocumentContentsFileFormat(x1, x2) <-> ClassOfInformationObject(x1) & RepresentationForm(x2) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationObject(u1) & SpecializationTemplate(u1, u2) & ClassOfExpressInformationRepresentation(u2) & ClassificationTemplate(u2, u3) & ClassOfClassOfInformationRepresentation(u3) & SpecializationTemplate(u3, x2)) . % ClassOfInformationObjectHasFormatBeforeClassOfEvent % ClassOfInformationObjectHasFormatBeforeClassOfEvent(x1, x2, x3) <-> ClassOfInformationObject(x1) & RepresentationForm(x2) & ClassOfEvent(x3) & exists u1 exists u2 exists u3( ClassOfInformationObject(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfTemporalSequenceTemplate(u1, x3) & ClassOfInformationRepresentation(u2) & SpecializationTemplate(u1, u2) & ClassOfClassOfInformationRepresentation(u3) & ClassificationTemplate(u2, u3) & SpecializationTemplate(u3, x2)) . % ClassOfInformationObjectHasFormatAfterClassOfEvent % ClassOfInformationObjectHasFormatPriorToClassOfEvent(x1, x2, x3) <-> ClassOfInformationObject(x1) & RepresentationForm(x2) & ClassOfEvent(x3) & exists u1 exists u2 exists u3( ClassOfInformationObject(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfTemporalSequenceTemplate(x3, u1) & ClassOfInformationRepresentation(u2) & SpecializationTemplate(u1, u2) & ClassOfClassOfInformationRepresentation(u3) & ClassificationTemplate(u2, u3) & SpecializationTemplate(u3, x2)) . % DefinitionOfContentsOfClassOfInformationObject % DefinitionOfContentsOfClassOfInformationObject(x1, x2, x3, x4, x5) <-> ClassOfInformationObject(x1) & ClassOfExpressInformationRepresentation(x2) & DocumentDefinition(x3) & Language(4) & RepresenationForm(x5) & exists u1 exists u2( ClassOfInformationObject(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & SpecializationTemplate(u1, x2) & ClassificationTemplate(x2, u2) & SpecializationTemplate(u2, x3) & SpecializationTemplate(u2, x4) & SpecializationTemplate(u2, x5) . % ContentsOfADocument % ContentsOfADocument(x1, x2) <-> ClassOfInformationObject(x1) & ClassOfInformationRepresentation(x2) & exists u( ClassOfInformationObject(u) & ClassOfTemporalWholePartTemplate(u, x1) & SpecializationTemplate(u, x2) . % DefinitionOfDocumentContentWithTemplateSet % DefinitionOfDocumentContentWithTemplateSet(x1, x2, x3) <-> ClassOfInformationObject(x1) & ClassOfInformationRepresentation(x2) & EnumeratedSetOfClass(x3) & UnionOfSetOfClassTemplate(x3, x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfInformationObject(u) & SpecializationTemplate(u, x2)) . % DocumentTypeAboutAClassOfIndividualApplicableYesNo % DocumentTypeAboutAClassOfIndividualApplicableYesNo(x1, x2, xe) <-> ClassOfIndividual(x1) & DocumentDefinition(x2) & ClassOfAssertion(x3) & exists u1 exists u2 exists u3( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfRepresentationOfThingTriple(u2, u3, u1) & ClassOfInformationRepresentation(u3) & ClassificationTemplate(u3, x2) & SpecializationTemplate(u2, x3)) . % RequiredRepresentationOfClassOfIndividualOnDocumentType % RequiredRepresentationOfClassOfIndividualOnDocumentType(x1, x2) <-> ClassOfIndividual(x1) & ClassOfInformationObject(x2) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & rdl_RDS2224614(u2) & SpecializationTemplate(u3, u2) & ClassOfClassOfRepresentation(u3) & ClassificationTemplate(u4, u3) & ClassOfRepresentationofThingTriple(u4, u5, u1) & ClassOfInformationRepresentation(u5) & SpecializationTemplate(u6, u5) & ClassOfInformationObject(u6) & ClassOfTemporalWholePartTemplate(u6, x2)) . % ReferenceToClassOfIndividualOnDocument % ReferenceToClassOfIndividualOnDocument(x1, x2) <-> ClassOfIndividual(x1) & ClassOfInformationObject(x2) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfRepresentationofThingTemplate(u2, u1) & ClassOfInformationRepresentation(u2) & SpecializationTemplate(u3, u2) & ClassOfInformationObject(u3) & ClassOfTemporalWholePartTemplate(u3, x2)) . % ReferenceToRepresentationOfClassOfIndividualOnDocument % ReferenceToRepresentationOfClassOfIndividualOnDocument(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfInformationObject(x2) & ClassOfInformationRepresentation(x3) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfRepresentationofThingTemplate(x3, u1) & SpecializationTemplate(u2, x3) & ClassOfInformationObject(u2) & ClassOfTemporalWholePartTemplate(u2, x2)) . % RepresentationOfClassOfIndividual % RepresentationOfClassOfIndividual(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & ClassOfInformationRepresentation(x2) & DocumentDefinition(x3) & Language(x4) & RepresentationForm(x5) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfRepresentationOfThingTemplate(x2, u1) & ClassificationTemplate(x2, u2) & ClassOfClassOfInformationRepresentation(u2) & SpecializationTemplate(u2, x3) & SpecializationTemplate(u2, x4) & SpecializationTemplate(u2, x5)) . % RepresentationOfClassOfIndividualWithTemplateSet % RepresentationOfClassOfIndividualWithTemplateSet(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & DocumentDefinition(x2) & Language(x3) & RepresentationForm(x4) & EnumeratedSetOfClass(x4) & exists u1 exists u2( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfRepresentationOfThingTemplate(u2, u1) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfInformationRepresentation(u2) & UnionOfSetOfClassTemplate(x5, u2)) & ClassificationTemplate(u2, u3) & ClassOfClassOfInformationRepresentation(u3) & SpecializationTemplate(u3, x2) & SpecializationTemplate(u3, x3) & SpecializationTemplate(u3, x4)) . % RepresentationOfClassOfIndividualOnDocument % RepresentationOfClassOfIndividualOnDocument(x1, x2, x3, x4, x5, x6) <-> ClassOfIndividual(x1) & ClassOfInformationObject(x2) & ClassOfInformationRepresentation(x3) & DocumentDefinition(x4) & Language(x5) & RepresentationForm(x6) & exists u1 exists u2 exists u3( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationObject(u2) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfRepresentationofThingTemplate(x3, u1) & SpecializationTemplate(u2, x3) & ClassOfClassOfInformationRepresentation(u3) & ClassificationTemplate(u3, x3) & SpecializationTemplate(u3, x4) & SpecializationTemplate(u3, x5) & SpecializationTemplate(u3, x6)) . % RepresentationOfClassOfIndividualOnDocumentWithTemplateSet % RepresentationOfClassOfIndividualOnDocumentWithTemplateSet(x1, x2, x3, x4, x5, x6) <-> ClassOfIndividual(x1) & ClassOfInformationObject(x2) & DocumentDefinition(x3) & Language(x4) & RepresentationForm(x5) & EnumeratedSetOfClass(x5) & exists u1 exists u2 exists u3 exists u4( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationRepresentation(u2) & ClassOfRepresentationofThingTemplate(u2, u1) & ClassOfInformationObject(u3) & ClassOfTemporalWholePartTemplate(u3, x2) & SpecializationTemplate(u3, u2) & UnionOfSetOfClassTemplate(x6, u2) & ClassificationTemplate(u2, u4) & ClassOfClassOfInformationRepresentation(u4) & SpecializationTemplate(u4,x3) & SpecializationTemplate(u4,x4) & SpecializationTemplate(u4,x5)) . % ClassificationOfInformationRepresentation % ClassificationOfInformationRepresentation(x1, x2, x3, x4) <-> ClassOfInformationRepresentation(x1) & DocumentDefinition(x2) & Language(x3) & RepresentationForm(x4) & exists u1 exists u2( ClassOfInformationRepresentation(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfClassOfInformationRepresentation(u2) & ClassificationTemplate(u1, u2)) & SpecializationTemplate(u2, x2) & SpecializationTemplate(u2, x3) & SpecializationTemplate(u2, x4)) . % DefinitionOfClassOfInformationRepresentationWithTemplateSet % DefinitionOfClassOfInformationRepresentationWithTemplateSet(x1, x2) <-> ClassOfInformationRepresentation(x1) & EnumeratedSetOfClass(x2) & exists u( ClassOfInformationRepresentation(u) & ClassOfTemporalWholePartTemplate(u, x1) & UnionOfSetOfClassTemplate(x2, u)) . % TranslationOfClassOfInformationRepresentation % TranslationOfClassOfInformationRepresentation(x1, x2, x3) <-> ClassOfInformationRepresentation(x1) & ClassOfClassOfRepresentationTranslation(x2) & ClassOfInformationRepresentation(x3) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationRepresentation(u1) & ClassOfRepresentationTranslationTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & ClassOfInformationRepresentation(x4) & ClassOfTemporalWholePartTemplate(u3, x3)) . % TranslationOfClassOfInformationObjectRequiredYesNo % TranslationOfClassOfInformationObjectRequiredYesNo(x1, x2) <-> ClassOfInformationObject(x1) & ClassOfAssertion(x2) & exists u1 exists u2 exists u3 exists u4( ClassOfInformationObject(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationRepresentation(u2) & SpecializationTemplate(u1, u2) & ClassOfRepresentationTranslationTriple(u3, u2, u4) & ClassOfInformationRepresentation(u4) & ClassificationTemplate(u3, x2)) . % HardcopyOfDocumentRequiredYesNo % HardcopyOfDocumentRequiredYesNo(x1, x2, x3) <-> ClassOfInformationObject(x1) & ClassOfCompositeMaterial(x2) & ClassOfAssertion(x3) & exists u1 exists u2( ClassOfInformationObject(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & SpecializationTriple(u2, u1, x2) & ClassificationTemplate(u2, x3)) . % % TEMPLATES ABOUT CLASS - EXISTENCE % % ClassOfTemporalWholePartDefinition % ClassOfTemporalWholePartDefinition(x1, x2) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfTemporalWholePartTemplate(x2, x1). % ActivityCausesEffectiveClassOfTemporalPartOfClassOfIndividual % ActivityCausesEffectiveClassOfTemporalPartOfClassOfIndividual(x1, x2) <-> Activity(x1) & ClassOfIndividual(x2) & exists u1 exists u2 exists u4 exists u5 exists u6 exists u7( Activity(u1) & TemporalWholePartTemplate(u1, x1) & InvolvementByReferenceTriple(u2, x2, u1) & Role_RDS2220037(u3) & SpecializationByRoleTemplate(u4, u3) & RoleAndDomain(u4) & SpecializationByDomainTemplate(u4, u5) & ClassOfIndividual(u5) ClassOfTemporalWholePartTemplate(u5, x2) & EndingTemplate(u6, u1) & PointInTime(u6) & ClassOfIdentificationTemplate(u7, u6) & RepresentationOfGregorianDateAndUtcTime(u7)) . % ActivityCausesEffectiveUrClassOfIndividual % ActivityCausesEffectiveUrClassOfIndividual(x1, x2) <-> Activity(x1) & ClassOfIndividual(x2) & exists u1 exists u2 exists u4 exists u5 exists u6( Activity(u1) & TemporalWholePartTemplate(u1, x1) & InvolvementByReferenceTriple(u2, x2, u1) & Role_RDS2220037(u3) & SpecializationByRoleTemplate(u4, u3) & RoleAndDomain(u4) & SpecializationByDomainTemplate(u4, x2) & EndingTemplate(u5, u1) & PointInTime(u5) & ClassOfIdentificationTemplate(u6, u5) & RepresentationOfGregorianDateAndUtcTime(u6)) . % ActivityCausesDeprecatedClassOfTemporalPartOfClassOfIndividual % ActivityCausesDeprecatedClassOfTemporalPartOfClassOfIndividual(x1, x2) <-> Activity(x1) & ClassOfIndividual(x2) & exists u1 exists u2 exists u4 exists u5 exists u6 exists u7( Activity(u1) & TemporalWholePartTemplate(u1, x1) & InvolvementByReferenceTriple(u2, x2, u1) & Role_RDS2220054(u3) & SpecializationByRoleTemplate(u4, u3) & RoleAndDomain(u4) & SpecializationByDomainTemplate(u4, u5) & ClassOfIndividual(u5) ClassOfTemporalWholePartTemplate(u5, x2) & EndingTemplate(u6, u1) & PointInTime(u6) & ClassOfIdentificationTemplate(u7, u6) & RepresentationOfGregorianDateAndUtcTime(u7)) . % ActivityCausesDeprecatedUrClassOfIndividual % ActivityCausesDeprecatedUrClassOfIndividual(x1, x2) <-> Activity(x1) & ClassOfIndividual(x2) & exists u1 exists u2 exists u4 exists u5 exists u6( Activity(u1) & TemporalWholePartTemplate(u1, x1) & InvolvementByReferenceTriple(u2, x2, u1) & Role_RDS2220054(u3) & SpecializationByRoleTemplate(u4, u3) & RoleAndDomain(u4) & SpecializationByDomainTemplate(u4, x2) & EndingTemplate(u5, u1) & PointInTime(u5) & ClassOfIdentificationTemplate(u6, u5) & RepresentationOfGregorianDateAndUtcTime(u6)) . % % TEMPLATES ABOUT CLASS - FUNCTION % % FunctionalMappingOf2Numbers % FunctionalMappingOf2Numbers(x1, x2, x3, x4) <-> ArithmeticNumber (x1) & ArithmeticNumber (x2) & ArithmeticNumber (x3) & ClassOfFunctionalMapping(x4) & exists u1 exists u2( MultidimensionalNumber(u1) & hasElement1(u1, x1) & hasElement2(u1, x2) & FunctionalMappingTriple(u2, u1, x3) & ClassificationTemplate(u2, x4)) . % FunctionalMappingOf3Numbers % FunctionalMappingOf3Numbers(x1, x2, x3, x4, x5) <-> ArithmeticNumber (x1) & ArithmeticNumber (x2) & ArithmeticNumber (x3) & ArithmeticNumber (x4) & ClassOfFunctionalMapping(x5) & exists u1 exists u2( MultidimensionalNumber(u1) & hasElement1(u1, x1) & hasElement2(u1, x2) & hasElement3(u1, x3) & FunctionalMappingTriple(u2, u1, x4) & ClassificationTemplate(u2, x5)) . % FunctionalMappingOf2ExpressReals % FunctionalMappingOf2ExpressReals(x1, x2, x3, x4) <-> ExpressReal(x1) & ExpressReal(x2) & ExpressReal(x3) & ClassOfFunctionalMapping(x4) & exists u1 exists u2( MultidimensionalObject(u1) & hasElement1(u1, x1) & hasElement2(u1, x2) & FunctionalMappingTriple(u2, u1, x3) & ClassificationTemplate(u2, x4)) . % FunctionalMappingOf5ExpressReals % FunctionalMappingOf2ExpressReals(x1, x2, x3, x4, x5, x6, x7) <-> ExpressReal(x1) & ExpressReal(x2) & ExpressReal(x3) & ExpressReal(x4) & ExpressReal(x5) & ExpressReal(x6) & ClassOfFunctionalMapping(x7) & exists u1 exists u2( MultidimensionalObject(u1) & hasElement1(u1, x1) & hasElement2(u1, x2) & hasElement2(u1, x3) & hasElement2(u1, x4) & hasElement2(u1, x5) & FunctionalMappingTriple(u2, u1, x6) & ClassificationTemplate(u2, x7)) . % % TEMPLATES ABOUT CLASS - IDENTIFICATION % % ClassifiedIdentificationOfClassOfIndividual % ClassifiedIdentificationOfClassOfIndividual(x1, x2, x3) <-> ClassOfIndividual(x1) & ExpressString(x2) & ClassOfClassOfIdentification(x3) & exists u1 exists u2( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIdentificationTriple(u2, x2, u1) & ClassificationTemplate(u2, x3)) . % IdentificationOfClassOfIndividualWithClassifiedSign % IdentificationOfClassOfIndividualWithClassifiedSign(x1, x2, x3) <-> ClassOfIndividual(x1) & PossibleIndividual(x2) & ClassOfInformationObject(x3) & exists u( ClassOfIndividual(u) & ClassOfTemporalWholePartTemplate(u, x1) & IdentificationTemplate(u, x2) & ClassificationTemplate(x2, x3)) . % % TEMPLATES ABOUT CLASS - PROPERTY-INDIRECT % % ReferenceClassOfIndirectProperty % ReferenceClassOfIndirectProperty(x1, x2, x3) <-> ClassOfIndividual(x1) & PropertySpace(x2) & exists u1 exists u2( ClassOfIndirectPropertyTriple(x3, u1, x2) & ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & tpl_Cardinality_1to1(u2) & hasEnd1Cardinality(x3, u2)) . % ClassOfIndividualHasIndirectPropertyWithBoundingValues % ClassOfIndividualHasIndirectPropertyWithBoundingValues(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & ExpressReal(x4) & Scale(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndirectPropertyTriple(u2, u1, u4) & tpl_Cardinality_1to1(u3) & end1Cardinality(u2, u3) & SpecializationTemplate(u2, x2) & PropertyRange(u4) & LowerBoundOfPropertyRangeTemplate(u5, u4) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x5) & RealNumber(u7) & ClassOfIdentificationTemplate(x3, u7) & UpperBoundOfPropertyRangeTemplate(u8, u4) & Property(u8) & PropertyQuantificationTriple(u9, u8, u10) & ClassificationTemplate(u9, x5) & RealNumber(u10) & ClassOfIdentificationTemplate(x4, u10)) . % ClassOfIndividualHasIndirectPropertyWithMaximumValue % ClassOfIndividualHasIndirectPropertyWithMaximumValue(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndirectPropertyTriple(u2, u1, u4) & tpl_Cardinality_1to1(u3) & hasEnd1Cardinality(u2, u3) & SpecializationTemplate(u2, x2) & PropertyRange(u4) & UpperBoundOfPropertyRangeTemplate(u5, u4) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x4) & RealNumber(u7) & ClassOfIdentificationTemplate(x3, u7)) . % ClassOfIndividualHasIndirectPropertyWithValue % ClassOfIndividualHasIndirectPropertyWithValue(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & SpecializationTemplate(u2, x2) & ClassOfIndirectPropertyTriple(u2, x1, u4) & SpecializationTemplate(u3, u2) & ClassOfRelationshipWithRelatedEnd2Triple(u3, u1, u5) & SinglePropertyDimension(u4) & ClassificationTemplate(u5, u4) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x4) & RealNumber(u7) & ClassOfIdentificationTemplate(x3, u7)) . % ClassOfIndividualHasIndirectPropertyWithMinimumValue % ClassOfIndividualHasIndirectPropertyWithMinimumValue(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndirectPropertyTriple(u2, u1, u4) & tpl_Cardinality_1to1(u3) & hasEnd1Cardinality(u2, u3) & SpecializationTemplate(u2, x2) & PropertyRange(u4) & LowerBoundOfPropertyRangeTemplate(u5, u4) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x4) & RealNumber(u7) & ClassOfIdentificationTemplate(x3, u7)) . % ClassOfIndividualHasTwoDimensionalIndirectPropertyRange % ClassOfIndividualHasTwoDimensionalIndirectPropertyRange(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) <-> ClassOfIndividual(x1) & ClassOfMultidimensionalObject(x2) & SinglePropertyDimension(x3) & ExpressReal(x4) & ExpressReal(x5) & Scale(x6) & SinglePropertyDimension(x7) & ExpressReal(x8) & ExpressReal(x9) & Scale(x10) & exists p1 exists p2 exists p3 exists p4 exists q1 exists q2 exists q3 exists u1 exists u2 exists u3 exists u4 exists v1 exists v2 exists v3 exists w1 exists w2( ClassOfIndividual(w1) & ClassOfTemporalWholePartTemplate(w1, x1) & ClassOfIndirectPropertyTemplate(w2, w1)) & MultidimensionalPropertySpace(w2) & ClassificationTemplate(w2, x2) & PropertyRange(u4) & hasElement1(x3, u4) & SpecializationTemplate(u4, x4) & Property(u1) & LowerBoundOfPropertyRangeTemplate(u1, u4) & PropertyQuantificationTriple(u2, u1, u3) & ClassificationTemplate(u2, x7) & RealNumber(u3) & ClassOfIdentificationTemplate(x5, u3) & Property(v1) & UpperBoundOfPropertyRangeTemplate(v1, u4) & PropertyQuantificationTriple(v2, v1, v3) & ClassificationTemplate(v2, x7) & RealNumber(v3) & ClassOfIdentificationTemplate(x6, v3)) & PropertyRange(p4) & hasElement2(x3, p4) & SpecializationTemplate(p4, x8) & Property(p1) & LowerBoundOfPropertyRangeTemplate(p1, p4) & PropertyQuantificationTriple(p2, p1, p3) & ClassificationTemplate(p2, x11) & RealNumber(p3) & ClassOfIdentificationTemplate(x9, p3) & Property(q1) & UpperBoundOfPropertyRangeTemplate(q1, p4) & PropertyQuantificationTriple(q2, q1, q3) & ClassificationTemplate(q2, x11) & RealNumber(q3) & ClassOfIdentificationTemplate(x10, q3)) . % ClassOfIndividualHasConditionalIndirectPropertyWithValue % ClassOfIndividualHasConditionalIndirectPropertyWithValue(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> ClassOfMultidimensionalObject(x1) & ClassOfIndividual(x2) & ClassOfIndirectProperty(x3) & ExpressReal(x4) & Scale(x5) & ClassOfIndividual(x6) & SinglePropertyDimension(x7) & ExpressReal(x8) & Scale(x9) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10 exists u11 exists u12 exists u13( ClassificationTemplate(u1, x1) & MultidimensionalProperty(u1) & element1(u1, u6) & element2(u1, u11) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfIndividual(u2) & ClassOfIndirectPropertyTriple(u3, x2, u5) & SpecializationTemplate(u4, u3) & ClassOfRelationshipWithRelatedEnd2Triple(u4, u2, u6) & tpl_Cardinality_1to1(u14) & end1Cardinality(u4, u14) & SinglePropertyDimension(u5) & ClassificationTemplate(u6, u5) & Property(u6) & PropertyQuantificationTriple(u7, u6, u8) & ClassificationTemplate(u7, x5) & RealNumber(u8) & ClassOfIdentificationTemplate(x4, u8) & ClassOfTemporalWholePartTemplate(u9, x6) & ClassOfIndividual(u9) & ClassOfClassificationTriple(u10, u9, u11) & end1Cardinality(u10, u14) & ClassificationTemplate(u11, x7) & Property(u11) & PropertyQuantificationTriple(u12, u11, u13) & ClassificationTemplate(u12, x9) & RealNumber(u13) & ClassOfIdentificationTemplate(x8, u13)) . % ClassOfIndividualHasMonetaryValue % ClassOfIndividualHasMonetaryValue(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & SpecializationTemplate(u2, x2) & ClassOfIndirectPropertyTriple(u2, x1, u4) & SpecializationTemplate(u3, u2) & ClassOfRelationshipWithRelatedEnd2Triple(u3, u1, u5) & SinglePropertyDimension(u4) & ClassificationTemplate(u5, u4) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x4) & RealNumber(u7) & ClassOfIdentificationTemplate(x3, u7)) . % % TEMPLATES ABOUT CLASS - LOCATION % % ClassOfContainmentDefinition % ClassOfContainmentDefinition(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & Cardinality(x3) & Cardinality(x4) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u3, x2) & ClassOfIndividual(u3) & ClassOfContainmentOfIndividualTriple(u2, u1, u3) & end1Cardinality(u2, x4) & end2Cardinality(u2, x3)) . % ClassOfRelativeLocationDefinition % ClassOfRelativeLocationDefinition(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfRelativeLocation(x3) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u3, x2) & ClassOfIndividual(u3) & ClassOfRelativeLocationTriple(u2, u1, u3) & end1Cardinality(u2, x4) & end2Cardinality(u2, x5) & ClassificationTemplate(u2, x3)) . % PositionOfClassMembersInA2DCoordinateSystem % PositionOfClassMembersInA2DCoordinateSystem(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & CoordinateSystem(x2) & ExpressReal(x3) & ExpressReal(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( ClassOfTemporalWholePartTemplate(u6, x1) & ClassOfIndividual(u6) & tpl_MultidimensionalProperty_2DCoordinates(u1) & SpecializationTemplate(u6, u1) & PropertyQuantificationTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & MultidimensionalNumber(u3) & RealNumber(u4) & RealNumber(u5) & hasElement1(u3, u4) & hasElement2(u3, u5) & ClassOfIdentificationTemplate(x3, u4) & ClassOfIdentificationTemplate(x4, u5)). % PositionOfClassMembersInA3DCoordinateSystem % PositionOfClassMembersInA3DCoordinateSystem(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & CoordinateSystem(x2) & ExpressReal(x3) & ExpressReal(x4) & ExpressReal(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( ClassOfTemporalWholePartTemplate(u7, x1) & ClassOfIndividual(u7) & tpl_MultidimensionalProperty_3DCoordinates(u1) & SpecializationTemplate(u7, u1) & PropertyQuantificationTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & MultidimensionalNumber(u3) & RealNumber(u4) & RealNumber(u5) & RealNumber(u6) & hasElement1(u3, u4) & hasElement2(u3, u5) & hasElement3(u3, u6) & ClassOfIdentificationTemplate(x3, u4) & ClassOfIdentificationTemplate(x4, u5) & ClassOfIdentificationTemplate(x5, u6)) . % % TEMPLATES ABOUT CLASS - MATERIAL % % SpecializationByCompoundType % SpecializationByCompoundType(x1, x2) <-> ClassOfArrangedIndividual(x1) & ClassOfCompound(x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfArrangedIndividual(u) & SpecializationTemplate(u, x2)) . % SpecializationByCrystallineStructureType % SpecializationByCrystallineStructureType(x1, x2) <-> ClassOfCompound(x1) & CrystallineStructure(x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfCompound(u) & SpecializationTemplate(u, x2)) . % SpecializationByBiologicalMatterType % SpecializationByBiologicalMatterType(x1, x2) <-> ClassOfArrangedIndividual(x1) & ClassOfBiologicalMatter(x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfArrangedIndividual(u) & SpecializationTemplate(u, x2)) . % SpecializationByCompositeMaterialType % SpecializationByCompositeMaterialType(x1, x2) <-> ClassOfArrangedIndividual(x1) & ClassOfCompositeMaterial(x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfArrangedIndividual(u) & SpecializationTemplate(u, x2)) . % SpecializationByParticulateMaterialType % SpecializationByParticulateMaterialType(x1, x2) <-> ClassOfArrangedIndividual(x1) & ClassOfParticulateMaterial(x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfArrangedIndividual(u) & SpecializationTemplate(u, x2)) . % SpecializationByPhase % SpecializationByPhase(x1, x2) <-> ClassOfArrangedIndividual(x1) & Phase(x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfArrangedIndividual(u) & SpecializationTemplate(u, x2)) . % % TEMPLATES ABOUT CLASS - NUMBER % % 2-TupleWithRealElements % 2-TupleWithRealElements(x1, x2, x3, x4) <-> MultidimensionalNumber(x1) & ClassOfMultidimensionalObject(x2) & ExpressReal(x3) & ExpressReal(x4) & ClassificationTemplate(x1, x2) & exists u1 exists u2( RealNumber(u1) & RealNumber(u2) & hasElement1(x1, u1) & hasElement2(x1, u2) & ClassOfIdentificationTemplate(x3, u1) & ClassOfIdentificationTemplate(x4, u2)) . % 3-TupleWithRealElements % 3-TupleWithRealElements(x1, x2, x3, x4, x5) <-> exists x1 exists u1 exists u2 exists u3( MultidimensionalNumber(x1) & RealNumber(u1) & RealNumber(u2) & RealNumber(u3) & hasElement1(x1, u1) & hasElement2(x1, u2) & hasElement3(x1, u3) & ClassOfIdentificationTemplate(x3, u1) & ClassOfIdentificationTemplate(x4, u2) & ClassOfIdentificationTemplate(x5, u3)) & ClassOfMultidimensionalObject(x2) & ExpressReal(x3) & ExpressReal(x4) & ExpressReal(x5) & ClassificationTemplate(x1, x2) . % ReferenceNumberRangeWithBoundingRealValues % ReferenceNumberRangeWithBoundingRealValues(x1, x2, x3) <-> NumberRange(x1) & ExpressReal(x2) & ExpressReal(x3) & exists u1(RealNumber(u1) & LowerBoundOfNumberRangeTemplate(u1, x1) & ClassOfIdentificationTemplate(x2, u1)) & exists u2(RealNumber(u2) & UpperBoundOfNumberRangeTemplate(u2, x1) & ClassOfIdentificationTemplate(x3, u2)) . % NumberSpaceWithBoundingNumberSpace % NumberSpaceWithBoundingNumberSpace(x1, x2) <-> NumberSpace(x1) & NumberSpace(x2) & BoundaryOfNumberSpaceTemplate(x2, x1) . % % TEMPLATES ABOUT CLASS - RELATIONSHIP-OTHER % % ClassOfOtherRelationshipWithDualParticipation % ClassOfOtherRelationshipWithDualParticipation(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & Role(x2) & ClassOfActivity(x3) & ClassOfIndividual(x4) & Role(x5) & Cardinality(x6) & Cardinality(x7) & exists u1 exists u2 exists u3 exists u4 exists u5( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & SpecializationByDomainTemplate(u2, u1) & SpecializationByRoleTemplate(u2, x2) & ParticipatingRoleAndDomain(u2) & ClassOfParticipationTemplate(u2, u3) & ClassOfActivity(u3) & SpecializationTemplate(u3, x3) & ClassOfTemporalWholePartTemplate(u4, x4) & ClassOfIndividual(u4) & SpecializationByDomainTemplate(u5, u4) & SpecializationByRoleTemplate(u5, x5) & ParticipatingRoleAndDomain(u5) & ClassOfParticipationTemplate(u5, u3) & ClassOfRelationshipWithSignatureTriple(x8, u2, u5) & hasEnd1Cardinality(x8, x6) & hasEnd2Cardinality(x8, x7)) . % ClassOfOtherRelationshipWithParticipationAndInvolvementByReference % ClassOfOtherRelationshipWithParticipationAndInvolvementByReference(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & Role(x2) & ClassOfActivity(x3) & ClassOfIndividual(x4) & Role(x5) & Cardinality(x6) & Cardinality(x7) & exists u1 exists u2 exists u3 exists u4 exists u5( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & SpecializationByDomainTemplate(u2, u1) & SpecializationByRoleTemplate(u2, x2) & ParticipatingRoleAndDomain(u2) & ClassOfParticipationTemplate(u2, u3) & ClassOfActivity(u3) & SpecializationTemplate(u3, x3) & ClassOfTemporalWholePartTemplate(u4, x4) & ClassOfIndividual(u4) & SpecializationByDomainTemplate(u5, u4) & SpecializationByRoleTemplate(u5, x5) & RoleAndDomain(u5) & ClassOfInvolvementByReferenceTemplate(u5, u3) & ClassOfRelationshipWithSignatureTriple(x8, u2, u5) & end1Cardinality(x8, x6) & end2Cardinality(x8, x7)) . % ClassOfIntendedRoleAndDomainDefinition % ClassOfIntendedRoleAndDomainDefinition(x1, x2, x3, x4) <-> ClassOfArrangedIndividual(x1) & RoleAndDomain(x2) & Cardinality(x3) & Cardinality(x4) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfArrangedIndividual(u1) & ClassOfTemporalWholePartTemplate(u3, x2) & RoleAndDomain(u3) & ClassOfIntendedRoleAndDomainTriple(u2, u1, u3) & hasEnd1Cardinality(u2, x4) & hasEnd2Cardinality(u2, x3)) . % % TEMPLATES ABOUT CLASS - PROPERTY AND STATUS % % PropertyValueInUoM % PropertyValueInUoM(x1, x2, x3) <-> SinglePropertyDimension(x1) & ExpressReal(x2) & Scale(x3) & exists u1 exists u2 exists u3( Property(u1) & ClassificationTemplate(u1, x1) & PropertyQuantificationTriple(u2, u1, u3) & ClassificationTemplate(u2, x3) & RealNumber(u3) & ClassOfIdentificationTemplate(x2, u3)) . % ActivityCausesStatusedClassOfIndividual % ActivityCausesStatusedClassOfIndividual(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfActivity(x2) & Activity(x3) & Status(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8( Activity(u1) & TemporalWholePartTemplate(u1, x3) & ClassificationTemplate(u1, x2) & InvolvementByReferenceTriple(u2, u3, u1) & ClassOfIndividual(u3) & SpecializationTemplate(x1, u3) & ClassificationTemplate(u2, u4) & ClassOfInvolvementByReferenceTriple(u4, u5, x2) & RoleAndDomain(u5) & SpecializationByDomainTemplate(u5, u3) & SpecializationByRoleTemplate(u5, u6) & edm_Role_BegunClass(u6) & SpecializationTemplate(u3, x4) & ClassOfTemporalWholePartTemplate(u3, x1) & EndingTemplate(u7, u1) & PointInTime(u7) & ClassOfIdentificationTemplate(u8, u7) & RepresentationOfGregorianDateAndUtcTime(u8)) . % ClassOfIndividualHasStatus % ClassOfIndividualHasStatus(x1, x2) <-> ClassOfIndividual(x1) & Status(x2) & exists u( ClassOfIndividual(u) & ClassOfTemporalWholePartTemplate(u, x1) & SpecializationTemplate(u, x2) . % ClassOfIndividualHasStatusBeforeClassOfEvent % ClassOfIndividualHasStatusBeforeClassOfEvent(x1, x2, x3) <-> ClassOfIndividual(x1) & Status(x2) & ClassOfEvent(x3) & exists u( ClassOfIndividual(u) & ClassOfTemporalWholePartTemplate(u, x1) & SpecializationTemplate(u, x2) & ClassOfTemporalSequenceTemplate(u, x3)) . % ClassOfIndividualHasPropertyWithValue % ClassOfIndividualHasPropertyWithValue(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfProperty(x2) & ExpressReal(x3) & Scale(x4) & exists u1 exists u2 exists u3 exists u4( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & SpecializationTemplate(u1, u2) & Property(u2) & ClassificationTemplate(u2, x2) & PropertyQuantificationTriple(u3, u2, u4) & ClassificationTemplate(u3, x4) & RealNumber(u4) & ClassOfIdentificationTemplate(x3, u4)) . % ClassOfIndividualHasPropertyWithValueAndStatus % ClassOfIndividualHasPropertyWithValueAndStatus(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & SinglePropertyDimension(x2) & ExpressReal(x3) & Scale(x4) & Status(x5) & exists u1 exists u2 exists u3 exists u4( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & SpecializationTemplate(u1, u2) & Property(u2) & ClassificationTemplate(u2, x2) & SpecializationTemplate(u2, x5) & PropertyQuantificationTriple(u3, u2, u4) & ClassificationTemplate(u3, x4) & RealNumber(u4) & ClassOfIdentificationTemplate(x3, u4)) . % ClassOfIndividualHasPropertyWithVariance % ClassOfIndividualHasPropertyWithVariance(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfIndividual(x1) & SinglePropertyDimension(x2) & ExpressReal(x3) & Scale(x4) & ExpressReal(x5) & ExpressReal(x6) & Scale(x7) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists v1 exists v2 exists v3 exists v4 exists v5 exists v6 exists v7 exists v8 exists v9 exists w1 exists w2 exists w3 exists w4 exists w5 exists w6 exists w7 exists w8 exists w9( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfClassificationTriple(u2, u1, u4) & tpl_Cardinality_1to1(u3) & end1Cardinality(u2, u3) & SpecializationTemplate(u4, x2) & Property(u5) & ClassificationTemplate(u5, u4) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x4) & RealNumber(u7) & ClassOfIdentificationTemplate(x3, u7) & Property(v1) & ClassificationTemplate(v1, x2) & PropertyQuantificationTriple(v2, v1, v3) & ClassificationTemplate(v2, x7) & RealNumber(v3) & ClassOfIdentificationTemplate(x5, v3) & Property(v7) & UpperBoundOfPropertyRangeTemplate(v7, u4) & PropertyQuantificationTriple(v8, v7, v9) & ClassificationTemplate(v8, x4) & RealNumber(v9) & MultidimensionalNumber(v4) & hasElement1(v4, u7) & hasElement2(v4, v3) & FunctionalMappingTriple(v5, v4, v9) & tpl_ClassOfFunctionalMapping_PositiveVariance(v6) & ClassificationTemplate(v5, v6) & Property(w1) & ClassificationTemplate(w1, x4) & PropertyQuantificationTriple(w2, w1, w3) & ClassificationTemplate(w2, x7) & RealNumber(w3) & ClassOfIdentificationTemplate(x6, w3) & Property(w7) & UpperBoundOfPropertyRangeTemplate(w7, u4) & PropertyQuantificationTriple(w8, w7, w9) & ClassificationTemplate(w8, x4) & RealNumber(w9) & MultidimensionalNumber(w4) & hasElement1(w4, u7) & hasElement2(w4, w3) & FunctionalMappingTriple(w5, w4, w9) & tpl_ClassOfFunctionalMapping_NegativeVariance(w6) & ClassificationTemplate(w5, w6)) . % ClassOfIndividualHasPropertyWithPercentageVariance % ClassOfIndividualHasPropertyWithPercentageVariance(x1, x2, x3, x4, x5, x6) <-> ClassOfIndividual(x1) & SinglePropertyDimension(x2) & ExpressReal(x3) & Scale(x4) & ExpressReal(x5) & ExpressReal(x6) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists v1 exists v2 exists v3 exists v4 exists v5 exists v6 exists v7 exists v8 exists v9 exists w1 exists w2 exists w3 exists w4 exists w5 exists w6 exists w7 exists w8 exists w9( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfClassificationTriple(u2, u1, u4) & tpl_Cardinality_1to1(u3) & end1Cardinality(u2, u3) & SpecializationTemplate(u4, x2) & Property(u5) & ClassificationTemplate(u5, u4) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x4) & RealNumber(u7) & ClassOfIdentificationTemplate(x3, u7) & Scale(u8) & Property(v1) & ClassificationTemplate(v1, x2) & PropertyQuantificationTriple(v2, v1, v3) & ClassificationTemplate(v2, u6) & RealNumber(v3) & ClassOfIdentificationTemplate(x5, v3) & Property(v7) & UpperBoundOfPropertyRangeTemplate(v7, u2) & PropertyQuantificationTriple(v8, v7, v9) & ClassificationTemplate(v8, x5) & RealNumber(v9) & MultidimensionalNumber(v4) & hasElement1(v4, u5) & hasElement2(v4, v3) & FunctionalMappingTriple(v5, v4, v9) & tpl_ClassOfFunctionalMapping_PositiveVariance(v6) & ClassificationTemplate(v5, v6) & Property(w1) & ClassificationTemplate(w1, x2) & PropertyQuantificationTriple(w2, w1, w3) & ClassificationTemplate(w2, u6) & RealNumber(w3) & ClassOfIdentificationTemplate(x6, w3) & Property(w7) & UpperBoundOfPropertyRangeTemplate(w7, u2) & PropertyQuantificationTriple(w8, w7, w9) & ClassificationTemplate(w8, x5) & RealNumber(w9) & MultidimensionalNumber(w4) & hasElement1(w4, u5) & hasElement2(w4, w3) & FunctionalMappingTriple(w5, w4, w9) & tpl_ClassOfFunctionalMapping_NegativeVariance(w6) & ClassificationTemplate(w5, w6)) . % ClassOfIndividualHasConditionalPropertyWithValue % ClassOfIndividualHasConditionalPropertyWithValue(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> ClassOfMultidimensionalObject(x1) & ClassOfIndividual(x2) & SinglePropertyDimension(x3) & ExpressReal(x4) & Scale(x5) & ClassOfIndividual(x6) & SinglePropertyDimension(x7) & ExpressReal(x8) & Scale(x9) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10 exists u11 exists u12( ClassificationTemplate(u1, x1) & MultidimensionalProperty(u1) & element1(u1, u5) & element2(u1, u10) & ClassOfTemporalWholePartTemplate(u3, x2) & ClassOfIndividual(u3) & ClassOfClassificationTriple(u4, u3, u5) & tpl_Cardinality_1to1(u2) & end1Cardinality(u4, u2) & ClassificationTemplate(u5, x3) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x5) & RealNumber(u7) & ClassOfIdentificationTemplate(x4, u7) & ClassOfTemporalWholePartTemplate(u8, x6) & ClassOfIndividual(u8) & ClassOfClassificationTriple(u9, u8, u10) & end1Cardinality(u9, u2) & ClassificationTemplate(u10, x7) & Property(u10) & PropertyQuantificationTriple(u11, u10, u12) & ClassificationTemplate(u11, x9) & RealNumber(u12) & ClassOfIdentificationTemplate(x8, u12)) . % ClassOfIndividualHasTwoDimensionalPropertyWithValues % ClassOfIndividualHasTwoDimensionalPropertyWithValues(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfMultidimensionalObject(x1) & ClassOfIndividual(x2) & SinglePropertyDimension(x3) & ExpressReal(x4) & Scale(x5) & SinglePropertyDimension(x6) & ExpressReal(x7) & Scale(x8) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10 exists u11( ClassOfTemporalWholePartTemplate(u3, x2) & ClassOfIndividual(u3) & ClassOfClassificationTriple(u4, u3, u5) & end1Cardinality(u4, u2) & ClassificationTemplate(u5, x3) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x5) & RealNumber(u7) & ClassOfIdentificationTemplate(x4, u7) & ClassOfClassificationTriple(u8, u3, u9) & end1Cardinality(u8, u2) & ClassificationTemplate(u9, x6) & Property(u9) & PropertyQuantificationTriple(u10, u9, u11) & ClassificationTemplate(u10, x8) & RealNumber(u11) & ClassOfIdentificationTemplate(x7, u11) & ClassificationTemplate(u1, x1) & MultidimensionalProperty(u1) & element1(u1, u5) & element2(u1, u9)) . % ClassOfIndividualHasPropertyRatio % ClassOfIndividualHasPropertyRatio(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfIndividual(x1) & ClassOfMultidimensionalObject(x2) & SinglePropertyDimension(x3) & Scale(x4) & ExpressReal(x5) & ExpressReal(x6) & ExpressReal(x7) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10 exists u11 exists u12( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & MultidimensionalProperty(u2) & element1(u2, u3) & element2(u2, u6) & ClassOfClassificationTemplate(u1, u2) & ClassificationTemplate(u2, x2) & Property(u3) & ClassificationTemplate(u3, x3) & PropertyQuantificationTriple(u4, u3, u5) & ClassificationTemplate(u4, x4) & RealNumber(u5) & ClassOfIdentificationTemplate(x5, u5) & Property(u6) & ClassificationTemplate(u6, x3) & PropertyQuantificationTriple(u7, u6, u8) & ClassificationTemplate(u7, x4) & RealNumber(u8) & ClassOfIdentificationTemplate(x6, u8) & MultidimensionalNumber(u9) & element1(u9, u5) & element2(u9, u8) & FunctionalMappingTriple(u10, u9, u12) & ClassificationTemplate(u10, u11) & ClassOfFunctionalMapping(u11) & RealNumber(u12) & ClassOfIdentificationTemplate(x7, u12)) . % ReferencePropertyWithValue % ReferencePropertyWithValue(x1, x2, x3, x4) <-> Property(x1) & ClassOfProperty(x2) & ExpressReal(x3) & Scale(x4) & ClassificationTemplate(x1, x2) & exists u1 exists u2( PropertyQuantificationTriple(u1, x1, u2) & ClassificationTemplate(u1, x4) & ArithmeticNumber(u2) & ClassOfIdentificationTemplate(x3, u2)) . % ReferenceScaleDefinition % ReferenceScaleDefinition(x1, x2) <-> Scale(x1) & ExpressString(x2) & exists u1 exists u2( ClassOfIdentificationTriple(u1, x2, x1) & ClassificationTemplate(u1, u2) & tpl:ClassOfClassOfIdentification_UomSymbolAssignment(u2)) . % ReferenceTwoDimensionalScaleDefinition % ReferenceTwoDimensionalScaleDefinition(x1, x2, x3, x4) <-> MultidimensionalScale(x1) & hasElement1(x1, x3) & hasElement2(x1, x4) & ClassOfMultidimensionalObject(x2) & Scale(x3) & Scale(x4) & ClassificationTemplate(x1, x2) . % % TEMPLATES ABOUT CLASS - SET OPERATIONS % % DifferenceOf2Classes % DifferenceOf2Classes(x1, x2, x3) <-> Class(x1) & Class(x2) & Class(x3) & exists u1( EnumeratedSetOfClass(u1) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & DifferenceOfSetOfClassTemplate(u1, x3)) . % EquivalentClasses % EquivalentClasses(x1, x2, x3) <-> Class(x1) & Class(x2) & exists u1 exists u2( EnumeratedSetOfClass(u1) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & DifferenceOfSetOfClassTemplate(u1, u2) & EmptyClass(u2)) . % DisjointnessOf2Classes % DisjointnessOf2Classes(x1, x2) <-> Class(x1) & Class(x2) & exists u1 exists u2( EnumeratedSetOfClass(u1) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & IntersectionOfSetOfClassTemplate(u1, u3) & tpl_EmptyClass(u2)) . % EnumeratedSetOf2ClassesDefinition % EnumeratedSetOf2ClassesDefinition(x1, x2, x3) <-> Class(x1) & Class(x2) & tpl_EnumeratedSetOf2Classes(x3) & ClassificationTemplate(x1, x3) & ClassificationTemplate(x2, x3)) . % EnumeratedSetOf3ClassesDefinition % EnumeratedSetOf3ClassesDefinition(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & Class(x3) & tpl_EnumeratedSetOf3Classes(x4) & ClassificationTemplate(x1, x4) & ClassificationTemplate(x2, x4) & ClassificationTemplate(x3, x4)) . % IntersectionOf2Classes % IntersectionOf2Classes(x1, x2, x3) <-> Class(x1) & Class(x2) & Class(x3) & exists u1( EnumeratedSetOfClass(u1) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & IntersectionOfSetOfClassTemplate(u1, x3)) . % RelativeComplementOf2Classes % RelativeComplementOf2Classes(x1, x2, x3) <-> Class(x1) & Class(x2) & Class(x3) & exists u1 exists u2 exists u3( EnumeratedSetOfClass(u1) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & DifferenceOfSetOfClassTemplate(u1, u2) & Class(u2) & EnumeratedSetOfClass(u3) & ClassificationTemplate(x1, u3) & ClassificationTemplate(u2, u3) & IntersectionOfSetOfClassTemplate(u3, x3)) . % UnionOf2Classes % UnionOf2Classes(x1, x2, x3) <-> Class(x1) & Class(x2) & Class(x3) & exists u1( EnumeratedSetOfClass(u1) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & UnionOfSetOfClassTemplate(u1, x3)) . % EnumerationOfClass % EnumerationOfClass(x1, x2) <-> EnumeratedSetOfClass(x1) & Class(x2) & ClassificationTemplate(x2, x1) . % InformationSetPicklist % InformationSetPicklist(x1, x2, x3) <-> EnumeratedSetOfClass(x1) & Class(x2) & ClassOfAssertion(x3) & exists ui( ClassificationTriple(u1, x2, x1) & ClassificationTemplate(u1, x3) . % PicklistOfClass % PickListOfClass(x1, x2, x3) <-> Class(x1) & EnumeratedSetOfClass(x2) & ClassOfAssertion(x3) & exists u1(ClassificationTriple(u1,x2,x1) & ClassificationTemplate(u1, x3)) . % UnionOfEnumeratedSetOfClass % UnionOfEnumeratedSetOfClass(x1, x2) <-> EnumeratedSetOfClass(x1) & Class(x2) & UnionOfSetOfClassTemplate(x1, x2)) . % % TEMPLATES ABOUT CLASS - SHAPE % % ClassOfIndividualHasShape % ClassOfIndividualHasShape(x1, x2) <-> ClassOfArrangedIndividual(x1) & Shape(x2) & exists u( ClassOfArrangedIndividual(u) & ClassOfTemporalWholePartTemplate(u, x1) & SpecializationTemplate(u, x2) . % ClassOfShapeDimensionDefinition % ClassOfShapeDimensionDefinition(x1, x2, x3) <-> ClassOfShape(x1) & ClassOfShapeDimension(x2) & PropertySpace(x3) & PropertySpaceForClassOfShapeDimensionTemplate(x2, x3) & exists u1( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfDimensionForShapeTemplate(x2, u1)) . % ShapeDimensionOfClassOfShapeWithReferenceProperty % ShapeDimensionOfClassOfShapeWithReferenceProperty(x1, x2, x3, x4) <-> ClassOfArrangedIndividual(x1) & ClassOfShape(x2) & ShapeDimension(x3) & Property(x4) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfArrangedIndividual(u1) & SpecializationTemplate(u1, u2) & Shape(u2) & ClassificationTemplate(u2, x2) & DimensionOfShapeTemplate(x3, u2) & PropertyForShapeDimensionTemplate(u3, x3)) . % DefinitionOfShapeRepresentationWithExternalCode % DefinitionOfShapeRepresentationWithExternalCode(x1, x2, x3, x4, x5) <-> Shape(x1) & DocumentDefinition(x2) & Language(x3) & RepresentationForm(x4) & ExpressString(x5) & ClassificationTemplate(x6, x2) & ClassificationTemplate(x6, x3) & ClassificationTemplate(x6, x4) & exists u1( ClassOfTemporalWholePartTemplate(u1, x1) & Shape(u1) & ClassOfDefinitionTemplate(x5, u1)) . % DefinitionOfShapeOfClassOfIndividual % DefinitionOfShapeOfClassOfIndividual(x1, x2, x3, x4, x5, x6) <-> ClassOfArrangedIndividual(x1) & ClassOfShape(x2) & ClassOfInformationRepresentation(x3) & RepresentationForm(x4) & EnumeratedSetOfClass(x5) & tpl_ClassOfInformationRepresentation_AND_Axis2Placement(x6) & ClassificationTemplate(x3, x4) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfArrangedIndividual(u1) & SpecializationTemplate(u1, u2) & Shape(u2) & ClassificationTemplate(u2, x2) & ClassOfDefinitionTemplate(x3, u2) & UnionOfSetOfClassTemplate(x5, x3) & ClassOfCompositionOfIndividualTemplate(x6, x3)) . % DefinitionOfShape2AxisPlacement % DefinitionOfShape2AxisPlacement(x1, x2) <-> ClassOfInformationObject(x1) & tpl_ClassOfInformationObjectANDAxis2Placement(x2) & exists u( ClassOfInformationObject(u) & ClassOfTemporalWholePartTemplate(u, x1) & ClassOfCompositionOfIndividualTemplate(x2, u)) . % % TEMPLATES ABOUT CLASS - SHAPE DIMENSION % % ClassOfIndividualHasDimensionedShapeWithValue % ClassOfIndividualHasDimensionedShapeWithValue(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & ClassOfShape(x2) & ClassOfShapeDimension(x3) & ExpressReal(x4) & Scale(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & SpecializationTemplate(u1, u2) & ClassificationTemplate(u2, x2) & Shape(u2) & DimensionOfShapeTemplate(u3, u2) & ClassificationTemplate(u3, x3) & ShapeDimension((u3) PropertyForShapeDimension(u6, u3) & Property(u6) & PropertyQuantificationTriple(u5, u6, u4) & ClassificationTemplate(u5, x5) & RealNumber(u4) & ClassOfIdentificationTemplate(x4, u4)) . % % TEMPLATES ABOUT CLASS - SPECIALIZATION % % SpecializationOfClassOfIndividual % SpecializationOfClassOfIndividual(x1, x2) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & exists u( ClassOfTemporalWholePartTemplate(u, x1) & ClassOfIndividual(u) & SpecializationTemplate(u, x2)) . % SpecializationOfClassOfIndividualApplicableYesNo % SpecializationOfClassOfIndividualApplicableYesNo(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfAssertion(x3) & exists u1 exists u2( ClassOfArrangedIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & SpecializationTriple(u2, u1, x2) & ClassificationTemplate(u2, x3)) . % % TEMPLATES ABOUT CLASS - STREAM % % ClassOfStreamSource % ClassOfStreamSource(x1, x2, x3, x4, x5) <-> ClassOfStream(x1) & ClassOfIndividual(x2) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8( tpl_ClassOfActivity_Streaming(u1) & SpecializationTemplate(u2, u1) & ClassOfActivity(u2) & ClassOfTemporalWholePartTemplate(u3, x1) & ClassOfStream(u3) & SpecializationByDomainTemplate(u2, x2) & tpl_Rolw_Subject(u4) & SpecializationByRoleTemplate(u5, u4) & ParticipatingRoleAndDomain(u5) & ClassOfParticipationTemplate(u5, u2) & ClassOfTemporalWholePartTemplate(u6, x2) & ClassOfIndividual(u6) & SpecializationByDomainTemplate(u8, u6) & tpl_Rolw_Source(u7) & SpecializationByRoleTemplate(u8, u7) & RoleAndDomain(u8) & ClassOfInvolvementByReferenceTemplate(u8, u2) & ClassOfRelationshipWithSignatureTriple(x3, u5, u8) & end1Cardinality(x3, x4) & end2Cardinality(x3, x5)) . % ClassOfStreamDestination % ClassOfStreamDestination(x1, x2, x3, x4, x5) <-> ClassOfStream(x1) & ClassOfIndividual(x2) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8( tpl_ClassOfActivity_Streaming(u1) & SpecializationTemplate(u2, u1) & ClassOfActivity(u2) & ClassOfTemporalWholePartTemplate(u3, x1) & ClassOfStream(u3) & SpecializationByDomainTemplate(u2, x2) & tpl_Rolw_Subject(u4) & SpecializationByRoleTemplate(u5, u4) & ParticipatingRoleAndDomain(u5) & ClassOfParticipationTemplate(u5, u2) & ClassOfTemporalWholePartTemplate(u6, x2) & ClassOfIndividual(u6) & SpecializationByDomainTemplate(u8, u6) & tpl_Role_Destination(u7) & SpecializationByRoleTemplate(u8, u7) & RoleAndDomain(u8) & ClassOfInvolvementByReferenceTemplate(u8, u2) & ClassOfRelationshipWithSignatureTriple(x3, u5, u8) & end1Cardinality(x3, x4) & end2Cardinality(x3, x5)) . % % TEMPLATES ABOUT CLASS - STRUCTURE % % ClassOfCompositionDefinition % ClassOfCompositionDefinition(x1, x2, x3, x4, x5) <-> ClassOfArrangedIndividual(x1) & ClassOfIndividual(x2) & ClassOfCompositionOfIndividualTriple(x3, u2, u1) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfArrangedIndividual(u1) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfIndividual(u2) & end1Cardinality(x3, x5) & end2Cardinality(x3, x4)) . % ClassOfArrangementDefinition % ClassOfArrangementDefinition(x1, x2, x3, x4, x5) <-> ClassOfArrangedIndividual(x1) & ClassOfIndividual(x2) & ClassOfArrangementOfIndividualTriple(x3, u2, u1) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfArrangedIndividual(u1) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfIndividual(u2) & end1Cardinality(x3, x5) & end2Cardinality(x3, x4)) . % ClassOfAssemblyDefinition % ClassOfAssemblyDefinition(x1, x2, x3, x4, x5) <-> ClassOfArrangedIndividual(x1) & ClassOfIndividual(x2) & ClassOfAssemblyOfIndividualTriple(x3, u2, u1) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfArrangedIndividual(u1) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfIndividual(u2) & end1Cardinality(x3, x5) & end2Cardinality(x3, x4)) . % PartInClassOfAssemblyApplicableYesNo % PartInClassOfAssemblyNotApplicable(x1, x2, x3, x4, x5) <-> ClassOfArrangedIndividual(x1) & ClassOfIndividual(x2) & ClassOfAssertion(x3) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfArrangedIndividual(u1) & ClassOfTemporalWholePartTemplate(u3, x2) & ClassOfIndividual(u3) & SpecializationTemplate(u2, x3) & ClassOfAssemblyOfIndividualTriple(u2, u3, u1) & end1Cardinality(u2, x5) & end2Cardinality(u2, x4)) . % ClassOfFeatureWholePartDefinition % ClassOfFeatureWholePartDefinition(x1, x2, x3, x4, x5) <-> ClassOfArrangedIndividual(x1) & ClassOfFeature(x2) & ClassOfFeatureWholePartTriple(x3, u2, u1) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfArrangedIndividual(u1) & ClassOfTemporalWholePartTemplate(u23, x2) & ClassOfFeature(u2) & end1Cardinality(x3, x5) & end2Cardinality(x3, x4)) . % FeatureOfClassOfIndividualApplicableYesNo % FeatureOfClassOfIndividualNotApplicable(x1, x2, x3, x4. x5) <-> ClassOfArrangedIndividual(x1) & ClassOfFeature(x2) & ClassOfAssertion(x3) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2 exists u3( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfArrangedIndividual(u1) & ClassOfTemporalWholePartTemplate(u3, x2) & ClassOfFeature(u3) & SpecializationTemplate(u2, u4) & ClassOfFeatureWholePartTriple(u2, u3, u1) & end1Cardinality(u2, x5) & end2Cardinality(u2, x4)) . % ClassOfDirectConnectionDefinition % ClassOfDirectConnectionDefinition(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfDirectConnectionTriple(x3, u1, u2) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfIndividual(u2) & end1Cardinality(x3, x4) & end2Cardinality(x3, x5)) . % ClassifiedClassOfDirectConnectionDefinition % ClassifiedClassOfDirectConnectionDefinition(x1, x2, x3, x4, x5, x6) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & Cardinality(x4) & Cardinality(x5) & ClassOfClassOfRelationship(x6) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfIndividual(u2) & ClassOfDirectConnectionTriple(x3, u1, u2) & end1Cardinality(x3, x4) & end2Cardinality(x3, x5) & ClassificationTemplate(x3, x6)) . % ClassOfIndirectConnectionDefinition % ClassOfIndirectConnectionDefinition(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & Cardinality(x4) & Cardinality(x5) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfIndividual(u2) & ClassOfIndirectConnectionTriple(x3, u1, u2) & end1Cardinality(u2, x4) & end2Cardinality(u2, x5)) . % ClassifiedClassOfIndirectConnectionDefinition % ClassifiedClassOfIndirectConnectionDefinition(x1, x2, x3, x4, x5, x6) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & Cardinality(x4) & Cardinality(x5) & ClassOfClassOfRelationship(x6) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfIndividual(u2) & ClassOfIndirectConnectionTriple(x3, u1, u2) & end1Cardinality(x3, x4) & end2Cardinality(x3, x5) & ClassificationTemplate(x3, x6)) . % ClassOfIndividualUsedInDirectConnectionDefinition % ClassOfIndividualUsedInDirectConnectionDefinition(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfDirectConnection(x2) & Cardinality(x3) & Cardinality(x4) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfIndividualUsedInConnectionTriple(u2, x2, u1) & end1Cardinality(u2, x4) & end2Cardinality(u2, x3)) . % ClassOfIndividualUsedInIndirectConnectionDefinition % ClassOfIndividualUsedInIndirectConnectionDefinition(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfIndirectConnection(x2) & Cardinality(x3) & Cardinality(x4) & exists u1 exists u2( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & ClassOfIndividualUsedInConnectionTriple(u2, x2, u1) & end1Cardinality(u2, x4) & end2Cardinality(u2, x3)) . % NumberOfMembersOfClassOfIndividual % NumberOfMembersOfClassOfIndividual(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfParticulateMaterial(x2) & ClassOfIndividual(x3) & ExpressInteger(x4) & exists u1 exists u2 exists u3 exists u4 exists u5( ClassOfIndividual(u1) & ClassOfTemporalWholePartTemplate(u1, x1) & SpecializationTemplate(u2, x2) & ClassOfParticulateMaterial(u2) & SpecializationTemplate(u1, u2) & ClassOfContainmentOfIndividualTriple(u3, x3, u2) & end1Cardinality(u3, u4) & end2Cardinality(u3, u5) & Cardinality(u4) & minimumCardinality(u4, x2) & maximumCardinality(u4, x2) & tpl_Cardinality_min1max1(u5)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - ACTIVITY % % ParticipationOfIndividualInActivity % ParticipationOfIndividualInActivity(x1, x2, x3) <-> Activity(x1) & PhysicalObject(x2) & ClassOfParticipation(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & Activity(u1) & TemporalWholePartTemplate(u2, x2) & PhysicalObject(u2) & ParticipationTriple(u3, u2, u1) & ClassificationTemplate(u3, x3) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u2) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % ParticipationOfIndividualInActivityType % ParticipationOfIndividualInActivityType(x1, x2, x3) <-> ClassOfActivity(x1) & PhysicalObject(x2) & ClassOfPhysicalObject(x3) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exusts u7, exists u8( ClassificationTemplate(ui, x1) & Activity(u1) & TemporalWholePartTemplate(u2, u1) & Activity(u2) & TemporalWholePartTemplate(u3, x2) & PhysicalObject(u3) & ParticipationTriple(u4, u3, u2) & ClassificationTemplate(u4, u5) & ClassOfParticipationTriple(u5, u6, x1) & ParticipatingRoleAndDomain(u6) & SpecializationByDomainTemplate(u6, x3) & BeginningTemplate(u7, u2) & BeginningTemplate(u7, u3) & PointInTime(u7) & ClassOfIdentificationTemplate(u8, u7) & RepresentationOfGregorianDateAndUtcTime(u8)) . % EndingOfParticipationOfTwoIndividualsInSameActivity % EndingOfParticipationOfTwoIndividualsInSameActivity(x1, x2, x3, x4, x5) <-> Activity(x1) & PhysicalObject(x2) & Role(x3) & PhysicalObject(x4) & Role(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10 exists u11( Activity(u1) & ParticipatingRoleAndDomain(u2) & ClassOfParticipationTemplate(u3, u2, %) & ParticipationTriple(u4, u5, u1) & PhysicalObject(u5) & ParticipatingRoleAndDomain(u6) & ClassOfParticipationTemplate(u7, u6, %) & ParticipationTriple(u8, u9, u1) & PhysicalObject(u9) & PointInTime(u10) & RepresentationOfGregorianDateAndUtcTime(u11) & TemporalWholePartTemplate(u1, x1) & SpecializationByRoleTemplate(u2, x3) & ClassificationTemplate(u4, u3) & TemporalWholePartTemplate(u5, x2) & SpecializationByRoleTemplate(u6, x5) & ClassificationTemplate(u8, u7) & TemporalWholePartTemplate(u9, x4) & EndingTemplate(u10, u1) & EndingTemplate(u10, u5) & EndingTemplate(u10, u9) & ClassOfIdentificationTemplate(u11, u10)) . % InvolvementByReferenceOfIndividualInActivity % InvolvementByReferenceOfIndividualInActivity(hasActivity, hasInvolved, hasInvolvementRole) <-> Activity(hasActivity) & PossibleIndividual(hasInvolved) & Role(hasInvolvementRole) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( SpecializationByRoleTemplate(u6, hasInvolvementRole) & RoleAndDomain(u6) & ClassOfInvolvementByReference(u7) & classOfInvolved(u7, u6) & ClassificationTemplate(u2, u7) & TemporalWholePartTemplate(u1, hasActivity) & Activity(u1) & InvolvementByReferenceTriple(u2, u3, u1) & TemporalWholePartTemplate(u3, hasInvolved) & PossibleIndividual(u3) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % RecognitionOfInformation % RecognitionOfInformation(x1, x2, x3) <-> Activity(x1) & tm_Template(x2) & ClassOfRecognition(x3) & exists u1 exists u2 exists u3 exists u4( TemporalWholePartTemplate(u1, x1) & Activity(u1) & RecognitionTriple(u2, x2, u1) & ClassificationTemplate(u2, x3) & BeginningTemplate(u3, u1) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % ActivityCausesBegunIndividual % ActivityCausesBegunIndividual(x1, x2) <-> Activity(x1) & PossibleIndividual(x2) & exists u1 exists u2 exists u3( CauseOfEventTemplatee(u1, x1) & Event(u1) & BeginningTemplate(u1, x2) & BeginningTemplate(u2, x2) & CompositionOfIndividualTemplate(u2, u1) & PointInTime(u2) & ClassOfIdentificationTemplate(u3, u2) & RepresentationOfGregorianDateAndUtcTime(u3)) . % ActivityCausesEndedIndividual % ActivityCausesEndedIndividual(x1, x2) <-> Activity(x1) & PossibleIndividual(x2) & exists u1 exists u2 exists u3( CauseOfEventTemplatee(u1, x1) & Event(u1) & EndingTemplate(u1, x2) & EndingTemplate(u2, x2) & CompositionOfIndividualTemplate(u2, u1) & PointInTime(u2) & ClassOfIdentificationTemplate(u3, u2) & RepresentationOfGregorianDateAndUtcTime(u3)) . % MeasuringAPropertyOfAnIndividual % MeasuringAPropertyOfAnIndividual(hasActivity, hasPossessor, hasPropertyType, valPropertyValue, hasScale) <-> Activity(hasActivity) & PossibleIndividual(hasPossessor) & SinglePropertyDimension(hasPropertyType) & ExpressReal(valPropertyValue) & Scale(hasScale) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8( TemporalWholePartTemplate(u1, hasActivity) & Activity(u1) & RecognitionTemplate(u2, u1) & ClassificationTriple(u2, u3, u4) & PossibleIndividual(u3) & TemporalWholePartTemplate(u3, hasPossessor) & Property(u4) & ClassificationTemplate(u4, hasPropertyType) & PropertyQuantificationTriple(u5, u4, u6) & ClassificationTemplate(u5, hasScale) & RealNumber(u6) & ClassOfIdentificationTemplate(valPropertyValue, u6) & BeginningTemplate(u7, u1) & BeginningTemplate(u7, u3) & PointInTime(u7) & ClassOfIdentificationTemplate(u8, u7) & RepresentationOfGregorianDateAndUtcTime(u8)) . % MeasuringPropertyOfIndividualOverAPeriodInTime % MeasuringPropertyOfIndividualOverAPeriodInTime(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & ClassOfClassification(x2) & ClassOfInformationRepresentation(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( tpl_Measuring(u7) & ClassificationTemplate(u1, u7) & Activity(u1) & RecognitionTemplate(u2, u1) & ClassOfRelationshipWithRelatedEnd1Triple(u2, u3, u4) & SpecializationTemplate(u2, x3) & MultidimensionalPropertySpace(u3) & ClassOfRepresentationOfThingTemplate(x4, u3) & PossibleIndividual(u4) & TemporalWholePartTemplate(u4, x2) & BeginningTemplate(u5, u1) & BeginningTemplate(u5, u4) & PointInTime(u5) & ClassOfIdentificationTemplate(x5, u5) & BeginningTemplate(u6, u1) & BeginningTemplate(u6, u4) & PointInTime(u6) & ClassOfIdentificationTemplate(x6, u6)) . % ApprovalWithStatusOfRelationshipByIndividual % ApprovalWithStatusOfRelationshipByIndividual(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & ClassOfApprovalByStatus(x2) & ClassOfRelationshipWithSignature(x3) & Thing(x4) & Thing(x5) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ApprovalTriple(u2, u3, u1) & ClassificationTemplate(u2, x2) & OtherRelationshipTriple(u3, x4, x5) & ClassificationTemplate(u3, x3) & BeginningTemplate(u4, u1) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % InstallingPhysicalObjectInFunctionalLocation % InstallingPhysicalObjectInFunctionPlace(x1, x2, x3) <-> Activity(x1) & PhysicalObject(x2) & PhysicalObject(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( Activity(u1) & TemporalWholePartTemplate(u1, x1) & CauseOfEventTemplate(u2, u1) & Event(u2) & BeginningTemplate(u2, x3) & TemporalWholePartTemplate(u5, x2) & PhysicalObject(u5) & ImplementationTemplate(u5, x3) & PointInTime(u3) & CompositionOfIndividualTemplate(u2, u3) & RepresentationOfGregorianDateAndUtcTime(u4) & ClassOfIdentificationTemplate(u4, u3)) . % UninstallingPhysicalObjectFromFunctionPlace % UninstallingPhysicalObjectFromFunctionPlace(x1, x2, x3, x4) <-> Activity(x1) & PhysicalObject(x2) & PhysicalObject(x3) & PhysicalObject(x4) & TemporalWholePartTemplate(x4, x2) & CounterpartTemplate(x4, x3) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( Activity(u1) & TemporalWholePartTemplate(u1, x1) & CauseOfEventTemplate(u2, u1) & Event(u2) & EndingTemplate(u2, x4) & PointInTime(u3) & CompositionOfIndividualTemplate(u2, u3) & RepresentationOfGregorianDateAndUtcTime(u4) & ClassOfIdentificationTemplate(u4, u3) & subClassOfTemplate(x2, u5) & subClassOfTemplate(x3, u6)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - CLASSIFICATION % % ClassificationOfIndividual % ClassificationOfIndividual(x1, x2) <-> PossibleIndividual(x1) & ClassOfIndividual(x2) & exists u1 exists u2 exists u3( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & ClassificationTemplate(u1, x2) & PointInTime(u2) & BeginningTemplate(u2, u1) & RepresentationOfGregorianDateAndUtcTime(u3) & ClassOfIdentificationTemplate(u3, u2)) . % NonComplianceWithClassOfIndividual % NoncomplianceWithClassOfIndividual(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfIndividual(x2) & ClassOfInformationObject(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, x2) & EndingTemplate(u2, u1) & PointInTime(u2) & ClassOfIdentificationTemplate(x4, u2) & PossibleIndividual(u3) & TemporalWholePartTemplate(u3, x1) & ClassOfDescriptionTemplate(u4, u3) & ClassOfInformationRepresentation(u4) & SpecializationTemplate(x3, u4) & BeginningTemplate(u5, u3) & PointInTime(u5) & ClassOfIdentificationTemplate(x4, u5)) . % IndividualIsMemberOfClassOfIndividualYesNo % NonMembershipOfClassOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & ClassOfIndividual(x2) & ClassOfAssertion(x3) & exists u1 exists u2 exists u3 exists u4( PossibleIndividual(u1) & ClassificationTriple(u2, u1, x2) & PointInTime(u3) & RepresentationOfGregorianDateAndUtcTime(u4) & TemporalWholePartTemplate(u1, x1) & ClassificationTemplate(u2, x3) & EndingTemplate(u3, u1) & ClassOfIdentificationTemplate(u4, u3)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - DESCRIPTION % % ClassifiedDescriptionOfIndividual % ClassifiedDescriptionOfIndividual(hasDescribed, valDescriptor, hasDescriptionType) <-> PossibleIndividual(hasDescribed) & ExpressString(valDescriptor) & ClassOfClassOfDescription(hasDescriptionType) & exists u1 exists u2 exists u3 exists u4( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, hasDescribed) & ClassOfDescriptionTriple(u2, valDescriptor, u1) & ClassificationTemplate(u2, hasDescriptionType) & PointInTime(u3) & BeginningTemplate(u3, u1) & RepresentationOfGregorianDateAndUtcTime(u4) & ClassOfIdentificationTemplate(u4, u3)) . % ClassifiedDescriptionOfIndividualViaReference % ClassifiedDescriptionOfIndividualViaReference(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfInformationRepresentation(x2) & ClassOfClassOfDescription(x3) & ClassOfInformationRepresentation(x4) & ClassOfRepresentationOfThingTemplate(x4, x2) & exists u1 exists u2( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & ClassOfDescriptionTriple(u2, x2, u1) & ClassificationTemplate(u2, x3)) . % DescriptionOfIndividualWithClassifiedSign % DescriptionOfIndividualWithClassifiedSign(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfInformationObject(x3) & ClassificationTemplate(x2, x3) & exists u1 exists u2 exists u3( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & DescriptionTemplate(x2, u1) & PointInTime(u2) & BeginningTemplate(u2, u1) & RepresentationOfGregorianDateAndUtcTime(u3) & ClassOfIdentificationTemplate(u3, u2)) . % ClassifiedRepresentationOfIndividual % ClassifiedRepresentationOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & ClassOfInformationRepresentation(x2) & ClassOfClassOfRepresentation(x3) & exists u1 exists u2 exists u3 exists u4( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & ClassOfRepresentationOfThingTriple(u2, x2, u1) & ClassificationTemplate(u2, x3) & PointInTime(u3) & BeginningTemplate(u3, u1) & RepresentationOfGregorianDateAndUtcTime(u4) & ClassOfIdentificationTemplate(u4, u3)) . % InformationRepresentationOfIndividualInLanguage % InformationRepresentationOfIndividualInLanguage(x1, x2) <-> PossibleIndividual(x1) & Language(x2) & exists u1 exists u2 exists u3 exists u4( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & ClassOfRepresentationOfTemplate(u2,u1) & ExpressString(u2) & ClassificationTemplate(u2, x2) & PointInTime(u3) & BeginningTemplate(u3, u1) & RepresentationOfGregorianDateAndUtcTime(u4) & ClassOfIdentificationTemplate(u4, u3)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - DOCUMENT % % DocumentInitiation % DocumentInitiation(x1, x2, x3) <-> ClassOfInformationObject(x1) & Activity(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationObject(u1) & SpecializationByDomainTemplate(u3, u1) & ParticipatingRoleAndDomain(u3) & SpecializationByRoleTemplate(u3, u2) & rdl_RDS13652847(u2) & ClassOfParticipationTriple(u4, u3, u6) & ClassOfActivity(u6) & SpecializationTemplate(u6, u5) & rdl_RDS2225302(u5) & ClassificationTemplate(x2, u6) & ParticipationTriple(u7, u8, x2) & ClassificationTemplate(u7, u4) & PhysicalObject(u8) & ClassificationTemplate(u8, u3) & EndingTemplate(u9, x2) & PointInTime(u9) & ClassOfIdentificationTemplate(x3, u9)) . % DocumentCreation % DocumentCreation(x1, x2, x3) <-> ClassOfInformationObject(x1) & Activity(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationObject(u1) & SpecializationByDomainTemplate(u3, u1) & ParticipatingRoleAndDomain(u3) & SpecializationByRoleTemplate(u3, u2) & rdl_RDS13652847(u2) & ClassOfParticipationTriple(u4, u3, u6) & ClassOfActivity(u6) & SpecializationTemplate(u6, u5) & rdl_RDS2225303(u5) & ClassificationTemplate(x2, u6) & ParticipationTriple(u7, u8, x2) & ClassificationTemplate(u7, u4) & PhysicalObject(u8) & ClassificationTemplate(u8, u3) & EndingTemplate(u9, x2) & PointInTime(u9) & ClassOfIdentificationTemplate(x3, u9)) . % DocumentReview % DocumentReview(x1, x2, x3, x4, x5) <-> ClassOfInformationObject(x1) & InformationObject(x2) & Status(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & Activity(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( SpecializationByDomainTemplate(u2, x1) & ParticipatingRoleAndDomain(u2) & SpecializationByRoleTemplate(u2, u1) & rdl_RDS13652847(u1) & ClassOfParticipationTriple(u3, u2, u5) & ClassOfActivity(u5) & SpecializationTemplate(u5, u4) & rdl_RDS2228376(u4) & ClassificationTemplate(x4, u5) & ParticipationTriple(u6, x2, x4) & ClassificationTemplate(x2, u2) & ClassificationTemplate(x2, x3) & EndingTemplate(u7, x4) & PointInTime(u7) & ClassOfIdentificationTemplate(x5, u7) . % DocumentApproval % DocumentApproval(x1, x2, x3, x4, x5) <-> ClassOfInformationObject(x1) & InformationObject(x2) & Status(x3) & Activity(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( SpecializationByDomainTemplate(u2, x1) & ParticipatingRoleAndDomain(u2) & SpecializationByRoleTemplate(u2, u1) & rdl_RDS13652847(u1) & ClassOfParticipationTriple(u3, u2, u5) & ClassOfActivity(u5) & SpecializationTemplate(u5, u4) & rdl_RDS2225305(u4) & ClassificationTemplate(x4, u5) & ParticipationTriple(u6, x2, x4) & ClassificationTemplate(x2, u2) & ClassificationTemplate(x2, x3) & EndingTemplate(u7, x4) & PointInTime(u7) & ClassOfIdentificationTemplate(x5, u7) . % DocumentPublication % DocumentPublication(x1, x2, x3, x4, x5) <-> ClassOfInformationObject(x1) & InformationObject(x2) & Status(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & Activity(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( SpecializationByDomainTemplate(u2, x1) & ParticipatingRoleAndDomain(u2) & SpecializationByRoleTemplate(u2, u1) & rdl_RDS13652847(u1) & ClassOfParticipationTriple(u3, u2, u5) & ClassOfActivity(u5) & SpecializationTemplate(u5, u4) & rdl_RDS2229212(u4) & ClassificationTemplate(x4, u5) & ParticipationTriple(u6, x2, x4) & ClassificationTemplate(x2, u2) & ClassificationTemplate(x2, x3) & EndingTemplate(u7, x4) & PointInTime(u7) & ClassOfIdentificationTemplate(x5, u7) . % PlannedDocumentPublication % DocumentPublication(x1, x2, x3, x4) <-> ClassOfInformationObject(x1) & InformationObject(x2) & Status(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9( SpecializationByDomainTemplate(u2, x1) & ParticipatingRoleAndDomain(u2) & SpecializationByRoleTemplate(u2, u1) & rdl_RDS13652847(u1) & ClassOfParticipationTriple(u3, u2, u5) & ClassOfActivity(u5) & SpecializationTemplate(u5, u4) & rdl_RDS2229212(u4) & ClassificationTemplate(u8, u5) & ParticipationTriple(u6, x2, u8) & ClassificationTemplate(x2, u2) & ClassificationTemplate(x2, x3) & EndingTemplate(u7, u8) & PointInTime(u7) & ClassOfIdentificationTemplate(x4, u7) & Activity(u8) & NonActualIndividual(u9) & rdf_type(x2, u9)) . % DocumentReceival % DocumentReceival(x1, x2, x3) <-> ClassOfInformationObject(x1) & Activity(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationObject(u1) & SpecializationByDomainTemplate(u3, u1) & ParticipatingRoleAndDomain(u3) & SpecializationByRoleTemplate(u3, u2) & rdl_RDS2229247(u2) & ClassOfParticipationTriple(u4, u3, u6) & ClassOfActivity(u6) & SpecializationTemplate(u6, u5) & rdl_RDS2229246(u5) & ClassificationTemplate(x2, u6) & ParticipationTriple(u7, u8, x2) & ClassificationTemplate(u7, u4) & PhysicalObject(u8) & ClassificationTemplate(u8, u3) & EndingTemplate(u9, x2) & PointInTime(u9) & ClassOfIdentificationTemplate(x3, u9)) . % DocumentPublishingWithResponsibleParty % DocumentPublishingWithResponsibleParty(x1, x2, x3, x4, x5) <-> ClassOfInformationObject(x1) & ClassOfActivity(x2) & Activity(x3) & Status(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & PossibleIndividual(x6) & ClassOfIndividual(x7) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10 exists u11 exists u12( ClassOfActivity(u1) & SpecializationTemplate(u1, x2) & ClassificationTemplate(x3, u1) & ClassOfParticipationTriple(u2, u3, u1) & ParticipatingRoleAndDomain(u3) & SpecializationByRoleTemplate(u3, u4) & tpl_Role_Output(u4) & SpecializationByDomainTemplate(u3, x1) & ParticipationTriple(u5, u6, x3) & ClassificationTemplate(u5, u2) & PhysicalObject(u6) & ClassificationTemplate(u6, u3) & CauseOfEventTemplate(u7, x3) & Event(u7) & BeginningTemplate(u7, u8) & PhysicalObject(u8) & TemporalWholePartTemplate(u8, u6) & ClassificationTemplate(u8, x4) & CompositionOfIndividualTemplate(u7, u9) & PointInTime(u9) & ClassOfIdentificationTemplate(x5, u9)) & ParticipationTemplate(u10, x3) & PossibleIndividual(u10) & TemporalWholePartTemplate(u10, x6) & ClassificationTemplate(u10, u11) & ParticipatingRoleAndDomain(u11) & SpecializationByDomainTemplate(u11, x7) & SpecializationByRoleTemplate(u11, u12) & Role(u12) . % DocumentRevision % DocumentRevision(x1, x2, x3, x4) <-> ClassOfInformationObject(x1) & PhysicalObject(x2) & Activity(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfInformationObject(u1) & SpecializationByDomainTemplate(u3, u1) & ParticipatingRoleAndDomain(u3) & SpecializationByRoleTemplate(u3, u2) & rdl_RDS13652847(u2) & ClassOfParticipationTriple(u4, u3, u6) & ClassOfActivity(u6) & SpecializationTemplate(u6, u5) & rdl_RDS2225304(u5) & ClassificationTemplate(x3, u6) & ParticipationTriple(u7, x2, x3) & ClassificationTemplate(u7, u4) & ClassificationTemplate(x2, u3) & EndingTemplate(u8, x3) & PointInTime(u8) & ClassOfIdentificationTemplate(x4, u8)) . % InformationOnIndividualDocument % InformationOnIndividualDocument(x1, x2, x3) <-> InformationObject(x1) & ClassOfInformationObject(x2) & ClassOfinformationRepresentation(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & InformationObject(u1) & ClassificationTemplate(u1, u2) & ClassOfTemporalWholePartTemplate(u2, x2) & ClassOfInformationObject(u2) & SpecializationTemplate(u2, u3) & ClassOfTemporalWholePartTemplate(u3, x3) & ClassOfinformationRepresentation(u3) & BeginningTemplate(u4, u1) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5) . % SemanticCopyOfIndividual % SemanticCopyOfIndividual(x1, x2)<-> PossibleIndividual(x1) & PossibleIndividual(x2) & exists u1( ClassOfRepresentationOfThingTemplate(u1, x1) & ClassOfRepresentationOfThingTemplate(u1, x2) & ClassOfInformationRepresentation(u1)) . % ReferenceToIndividualOnDocument % ReferenceToIndividualOnDocument(x1, x2) <-> PossibleIndividual(x1) & ClassOfInformationObject(x2) & exists u1 exists u2 exists u3( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassOfRepresentationofThingTemplate(u2, u1) & ClassOfInformationRepresentation(u2) & SpecializationTemplate(u3, u2) & ClassOfInformationObject(u3) & ClassOfTemporalWholePartTemplate(u3, x2)) . % RepresentationOfIndividual % RepresentationOfIndividual(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & ClassOfInformationRepresentation(x2) & DocumentDefinition(x3) & Language(x4) & RepresentationForm(x5) & exists u1 exists u2( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassOfRepresentationOfThingTemplate(x2, u1) & ClassificationTemplate(x2, u2) & ClassOfClassOfInformationRepresentation(u2) & SpecializationTemplate(u2, x3) & SpecializationTemplate(u2, x4) & SpecializationTemplate(u2, x5)) . % RepresentationOfIndividualOnDocument % RepresentationOfIndividualOnDocument(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfInformationObject(x2) & ClassOfExpressInformationRepresentation(x3) & DocumentDefinition(x4) & Language(x5) & RepresentationForm(x6) & exists u1 exists u2 exists u3( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & ClassOfRepresentationofThingTemplate(x3, u1) & ClassOfInformationObject(u2) & ClassOfTemporalWholePartTemplate(u2, x2) & SpecializationTemplate(u2, x3) & ClassificationTemplate(x3, u3) & ClassOfClassOfInformationRepresentation(u3) & SpecializationTemplate(u3, x4) & SpecializationTemplate(u3, x5) & SpecializationTemplate(u3, x6)) . % RepresentationOfIndividualOnDocumentWithTemplateSet % RepresentationOfIndividualOnDocumentWithTemplateSet(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfInformationObject(x2) & DocumentDefinition(x3) & Language(x4) & RepresentationForm(x5) & EnumeratedSetOfClass(x6) & exists u1 exists u2 exists u3( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & ClassOfInformationRepresentation(u2) & ClassOfRepresentationOfThingTemplate(u2, u1) & ClassOfInformationObject(u3) & ClassOfTemporalWholePartTemplate(u3, x2) UnionOfSetOfClassTemplate(x6, u2) & ClassificationTemplate(u2, u4) & ClassOfClassOfInformationRepresentation(u4) & SpecializationTemplate(u4, x3) & SpecializationTemplate(u4, x4) & SpecializationTemplate(u4, x5)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - EXISTENCE % % IndividualHasTemporalPart % IndividualHasTemporalPart(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & TemporalWholePartTemplate(x2, x1). % BeginningOfIndividualAtEvent % BeginningOfIndividualAtClassifiedEvent(hasBegunIndividual, hasEvent) <-> PossibleIndividual(hasBegunIndividual) & Event(hasEvent) & exists u1 exists u2( BeginningTemplate(hasEvent, hasBegunIndividual) & BeginningTemplate(u1, hasBegunIndividual) & CompositionOfIndividualTemplate(u1, hasEvent) & PointInTime(u1) & ClassOfidentificationTemplate(u2, u1) & RepresentationOfGregorianDateAndUtcTime(u2)) . % BeginningOfTemporalPartAtEvent % BeginningOfTemporalPartAtEvent(hasTemporalWhole, hasBegunIndividual, hasEvent) <-> PossibleIndividual(hasTemporalWhole) & PossibleIndividual(hasBegunIndividual) & Event(hasEvent) & TemporalWholePartTemplate(hasBegunIndividual, hasTemporalWhole) & BeginningTemplate(hasEvent, hasBegunIndividual) . % BeginningOfMemberOfClassOfIndividualAtEvent % BeginningOfMemberOfClassOfIndividualAtEvent(x1, x2, x3) <-> ClassOfIndividual(x1) & PossibleIndividual(x2) & Event(x3) & exists u1 exists u2( ClassificationTemplate(x2, x1) & BeginningTemplate(x3, x2) & CompositionOfIndividualTemplate(u, x3) & PointInTime(u) & ClassOfidentificationTemplate(u2, u1) & RepresentationOfGregorianDateAndUtcTime(u2)) . % EndingOfIndividual % EndingOfIndividual(x1, x2) <-> Possiblendividual(x1) & RepresentationOfGregorianDateAndUtcTime(x2) & exists u( PointInTime(u) & EndingTemplate(u, x1) & ClassOfIdentificationTemplate(x2, u)) . % EndingOfIndividualAtClassifiedEvent % EndingOfIndividualAtClassifiedEvent(x1, x2, x3) <-> PossibleIndividual(x1) & Event(x2) & ClassOfEvent(x3) & exists u1 exists u2( ClassificationTemplate(x2, x3) & EndingTemplate(x2, x1) & CompositionOfIndividualTemplate(u1, x2) & EndingTemplate(u1, x1) & PointInTime(u1) & ClassOfidentificationTemplate(u2, u1) & RepresentationOfGregorianDateAndUtcTime(u2)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - FUNCTION % % SkillOfAPerson % SkillOfAPerson(x1, x2) <-> edm_Person(x1) & ClassOfRelationshipWithSignature(x2) & exists u1 exists u2( TemporalWholePartTemplate(u1, x1) & edm_Person(u1) & SpecializationTemplate(u2, x2) & ClassOfRelationshipWithRelatedEnd1(u2) & related(u2, u1) & BeginningTemplate(u3, u1) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - IDENTIFICATION % % ClassifiedIdentificationOfIndividual % ClassifiedIdentificationOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & ExpressString(x2) & ClassOfClassOfIdentification(x3) & exists u1 exists u2 exists u3 exists u4( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & ClassOfIdentificationTriple(u2, x2, u1) & ClassificationTemplate(u2, x3) & PointInTime(u3) & BeginningTemplate(u3, u1) & ClassOfidentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % LabelChangeOfIndividual % LabelChangeOfIndividual(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfClassOfIdentification(x2) & ExpressString(x3) & ExpressString(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & ClassOfIdentificationTriple(u2, x3, u1) & ClassificationTemplate(u2, x2) & PointInTime(u3) & EndingTemplate(u3, u1) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4); PossibleIndividual(u5) & TemporalWholePartTemplate(u5, x1) & ClassOfIdentificationTriple(u6, x4, u5) & ClassificationTemplate(u6, x2) & BeginmingTemplate(u3, u5)) . % IdentificationOfIndividualWithClassifiedSign % IdentificationOfIndividualWithClassifiedSign(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfInformationObject(x3) & ClassificationTemplate(x2, x3) & exists u1 exists u2 exists u3( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & IdentificationTemplate(x2, u1) & PointInTime(u2) & BeginningTemplate(u2, u1) & RepresentationOfGregorianDateAndUtcTime(u3) & ClassOfIdentificationTemplate(u3, u2)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - PROPERTY-INDIRECT % % IndividualHasIndirectPropertyWithBoundingValues % IndividualHasIndirectPropertyWithBoundingValues(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & ExpressReal(x4) & Scale(x5) & exists u1 exists u2 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & IndirectPropertyTriple(u2, u1, u4) & ClassificationTemplate(u2, x2) & PropertyRange(u4) & LowerBoundOfPropertyRangeTemplate(u5, u4) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x5) & RealNumber(u7) & ClassOfIdentificationTemplate(x3, u7) & UpperBoundOfPropertyRangeTemplate(u8, u4) & Property(u8) & PropertyQuantificationTriple(u9, u8, u10) & ClassificationTemplate(u9, x5) & RealNumber(u10) & ClassOfIdentificationTemplate(x4, u10)) . % IndividualHasIndirectPropertyWithMaximumValue % IndividualHasIndirectPropertyWithMaximumValue(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & exists u1 exists u2 exists u4 exists u5 exists u6 exists u7( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & IndirectPropertyTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & ClassificationTemplate(u4, x4) & RealNumber(u5) & ClassOfIdentificationTemplate(x3, u5) & BeginningTemplate(u6, u1) & PointInTime(u6) & ClassOfIdentificationTemplate(u7, u6) & RepresentationOfGregorianDateAndUtcTime(u7)) . % IndividualHasIndirectPropertyWithMaximumValueInPeriodInTime % IndividualHasIndirectPropertyWithMaximumValueInPeriodInTime(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & exists u1 exists u2 exists u4 exists u5 exists u6 exists u7( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & IndirectPropertyTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & ClassificationTemplate(u4, x4) & RealNumber(u5) & ClassOfIdentificationTemplate(x3, u5) & BeginningTemplate(u6, u1) & PointInTime(u6) & ClassOfIdentificationTemplate(x5, u6) & EndingTemplate(u7, u1) & PointInTime(u7) & ClassOfIdentificationTemplate(x6, u7)) . % IndividualHasIndirectPropertyWithValue % IndividualHasIndirectPropertyWithValue(hasPossessor, hasIndirectPropertyType, valPropertyValue, hasScale) <-> PossibleIndividual(hasPossessor) & ClassOfIndirectProperty(hasIndirectPropertyType) & ExpressReal(valPropertyValue) & Scale(hasScale) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( PossibleIndividual(u1) & IndirectPropertyTriple(u2, u1, u3) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & RealNumber(u5) & PointInTime(u6) & RepresentationOfGregorianDateAndUtcTime(u7) & TemporalWholePartTemplate(u1, hasPossessor) & ClassificationTemplate(u2, hasIndirectPropertyType) & ClassificationTemplate(u4, hasScale) & ClassOfIdentificationTemplate(valPropertyValue, u5) & BeginningTemplate(u6, u1) & ClassOfIdentificationTemplate(u7, u6)) . % IndividualHasIndirectPropertyWithAverageValueInPeriodInTime % IndividualHasIndirectPropertyWithAverageValueInPeriodInTime(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & exists u1 exists u2 exists u4 exists u5 exists u6 exists u7( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & IndirectPropertyTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & ClassificationTemplate(u4, x4) & RealNumber(u5) & ClassOfIdentificationTemplate(x3, u5) & BeginningTemplate(u6, u1) & PointInTime(u6) & ClassOfIdentificationTemplate(x5, u6) & EndingTemplate(u7, u1) & PointInTime(u7) & ClassOfIdentificationTemplate(x6, u7)) . % IndividualHasIndirectPropertyWithMinimumValue % IndividualHasIndirectPropertyWithMinimumValue(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & exists u1 exists u2 exists u4 exists u5 exists u6 exists u7 exists u8( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & IndirectPropertyTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & PropertyRange(u3) & LowerBoundOfPropertyRangeTemplate(u4, u3) & Property(u4) & PropertyQuantificationTriple(u5, u4, u6) & ClassificationTemplate(u5, x4) & RealNumber(u6) & ClassOfIdentificationTemplate(x3, u6) & BeginningTemplate(u7, u1) & PointInTime(u7) & ClassOfIdentificationTemplate(u8, u7) & RepresentationOfGregorianDateAndUtcTime(u8)) . % IndividualHasIndirectPropertyWithMinimumValueInPeriodInTime % IndividualHasIndirectPropertyWithMinimumValueInPeriodInTime(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & exists u1 exists u2 exists u4 exists u5 exists u6 exists u7( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & IndirectPropertyTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & ClassificationTemplate(u4, x4) & RealNumber(u5) & ClassOfIdentificationTemplate(x3, u5) & BeginningTemplate(u6, u1) & PointInTime(u6) & ClassOfIdentificationTemplate(x5, u6) & EndingTemplate(u7, u1) & PointInTime(u7) & ClassOfIdentificationTemplate(x6, u7) . % IndividualHasMonetaryValue % IndividualHasMonetaryValue(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfIndirectProperty(x2) & ExpressReal(x3) & Scale(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & IndirectPropertyTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & ClassificationTemplate(u4, x4) & RealNumber(u5) & ClassOfIdentificationTemplate(x3, u5) & PointInTime(u6) & BeginningTemplate(u6, u1) & RepresentationOfGregorianDateAndUtcTime(u7) & ClassOfIdentificationTemplate(u7, u6)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - LOCATION % % ContainmentOfAnIndividual % ContainmentOfAnIndividual(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & exists u1 exists u2 exists u3 exists u4( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ContainmentOfIndividualTemplate(u2,u1) & TemporalWholePartTemplate(u2, x2) & PossibleIndividual(u2) & BeginningTemplate(u3, u1) & BeginningTemplate(u3, u2) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % RelativeLocationOfIndividual % RelativeLocationOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfRelativeLocation(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & RelativeLocationTriple(u2, u1, u3) & ClassificationTemplate(u2, x3) & PossibleIndividual(u3) & TemporalWholePartTemplate(u3, x2) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % PositionOfAnIndividualInA2DCoordinateSystem % PositionOfAnIndividualInA2DCoordinateSystem(x1, x2, x3, x4) <-> PossibleIndividual(x1) & CoordinateSystem(x2) & ExpressReal(x3) & ExpressReal(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8( TemporalWholePartTemplate(u6, x1) & PossibleIndividual(u6) & ClassificationTemplate(u6, u1) & tpl_MultidimensionalProperty_2DCoordinates(u1) & PropertyQuantificationTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & MultidimensionalNumber(u3) & hasElement1(u3, u4) & hasElement2(u3, u5) & ClassOfIdentificationTemplate(x3, u4) & ClassOfIdentificationTemplate(x4, u5) & BeginningTemplate(u7, u6) & PointInTime(u7) & ClassOfIdentificationTemplate(u8, u7) & RepresentationOfGregorianDateAndUtcTime(u8)) . % PositionOfAnIndividualInA3DCoordinateSystem % PositionOfAnIndividualInA3DCoordinateSystem(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & CoordinateSystem(x2) & ExpressReal(x3) & ExpressReal(x4) & ExpressReal(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9( TemporalWholePartTemplate(u7, x1) & PossibleIndividual(u7) & ClassificationTemplate(u7, u1) & tpl_MultidimensionalProperty_3DCoordinates(u1) & PropertyQuantificationTriple(u2, u1, u3) & ClassificationTemplate(u2, x2) & MultidimensionalNumber(u3) & hasElement1(u3, u4) & hasElement2(u3, u5) & hasElement3(u3, u6) & ClassOfIdentificationTemplate(x3, u4) & ClassOfIdentificationTemplate(x4, u5) & ClassOfIdentificationTemplate(x5, u6) & BeginningTemplate(u8, u7) & PointInTime(u8) & ClassOfIdentificationTemplate(u9, u8) & RepresentationOfGregorianDateAndUtcTime(u9)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - MATERIAL % % ClassificationOfIndividualWithCompoundType % ClassificationOfIndividualWithCompoundType(x1, x2) <-> PossibleIndividual(x1) & ClassOfCompound(x2) & exists u1 exists u2 exists u3( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, x2) & BeginningTemplate(u2, u1) & PointInTime(u2) & ClassOfIdentificationTemplate(u3, u2) & RepresentationOfGregorianDateAndUtcTime(u3)) . % ClassificationOfIndividualWithBiologicalMatterType % ClassificationOfIndividualWithBiologicalMatterType(x1, x2) <-> PossibleIndividual(x1) & ClassOfBiologicalMatter(x2) & exists u1 exists u2 exists u3( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, x2) & BeginningTemplate(u2, u1) & PointInTime(u2) & ClassOfIdentificationTemplate(u3, u2) & RepresentationOfGregorianDateAndUtcTime(u3)) . % ClassificationOfIndividualWithCompositeMaterialType % ClassificationOfIndividualWithCompositeMaterialType(x1, x2) <-> PossibleIndividual(x1) & ClassOfCompositeMaterial(x2) & exists u1 exists u2 exists u3( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, x2) & BeginningTemplate(u2, u1) & PointInTime(u2) & ClassOfIdentificationTemplate(u3, u2) & RepresentationOfGregorianDateAndUtcTime(u3)) . % ClassificationOfIndividualWithParticulateMaterialType % ClassificationOfIndividualWithParticulateMaterialType(x1, x2) <-> PossibleIndividual(x1) & ClassOfParticulateMaterial(x2) & exists u1 exists u2 exists u3( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, x2) & BeginningTemplate(u2, u1) & PointInTime(u2) & ClassOfIdentificationTemplate(u3, u2) & RepresentationOfGregorianDateAndUtcTime(u3)) . % ClassificationOfIndividualWithPhase % ClassificationOfIndividualWithPhase(x1, x2) <-> PossibleIndividual(x1) & Phase(x2) & exists u1 exists u2 exists u3( TemporalWholepartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, x2) & BeginningTemplate(u2, u1) & PointInTime(u2) & ClassOfIdentificationTemplate(u3, u2) & RepresentationOfGregorianDateAndUtcTime(u3)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - % % CounterpartRelationship % BeginningOfTemporalPart(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2( PointInTime(u1) & BeginningTemplate(u1, x2) & RepresentationOfGregorianDateAndUtcTime(u2) & ClassOfIdentificationTemplate(u2, u1)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - RELATIONSHIP-OTHER % % ParticipatingRelationshipBetweenTwoPhysicalObjects % ParticipatingRelationshipBetweenTwoPhysicalObjects(x1, x2, x3, x4, x5) <-> PhysicalObject(x1) & Role(x2) & PhysicalObject(x3) & Role(x4) & ClassOfRelationshipWithSignature(x5) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & PhysicalObject(u1) & ClassificationTemplate(u1, x2) & TemporalWholePartTemplate(u3, x3) & PhysicalObject(u3) & ClassificationTemplate(u3, x4) & ClassificationTemplate(u2, x5) & OtherRelationshipTriple(u2, u3, u1) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % PhysicalObjectIsDeliverableOfIndividual % PhysicalObjectIsDeliverableOfIndividual(x1, x2) <-> PhysicalObject(x1) & PossibeIndividual(x2) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( TemporalWholePartTemplate(u1, x1) & PhysicalObject(u1) & rdl_RDS2228375(u6) & ClassificationTemplate(u2, u6) & OtherRelationshipTriple(u2, u1, u3) & TemporalWholePartTemplate(u3, x2) & PossibleIndividual(u3) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % ParticipatingRelationshipBetweenIndividualAndClassOfIndividual % ParticipatingRelationshipBetweenIndividualAndClassOfIndividual(x1, x2, x3, x4, x5) <-> ClassOfPhysicalObject(x1) & Role(x2) & PhysicalObject(x3) & Role(x4) & ClassOfRelationshipWithSignature(x5) & exists u1 exists u2 exists u3 exists u4 exists u5( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfPhysicalObject(u1) & SpecializationTemplate(u1, x2) & TemporalWholePartTemplate(u3, x3) & PhysicalObject(u3) & ClassificationTemplate(u3, x4) & ClassificationTemplate(u2, x5) & ClassOfRelationshipWithRelatedEnd1Triple(u2, u3, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % ClassOfIndividualOriginatedByIndividual % ClassOfIndividualOriginatedByIndividual(x1, x2) <-> ClassOfIndividual(x1) & PhysicalObject(x2) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( ClassOfTemporalWholePartTemplate(u1, x1) & ClassOfIndividual(u1) & rdl_RDS2228373(u3) & SpecializationTemplate(u2, u3) & ClassOfRelationshipWithRelatedEnd1Triple(u2, u1, u4) & TemporalWholePartTemplate(u4, x2) & PhysicalObject(u4) & BeginningTemplate(u5, u4) & PointInTime(u5) & ClassOfIdentificationTemplate(u6, u4) & RepresentationOfGregorianDateAndUtcTime(u6)) . % ReferenceRelationshipBetweenIndividualAndClassOfIndividual % ReferenceRelationshipBetweenIndividualAndClassOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & ClassOfIndividual(x2) & ClassOfRelationshipWithSignature(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassOfTemporalWholePartTemplate(u3, x2) & ClassOfIndividual(u3) & ClassificationTemplate(u2, x3) & ClassOfRelationshipWithRelatedEnd1Triple(u2, u3, u1) & BeginningTemplate(u4, u1) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % EmploymentOfPerson % EmploymentOfPerson(x1, x2, x3) <-> PhysicalObject(x1) & PossibleIndividual(x2) & ClassOfRelationshipWithSignature(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & PhysicalObject(u1) & TemporalWholePartTemplate(u3, x2) & PossibleIndividual(u3) & ClassificationTemplate(u2, x3) & OtherRelationshipTriple(u2, u3, u1) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % LiaisonRelationship % LiaisonRelationship(x1, x2) <-> PhysicalObject(x1) & PossibleIndividual(x2) & ClassOfRelationshipWithSignature(u6) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( TemporalWholePartTemplate(u1, x1) & PhysicalObject(u1) & TemporalWholePartTemplate(u3, x2) & PossibleIndividual(u3) & ClassOfRelationshipWithSignature(u6) & ClassificationTemplate(u2, u6) & OtherRelationshipTriple(u2, u3, u1) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % ProductManufacturedBy % ProductManufacturedBy(x1, x2, x3) <-> PhysicalObject(x1) & PossibleIndividual(x2) & ClassOfRelationshipWithSignature(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & PhysicalObject(u1) & TemporalWholePartTemplate(u3, x2) & PossibleIndividual(u3) & ClassificationTemplate(u2, x3) & OtherRelationshipTriple(u2, u3, u1) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % ProductSoldBy % ProductManufacturedBy(x1, x2, x3) <-> ClassOfPhysicalObject(x1) PhysicalObject(x2) & PossibleIndividual(x3) & exists u1 exists u2 exists u3 exists u4 exists u5 ( ClassificationTemplate(x2, x1) & TemporalWholePartTemplate(u2, x3) & PossibleIndividual(u2) & ClassOfRelationshipWithSignature(u5) & ClassificationTemplate(u1, u5) & OtherRelationshipTriple(u1, x2, u2) & BeginningTemplate(u3, x2) & BeginningTemplate(u3, u2) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % CounterpartRelationship % CounterpartRelationship(hasWorld1Object, hasWorld2Object) <-> PossibleIndividual(hasWorld1Object) & PossibleIndividual(hasWorld2Object) & CounterparTemplate(hasWorld1Object, hasWorld2Object) . % RealizationOfNonActualIndividual % RealizationOfNonActualIndividual(hasNonActualObject, hasActualObject) <-> PossibleIndividual(hasNonActualObject) & PossibleIndividual(hasActualObject) & CounterparTemplate(hasNonActualObject, hasActualObject) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - PROPERTY AND STATUS % % IndividualHasPropertyWithValue % IndividualHasPropertyWithValue(hasPossessor, hasPropertyType, valPropertyValue, hasScale) <-> PossibleIndividual(hasPossessor) & ClassOfProperty(hasPropertyType) & ExpressReal(valPropertyValue) & Scale(hasScale) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, Possessor) & Property(u2) & ClassificationTemplate(u1, u2 & ClassificationTemplate(u2, PropertyType) & PropertyQuantificationTriple(u3, u2, u4) & ClassificationTemplate(u3, Scale) & RealNumber(u4) & ClassOfIdentificationTemplate(PropertyValue, u4) & PointInTime(u5) & BeginningTemplate(u5, u1) & ClassOfIdentificationTemplate(u6, u5) & RepresentationOfGregorianDateAndUtcTime(u6)) . % IndividualHasTwoDimensionalPropertyWithValues % IndividualHasTwoDimensionalPropertyWithValues(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfMultidimensionalObject(x1) & PossibleIndividual(x2) & SinglePropertyDimension(x3) & ExpressReal(x4) & Scale(x5) & SinglePropertyDimension(x6) & ExpressReal(x7) & Scale(x8) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, x3) & ClassificationTemplate(u2, x3) & Property(u2) & ClassificationTemplate(u3, x5) & PropertyQuantificationTriple(u3, u2, u4) & RealNumber(u4) & ClassOfIdentificationTemplate(x4, u4) & ClassificationTemplate(u1, x6) & ClassificationTemplate(u5, x6) & Property(u5) & ClassificationTemplate(u6, x8) & PropertyQuantificationTriple(u6, u5, u7) & RealNumber(u7) & ClassOfIdentificationTemplate(x7, u7) & ClassificationTemplate(u8, x1) & MultidimensionalProperty(u8) & element1(u8, u2) & element2(u8, u5) & BeginningTemplate(u9, u1) & PointInTine(u9) & ClassOfIdentificationTemplate(u10, u9) & RepresentationOfGregorianDateAndUtcTime(u10)) . % IndividualHasPropertyRatio % IndividualHasPropertyRatio(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfMultidimensionalObject(x2) & SinglePropertyDimension(x3) & ExpressReal(x4) & ExpressReal(x5) & ExpressReal(x6) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7 exists u8 exists u9 exists u10 exists u11 exists u12 exists u13 exists u14 exists u15( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & MultidimensionalProperty(u2) & element1(u2, u3) & element2(u2, u6) & ClassificationTemplate(u2, x2) & Property(u3) & ClassificationTemplate(u3, x3) & PropertyQuantificationTriple(u4, u3, u5) & ClassificationTemplate(u4, u13) & RealNumber(u5) & ClassOfIdentificationTemplate(x4, u5) & Property(u6) & ClassificationTemplate(u6, x3) & PropertyQuantificationTriple(u7, u6, u8) & ClassificationTemplate(u7, u13) & RealNumber(u8) & ClassOfIdentificationTemplate(x5, u8) & MultidimensionalNumber(u9) & FunctionalMappingTriple(u10, u9, u12) & ClassificationTemplate(u10, u11) & ClassOfFunctionalMapping(u11) & RealNumber(u12) & ClassOfIdentificationTemplate(x6, u12) & Scale(u13) & PointInTime(u14) & BeginningTemplate(u14, u1) & RepresentationOfGregorianDateAndUtcTime(u15) & ClassOfIdentificationTemplate(u15, u14)) . % IndividualHasStatus % IndividualHasStatus(x1, x2) <-> PossibleIndividual(x1) & Status(x2) & exists u1 exists u2 exists u3( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & ClassificationTemplate(u1, x2) & PointInTime(u2) & BeginningTemplate(u2, u1) & RepresentationOfGregorianDateAndUtcTime(u3) & ClassOfIdentificationTemplate(u3, u2)) . % EndingOfStatusOfIndividualAtClassifiedEvent % EndingOfStatusOfIndividualAtClassifiedEvent(x1, x2, x3, x4) <-> PossibleIndividual(x1) & Status(x2) & ClassOfEvent(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & exists u1 exists u2 exists u3( TemporalWholePartTemplate(u1, x1) & PoaaibleIndividual(u1) & ClassificationTemplate(u1, x2) & EndingTemplate(u2, u1) & Event(u2) & ClassificationTemplate(u2, x3) & CompositionOfIndividual(u2, u3) & PointInTime(u3) & ClassOfIdentification(x4, u3)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - SHAPE % % ShapeOfIndividualWithReferenceProperty % ShapeOfIndividualWithReferenceProperty(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfShape(x2) & ClassOfShapeDimension(x3) & Property(x4) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, u2) & Shape(u2) & ClassificationTemplate(u2, x2) & DimensionOfShapeTemplate(u3, u2) & ShapeDimension(u3) & ClassificationTemplate(u3, x3) & PropertyForShapeDimensionTemplate(x4, u3) & BeginningTemplate(u4, u1) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % ShapeOfIndividualWithDimension % ShapeOfIndividualWithDimension(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfShape(x2) & ClassOfShapeDimension(x3) & SinglePropertyDimension(x4) & ExpressReal(x5) & Scale(x6) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, u2) & Shape(u2) & ClassificationTemplate(u2, x2) & DimensionOfShapeTemplate(u3, u2) & ShapeDimension(u3) & ClassificationTemplate(u3, x3) & PropertyForShapeDimensionTemplate(u4, u3)& Property(u4) & ClassificationTemplate(u4, x4) & PropertyQuantificationTriple(u5, u4, u6) & ClassificationTemplate(u5, x6) & RealNumber(u6) & ClassOfIdentificationTemplate(x5, u6) & BeginningTemplate(u7, u1) & PointInTime(u7) & ClassOfIdentificationTemplate(u8, u7) & RepresentationOfGregorianDateAndUtcTime(u8)) . % DefinitionOfShapeOfIndividual % DefinitionOfShapeOfIndividual(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfShape(x2) & ClassOfInformationRepresentation(x3) & RepresentationForm(x4) & EnumeratedSetOfClass(x5) & tpl_ClassOfInformationRepresentation_AND_Axis2Placement(x6) & ClassificationTemplate(x3, x4) & exists u1 exists u2( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u1, u2) & Shape(u2) & ClassificationTemplate(u2, x2) & ClassOfDefinitionTemplate(x3, u2) & UnionOfSetOfClassTemplate(x5, x3) & ClassOfCompositionOfIndividualTemplate(x6, x3)) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - STREAM % % StreamHasSource % StreamHasSource(x1, x2, x3) <-> Stream(x1) & PhysicalObject(x2) & ClassOfRelationshipWithSignature(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & Stream(u1) & ClassificationTemplate(u2, x3) & OtherRelationshipTriple(u2, u1, u3) & TemporalWholePartTemplate(u3, x2) & PhysicalObject(u3) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % StreamHasDestination % StreamHasDestination(x1, x2, x3) <-> Stream(x1) & PhysicalObject(x2) & ClassOfRelationshipWithSignature(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & Stream(u1) & ClassificationTemplate(u2, x3) & OtherRelationshipTriple(u2, u1, u3) & TemporalWholePartTemplate(u3, x2) & PhysicalObject(u3) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % PropertyOfStreamAtRelativeLocation % PropertyOfStreamAtRelativeLocation(x1, x2, x3, x4, x5) <-> Stream(x1) & PhysicalObject(x2) & SinglePropertyDimension(x3) & ExpressReal(x4) & Scale(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( TemporalWholePartTemplate(u1, x1) & Stream(u1) & TemporalWholePartTemplate(u2, x2) & PhysicalObject(u2) & ContainmentOfIndividualTemplate(u1, u2) & BeginningTemplate(u3, u1) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & ClassificationTemplate(u1, u5) & ClassificationTemplate(u5, x3) & Property(u5) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u6, x5) & RealNumber(u7) & ClassOfIdentificationTemplate(x4, u7)) . % StreamCompliesWithProcessDesignStream % StreamCompliesWithProcessDesignStream(x1, x2, x3, x4, x5, x6)<-> Stream(x1) & Activity(x2) & ClassOfStream(x3) & Role(x4) & ClassOfActivity(x5) & ClassOfAssertion(x6( & exists u1, exists u2, exists u3, exists u4, exists u5 exists u6 exists u7 exists u8 exists u9( ClassOfTemporalWholePartTemplate(u1, x5) & ClassOfActivity(u1) & ClassOfParticipationTriple(u3, u2, u1) & ParticipatingRoleAndDomain(u2) & SpecializationByDomainTemplate(u2, x3) & SpecializationByRoleTemplate(u2, x4) & ClassificationTemplate(u5, u1) & ClassificationTemplate(u7, u3) & ClassificationTriple(u4, u6, u2) & ClassificationTemplate(u4, x6) & TemporalWholePartTemplate(u5, x2) & Activity(u5) & ParticipationTriple(u7, u6, u5) & Stream(u6) & TemporalWholePartTemplate(u6, x1) & BeginningTemplate(u8, u5) & BeginningTemplate(u8, u6) & PointInTime(u8) & ClassOfIdentificationTemplate(u9, u8) & RepresentationOfGregorianDateAndUtcTime(u9) . % % TEMPLATES ABOUT POSSIBELINDIVIDUAL - STRUCTURE % % CompositionOfAnIndividual % CompositionOfAnIndividual(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & exists u1 exists u2 exists u3 exists u4( TemporalWholePartTemplate(u1,x1) & PossibleIndividual(u1) & TemporalWholePartTemplate(u2, x2) & PossibleIndividual(u2) & CompositionOfIndividualTemplate(u2, u1) & BeginningTemplate(u3, u1) & BeginningTemplate(u3, u2) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % IndirectPartakingOfNonActualObjectInActualComposition % % ArrangementOfAnIndividual % ArrangementOfAnIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfArrangementOfIndividual(x3) & exists u1 exists u2 exists u3 exists u4 exiats u5( TemporalWholePartTemplate(u1,x1) & PossibleIndividual(u1) & TemporalWholePartTemplate(u2, x2) & PossibleIndividual(u2) & ClassificationTemplate(u5, x3) & ArrangementOfIndividualTriple(u5, u2, u1) & BeginningTemplate(u3, u1) & BeginningTemplate(u3, u2) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % AssemblyOfAnIndividual % AssemblyOfAnIndividual(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & exists u1 exists u2 exists u3 exists u4( TemporalWholePartTemplate(u1,x1) & PossibleIndividual(u1) & TemporalWholePartTemplate(u2, x2) & PossibleIndividual(u2) & AssemblyOfIndividualTemplate(u2, u1) & BeginningTemplate(u3, u1) & BeginningTemplate(u3, u2) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % ClassifiedAssemblyOfIndividual % ClassifiedAssemblyOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfAssemblyOfIndividual(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1,x1) & PossibleIndividual(u1) & TemporalWholePartTemplate(u3, x2) & PossibleIndividual(u3) & ClassificationTemplate(u2, x3) & AssemblyOfIndividualTriple(u2, u3, u1) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % PartInAssemblyApplicableYesNo % PartInAssemblyNotApplicable(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & rdl_RDS2221035(u6) & ClassificationTemplate(u2, x3) & AssemblyOfIndividualTriple(u2, u3, u1) & TemporalWholePartTemplate(u3, x2) & PossibleIndividual(u3) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % FeatureOfIndividual % FeatureOfIndividual(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & exists u1 exists u2 exists u3 exists u4( TemporalWholePartTemplate(u1,x1) & PossibleIndividual(u1) & TemporalWholePartTemplate(u2, x2) & PossibleIndividual(u2) & FeatureWholePartTemplate(u2, u1) & BeginningTemplate(u3, u1) & BeginningTemplate(u3, u2) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % FeatureOfIndividualApplicableYesNo % FeatureOfIndividualApplicableYesNo(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfAssertion(x3) & exists u1 exists u2 exists u3 exists u4 exists u5( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u2, x3) & FeatureWholePartTriple(u2, u3, u1) & TemporalWholePartTemplate(u3, x2) & PossibleIndividual(u3) & BeginningTemplate(u4, u1) & BeginningTemplate(u4, u3) & PointInTime(u4) & ClassOfIdentificationTemplate(u5, u4) & RepresentationOfGregorianDateAndUtcTime(u5)) . % ClassifiedDirectConnectionOfTwoIndividuals % ClassifiedDirectConnectionOfTwoIndividuals(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfDirectConnection(x3) & exists u1 exists u2 exists u3 exists u4( TemporalWholePartTemplate(u1,x1) & PossibleIndividual(u1) & TemporalWholePartTemplate(u2, x2) & PossibleIndividual(u2) & ClassificationTemplate(x4, x3) & DirectConnectionTriple(x4, u1, u2) & BeginningTemplate(u3, u1) & BeginningTemplate(u3, u2) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % ClassifiedIndirectConnectionOfTwoIndividuals % ClassifiedIndirectConnectionOfTwoIndividuals(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfIndirectConnection(x3) & exists u1 exists u2 exists u3 exists u4( TemporalWholePartTemplate(u1,x1) & PossibleIndividual(u1) & TemporalWholePartTemplate(u2, x2) & PossibleIndividual(u2) & ClassificationTemplate(x4, x3) & IndirectConnectionTriple(x4, u1, u2) & BeginningTemplate(u3, u1) & BeginningTemplate(u3, u2) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % IndividualUsedInADirectConnection % IndividualUsedInADirectConnection(x1, x2, x3) <-> PossibleIndividual(x1) & DirectConnection(x2) & ClassOfIndividualUsedInConnection(x3) & exists u1 exists u2 exists u3 exists u4( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u2, x3) & IndividualUsedInConnectionTriple(u2, x2, u1) & BeginningTemplate(u3, u1) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % IndividualUsedInAnIndirectConnection % IndividualUsedInAnIndirectConnection(x1, x2, x3) <-> PossibleIndividual(x1) & IndirectConnection(x2) & ClassOfIndividualUsedInConnection(x3) & exists u1 exists u2 exists u3 exists u4( TemporalWholePartTemplate(u1, x1) & PossibleIndividual(u1) & ClassificationTemplate(u2, x3) & IndividualUsedInConnectionTriple(u2, x2, u1) & BeginningTemplate(u3, u1) & PointInTime(u3) & ClassOfIdentificationTemplate(u4, u3) & RepresentationOfGregorianDateAndUtcTime(u4)) . % AggregateOfMonotypeIndividual % AggregateOfMonotypeIndividual(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfParticulateMaterial(x2) & ClassOfArrangedIndividual(x3) & ExpressInteger(x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( PossibleIndividual(u1) & TemporalWholePartTemplate(u1, x1) & SpecializationTemplate(u2, x2) & ClassOfParticulateMaterial(u2) & SpecializationTemplate(u1, u2) & ClassOfContainmentOfIndividualTriple(u3, x3, u2) & end1Cardinality(u3, u4) & end2Cardinality(u3, u5) & Cardinality(u4) & minimumCardinality(u4, x2) & maximumCardinality(u4, x2) & tpl_Cardinality_1to1(u5) & BeginningTemplate(u6, u5) & PointInTime(u6) & ClassOfIdentificationTemplate(u7, u6) & RepresentationOfGregorianDateAndUtcTime(u7)) .