% % All templates - revision 2012-08-17T13:33:00Z - first round of checks completed, now changes made due to fallout of one-by-one check of data; Added ClassifiedClassOfDirectConnectionDefinition % % % 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 CLASSES ALPHABETICALLY SORTED BY ASPECT % % % % TEMPLATES ABOUT CLASSES - ACTIVITY % % % ClassOfParticipationDefinition % ClassOfParticipationDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfActivity(x1) & ClassOfActivity(x2) & ClassOfIndividual(x3) & Role(x4) & Cardinality(x6) & Cardinality(x7) & SpecializationTemplate(x2, x1) & exists u(ParticipatingRoleAndDomain(u) & SpecializationByDomainTemplate(u, x4) & SpecializationByRoleTemplate(u, x5) & ClassOfParticipationTriple(x5, u, x2) & end1Cardinality(x2, x6) & end2Cardinality(x2, x7)) . % ClassOfParticipationApplicableYesNo % ClassOfParticipationApplicableYesNo(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfActivity(x1) & ClassOfActivity(x2) & ClassOfIndividual(x3) & Role(x4) & ClassOfAssertion(x5) & Cardinality(x6) & Cardinality(x7) & SpecializationTemplate(x2, x1) & exists u1 exists u2(ParticipatingRoleAndDomain(u1) & SpecializationByDomainTemplate(u1, x3) & SpecializationByRoleTemplate(u1, x4) & ClassOfParticipationTriple(u2, u1, x2) & end1Cardinality(u2, x7) & end2Cardinality(u2, x6) & SpecializationTemplate(u2, x5)) . % ClassOfInvolvementByReferenceDefinition % ClassOfInvolvementByReferenceDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfActivity(x1) & ClassOfActivity(x2) & Class(x3) & Role(x4) & Cardinality(x6) & Cardinality(x7) & exists u(RoleAndDomain(u) & SpecializationByDomainTemplate(u, x4) & SpecializationByRoleTemplate(u, x5) & ClassOfInvolvementByReferenceTriple(x5, u, x2) & end1Cardinality(x3, x7) & end2Cardinality(x3, x6)) . % ClassOfRecognitionDefinition % ClassOfRecognitionDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfActivity(x1) & ClassOfActivity(x2) & Class(x4) & ClassOfClass(x5) & Cardinality(x6) & Cardinality(x7) & exists u(ClassOfClassificationTriple(u, x4, x5) & ClassOfRecognitionTriple(x3, u, x2) & end1Cardinality(x3, x7) & end2Cardinality(x3, x6)) . % ClassOfCauseOfBeginningOfClassOfIndividualDefinition % ClassOfCauseOfBeginningOfClassOfIndividualDefinition(x1, x2, x3, x4, x5, x6) <-> ClassOfActivity(x1) & ClassOfActivity(x2) & ClassOfCauseOfBeginningOfClassOfIndividualTriple(x3, x4, x2) & ClassOfIndividual(x4) & Cardinality(x5) & Cardinality(x6) & end1Cardinality(x3, x6) & end2Cardinality(x3, x5) . % ClassOfCauseOfEndingOfClassOfIndividualDefinition % ClassOfCauseOfEndingOfClassOfIndividualDefinition(x1, x2, x3, x4, x5, x6) <-> ClassOfActivity(x1) & ClassOfActivity(x2) & ClassOfCauseOfEndingOfClassOfIndividualTriple(x3, x4, x2) & ClassOfIndividual(x4) & Cardinality(x5) & Cardinality(x6) & end1Cardinality(x3, x6) & end2Cardinality(x3, x5) . % % TEMPLATES ABOUT CLASSES - CLASSIFICATION AND SPECIALIZATION % % % ClassificationOfClass % ClassificationOfClass(x1, x2, x3) <-> Class(x1) & Class(x2) & ClassOfClass(x3) & SpecializationTemplate(x2, x1) & ClassOfClassificationTemplate(x2, x3) . % SpecializationOfClass % SpecializationOfClass(x1, x2, x3) <-> Class(x1) & Class(x2) & ClassOfClass(x3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x2, x3) . % % TEMPLATES ABOUT CLASSES - RELATIONSHIPS BETWEEN CLASSES % % % DifferenceOf2Classes % DifferenceOf2Classes(x1, x2, x3) <-> Class(x1) & Class(x2) & Class(x3) & exists u1 exists u2(EnumeratedSetOfClass(u1) & rdl_SetOf2Classes(u2) & ClassificationTemplate(u1, u2) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & DifferenceOfSetOfClassTemplate(u1, x3)) . % DisjointnessOf2Classes % DisjointnessOf2Classes(x1, x2) <-> Class(x1) & Class(x2) & exists u1 exists u2 exists u3(EnumeratedSetOfClass(u1) & rdl_SetOf2Classes(u2) & EmptyClass(u3) & ClassificationTemplate(u1, u2) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & IntersectionOfSetOfClassTemplate(u1, u3)) . % EnumeratedSetOf2Classes % EnumeratedSetOf2Classes(x1, x2, x3) <-> Class(x1) & Class(x2) & EnumeratedSetOfClass(x3) & ClassificationTemplate(x1, x3) & ClassificationTemplate(x2, x3) & exists u(rdl_SetOf2Classes(u) & ClassificationTemplate(x3, u)) . % EnumeratedSetOf3Classes % EnumeratedSetOf3Classes(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & Class(x3) & EnumeratedSetOfClass(x4) & ClassificationTemplate(x1, x4) & ClassificationTemplate(x2, x4) & ClassificationTemplate(x3, x4) & exists u(rdl_SetOf2Classes(u) & ClassificationTemplate(x4, u)) . % IntersectionOf2Classes % IntersectionOf2Classes(x1, x2, x3) <-> Class(x1) & Class(x2) & Class(x3) & exists u1 exists u2(EnumeratedSetOfClass(u1) & rdl_SetOf2Classes(u2) & ClassificationTemplate(u1, u2) & 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 exists v1( EnumeratedSetOfClass(u1) & rdl_SetOf2Classes(u2) & Class(u3) & ClassificationTemplate(u1, u2) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & DifferenceOfSetOfClassTemplate(u1, u3) & EnumeratedSetOfClass(v1) & ClassificationTemplate(v1, u2) & ClassificationTemplate(x1, v1) & ClassificationTemplate(u3, v1) & IntersectionOfSetOfClassTemplate(v1, x3)) . % UnionOf2Classes % UnionOf2Classes(x1, x2, x3) <-> Class(x1) & Class(x2) & Class(x3) & exists u1 exists u2(EnumeratedSetOfClass(u1) & rdl_SetOf2Classes(u2) & ClassificationTemplate(u1, u2) & ClassificationTemplate(x1, u1) & ClassificationTemplate(x2, u1) & UnionOfSetOfClassTemplate(u1, x3)) . % % TEMPLATES ABOUT CLASSES - CLASS OF PROPERTY % % % ReferencePropertyRange % ReferencePropertyRange(x1, x2, x3, x4) <-> PropertyRange(x1) & ClassOfProperty(x2) & Property(x3) & Property(x4) & SpecializationTemplate(x1, x2) & LowerBoundOfPropertyRangeTemplate(x3, x1) & UpperBoundOfPropertyRangeTemplate(x4, x1) . % ReferencePropertyRangeWithValues % ReferencePropertyRangeWithValues(x1, x2, x3, x4, x5) <-> PropertyRange(x1) & ClassOfProperty(x2) & ExpressReal(x3) & ExpressReal(x4) & ScaleTriple(x5) & SpecializationTemplate(x1, x2) & exists u1 exists u2 exists u3( Property(u1) & LowerBoundOfPropertyRangeTemplate(u1, x1) & RealNumber(u3) & PropertyQuantificationTriple(u2, u1, u3) & ClassificationTemplate(u2, x5) & ClassOfIdentificationTemplate(x3, u3)) & exists v1 exists v2 exists v3( Property(v1) & UpperBoundOfPropertyRangeTemplate(v1, x1) & RealNumber(v3) & PropertyQuantificationTriple(v2, v1, v3) & ClassificationTemplate(v2, x5) & ClassOfIdentificationTemplate(x4, v3)) . % ReferencePropertyRangeOfClassOfIndividual % ReferencePropertyRangeOfClassOfIndividual(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & PropertyRange(x3) & Cardinality(x4) & exists u(ClassOfClassificationTriple(u, x2, x3) & end1Cardinality(u, x4)) . % PropertyRangeOfClassOfIndividual % PropertyRangeOfClassOfIndividual(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfProperty(x3) & Property(x4) & Property(x5) & Cardinality(x7) & end1Cardinality(x6, x7) & exists u(PropertyRange(u) & ClassOfClassificationTriple(x6, x1, u) & SpecializationTemplate(u, x3) & LowerBoundOfPropertySpaceTemplate(x4, u) & UpperBoundOfPropertySpaceTemplate(x5, u)) . % PropertyRangeOfClassOfIndividualWithValues % PropertyRangeOfClassOfIndividualWithValues(x2, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & PropertySpace(x3) & ExpressReal(x4) & ExpressReal(x5) & ScaleTriple(x6) & Cardinality(x8) & SpecializationTemplate(x2, x1) & exists u4(PropertyRange(u4) & ClassOfClassificationTriple(x7, x2, u4) & end1Cardinality(x7, x8) & SpecializationTemplate(u4, x3)) & exists u1 exists u2 exists u3 exists u4( Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & LowerBoundOfPropertyRangeTemplate(u1, u4) & ClassificationTemplate(u2, x6) & ClassOfIdentificationTemplate(x4, u3)) & exists v1 exists v2 exists v3 exists u4( Property(v1) & PropertyQuantificationTriple(v2, v1, v3) & RealNumber(v3) & UpperBoundOfPropertyRangeTemplate(v1, u4) & ClassificationTemplate(v2, x6) & ClassOfIdentificationTemplate(x5, v3)) . % PropertyRangeOfClassOfIndividualWithPointValue % PropertyRangeOfClassOfIndividualWithPointValue(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & PropertySpace(x3) & ExpressReal(x4) & ScaleTriple(x5) & Cardinality(x7) & end1Cardinality(x5, x6) & exists u4(PropertyRange(u4) & ClassOfClassificationTriple(x6, x2, u4) & SpecializationTemplate(u4, x3)) & exists u1 exists u2 exists u3 exists u4( Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & LowerBoundOfPropertyRangeTemplate(u1, u4) & ClassificationTemplate(u2, x5) & ClassOfIdentificationTemplate(x4, u3)) & exists v1 exists v2 exists v3 exists u4( Property(v1) & PropertyQuantificationTriple(v2, v1, v3) & RealNumber(v3) & UpperBoundOfPropertyRangeTemplate(v1, u4) & ClassificationTemplate(v2, x5) & ClassOfIdentificationTemplate(x4, v3)) . % TwoDimensionalPropertySpace % TwoDimensionalPropertySpace(x1, x2, x3, x4) <-> exists x1(MultidimensionalPropertySpace(x1) & hasElement1(x1, x3) & hasElement2(x1, x4)) & ClassOfMultidimensionalObject(x2) & PropertySpace(x3) & PropertySpace(x4) & ClassificationTemplate(x1, x2) . % % TEMPLATES ABOUT CLASSES - DEFINITION % % % DefinitionOfClass % DefinitionOfClass(x1, x2, x3) <-> Class(x1) & Class(x2) & ClassOfExpressInformationRepresentation(x3) & SpecializationTemplate(x2, x1) & ClassOfDefinitionTemplate(x3, x2) . % ClassifiedDefinitionOfClass % ClassifiedDefinitionOfClass(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & ClassOfExpressInformationRepresentation(x3) & ClassOfClassOfDefinitionTriple(x4) & SpecializationTemplate(x2, x1) & exists u(ClassOfDefinitionTriple(u, x3, x2) & ClassificationTemplate(u, x4)) . % DefinitionOfClassWithSign % DefinitionOfClassWithSign(x1, x2, x3) <-> Class(x1) & Class(x2) & PossibleIndividual(x3) & SpecializationTemplate(x2, x1) & DefinitionTemplate(x2, x3) . % DefinitionOfClassWithClassifiedSign % DefinitionOfClassWithClassifiedSign(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & PossibleIndividual(x3) & ClassOfIndividual(x4) & SpecializationTemplate(x2, x1) & DefinitionTemplate(x2, x3) & ClassificationTemplate(x3, x4) . % DefiningAClassVariant % DefiningAClassVariant(x1, x2, x3) <-> Class(x1) & Class(x2) & EnumeratedSetOfClass(x3) & SpecializationTemplate(x2, x1) & ClassOfClassificationTemplate(x2, x3) . % CompositionOfOIM % CompositionOfOIM(x1, x2) <-> EnumeratedSetOfClass(x1) & Class(x2) & ClassificationTemplate(x2, x1) . % DeprecationOfClass % DeprecationOfClass(x1, x2, x3) <-> Class(x1) & Class(x2) & rdl_Status_Deprecated(x3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x2, x3) . % % TEMPLATES ABOUT CLASSES - DESCRIPTION % % % DescriptionOfClass % DescriptionOfClass(x1, x2, x3) <-> Class(x1) & Class(x2) & ClassOfExpressInformationRepresentation(x3) & SpecializationTemplate(x2, x1) & ClassOfDescriptionTemplate(x3, x2) . % ClassifiedDescriptionOfClass % ClassifiedDescriptionOfClass(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & ClassOfExpressInformationRepresentation(x3) & ClassOfClassOfDescriptionTriple(x4) & SpecializationTemplate(x2, x1) & exists u(ClassOfDescriptionTriple(u, x3, x2) & ClassificationTemplate(u, x4)) . % DescriptionOfClassInLanguage % DescriptionOfClassInLanguage(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & ExpressString(x3) & Language(x4) & SpecializationTemplate(x2, x1) & ClassOfDescriptionTemplate(x3, x2) & ClassificationTemplate(x3, x4) . % ClassifiedDescriptionOfClassInLanguage % ClassifiedDescriptionOfClassInLanguage(x1, x2, x3, x4, x5) <-> Class(x1) & Class(x2) & ExpressString(x3) & Language(x4) & ClassOfClassOfDescriptionTriple(x5) & SpecializationTemplate(x2, x1) & ClassificationTemplate(x3, x4) & exists u(ClassOfDescriptionTriple(u, x3, x2) & ClassificationTemplate(u, x5)) . % DescriptionOfClassWithSign % DescriptionOfClassWithSign(x1, x2, x3) <-> Class(x1) & Class(x2) & PossibleIndividual(x3) & SpecializationTemplate(x2, x1) & DescriptionTemplate(x2, x3) . % DescriptionOfClassWithClassifiedSign % DescriptionOfClassWithClassifiedSign(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & PossibleIndividual(x3) & ClassOfIndividual(x4) & SpecializationTemplate(x2, x1) & DescriptionTemplate(x2, x3) & ClassificationTemplate(x3, x4) . % % TEMPLATES ABOUT CLASSES - DOCUMENTS AND INFORMATION REPRESENTATION % % % DocumentTypeAboutAClassApplicableYesNo % DocumentTypeAboutAClassApplicableYesNo(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & DocumentDefinition(x3) & ClassOfAssertion(x4) & exists u1 exists u2 exists u3( ClassOfRepresentationOfThingTriple(u1, u2, x2) & ClassOfInformationObject(u2) & ClassOfInformationRepresentation(u3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(u1, x4) & SpecializationTemplate(u2, u3) & ClassificationTemplate(u3, x3)) . % DocumentDefinitionByExample % DocumentDefinitionByExample(x1, x2) <-> DocumentDefinition(x1) & ClassOfInformationObject(x2) & ClassOfDefinitionTemplate(x2, x1) . % DefinitionOfAnInformationRepresentation % DefinitionOfAnInformationRepresentation(x1, x2, x3, x4) <-> ClassofInformationRepresentation(x1) & DocumentDefinition(x2) & Language(x3) & RepresentationForm(x4) & ClassificationTemplate(x1, x2) & ClassificationTemplate(x1, x3) & ClassificationTemplate(x1, x4) . % CompositionOfClassOfInformationRepresentation % CompositionOfClassOfInformationRepresentation(x1,x2) <-> ClassOfInformationRepresentation(x1) & ClassOfInformationRepresentation(x2) & ClassOfCompositionOfIndividualTemplate(x2, x1) . % ContentOfADocument % ContentOfADocument(x1, x2, x3) <-> ClassOfInformationObject(x1) & ClassOfInformationObject(x2) & ClassofInformationRepresentation(x3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x2, x3) . % TranslationOfClassOfInformationRepresentation % TranslationOfClassOfInformationRepresentation(x1, x2, x3) <-> ClassOfInformationRepresentation(x1) & ClassOfInformationRepresentation(x2) & ClassOfClassOfRepresentationTranlationTriple(x3) & exists u(ClassOfRepresentationTranslationTriple(u, x1, x2) & ClassificationTemplate(u, x3)) . % EditorialChangeOfInformationRepresentation % EditorialChangeOfInformationRepresentation(x1, x2, x3) <-> ClassOfInformationRepresentation(x1) & ClassOfInformationRepresentation(x2) & Language(x3) & ClassificationTemplate(x1, x3) & ClassificationTemplate(x2, x3) & ClassOfRepresentationTranslationTemplate(x1, x2) . % DocumentApproval % DocumentApproval(x1, x2, x3, x4, x5) <-> ClassOfActivity(x1) & Activity(x2) & ClassOfInformationObject(x3) & Status(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( ClassOfActivity(u1) & ClassOfParticipationTriple(u2, u3, u1) & ParticipatingRoleAndDomain(u3) & rdl_Role_ToBeApproved(u4) & ParticipationTriple(u5, u6, x2) & PhysicalObject(u6) & Event(u7) & PhysicalObject(u8) & PointInTime(u9) & SpecializationTemplate(u1, x1) & ClassificationTemplate(x2, u1) & SpecializationByRoleTemplate(u3, u4) & SpecializationByDomainTemplate(u3, x3) & ClassificationTemplate(u5, u2) & ClassificationTemplate(u6, u3) & CauseOfEventTemplate(u7, x2) & BeginningTemplate(u7, u8) & TemporalWholePartTemplate(u8,u6) & ClassificationTemplate(u8, x4) & CompositionOfIndividualTemplate(u7, u9) & ClassOfIdentificationTemplate(x5, u9)) . % DocumentPublishing % DocumentPublishing(x1, x2, x3, x4, x5) <-> ClassOfActivity(x1) & Activity(x2) & ClassOfInformationObject(x3) & Status(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( ClassOfActivity(u1) & ClassOfParticipationTriple(u2, u3, u1) & ParticipatingRoleAndDomain(u3) & rdl_Role_ToBePublished(u4) & ParticipationTriple(u5, u6, x2) & PhysicalObject(u6) & Event(u7) & PhysicalObject(u8) & PointInTime(u9) & SpecializationTemplate(u1, x1) & ClassificationTemplate(x2, u1) & SpecializationByRoleTemplate(u3, u4) & SpecializationByDomainTemplate(u3, x3) & ClassificationTemplate(u5, u2) & ClassificationTemplate(u6, u3) & CauseOfEventTemplate(u7, x2) & BeginningTemplate(u7, u8) & TemporalWholePartTemplate(u8,u6) & ClassificationTemplate(u8, x4) & CompositionOfIndividualTemplate(u7, u9) & ClassOfIdentificationTemplate(x5, u9)) . % DocumentRevision % DocumentRevision(x1, x2, x3, x4, x5, x6) <-> ClassOfActivity(x1) & Activity(x2) & ClassOfInformationObject(x3) & ClassOfInformationObject(x4) & ClassOfInformationRepresentation(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & SpecializationTemplate(x4, x3) & SpecializationTemplate(x4, x5) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( ClassOfActivity(u1) & ClassOfParticipationTriple(u2, u3, u1) & ParticipatingRoleAndDomain(u3) & rdl_Role_Result(u4) & ParticipationTriple(u5, u6, x20) & MaterializedPhysicalObject(u6) & PointInTime(u7) & SpecializationTemplate(u1, x1) & ClassificationTemplate(x2, u1) & SpecializationByRoleTemplate(u3, u4) & SpecializationByDomainTemplate(u3, x5) & ClassificationTemplate(u5, u2) & ClassificationTemplate(u6, u7) & EndingTemplate(u7, x2) & ClassOfIdentificationTemplate(x6, u7)) . % % TEMPLATES ABOUT CLASSES - EXISTENCE % % % ClassOfTemporalWholePartDefinitionWithContext % ClassOfTemporalWholePartDefinitionWithContext(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfTemporalWholePartTriple(x5, x4, x2) & EnumeratedSetOfClass(x6) & Cardinality(x7) & Cardinality(x8) & end1Cardinality(x5, x8) & end2Cardinality(x5, x7) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) & ClassificationTemplate(x5, x6) . % % TEMPLATES ABOUT CLASSES - FUNCTION BEHAVIOUR SKILL % % % SpecializationByFunctionalObjectType % SpecializationByFunctionalObjectType(x1, x2) <-> ClassOfArrangedIndividual(x1) & ClassOfFunctionalObject(x2) & SpecializationTemplate(x1, x2) . % EruptingBehaviourOfClassOfIndividual % EruptingBehaviourOfClassOfIndividual(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfArrangedIndividual(x1) & Role(x2) & ClassOfActivity(x3) & rdl_ClassOfArrangedIndividualANDClassOfActivity(x4) & Cardinality(x5) & Cardinality(x6) & Cardinality(x7) & Cardinality(x8) & SpecializationTemplate(x1, x4) & exists u1 exists u2( ClassOfParticipationTriple(u1, u2, x4) & ParticipatingRoleAndDomain(u2) & end1Cardinality(u1, x5) & end2Cardinality(u1, x6) & SpecializationByDomainTemplate(u2, x1) & SpecializationByRoleTemplate(u2, x2)) & exists u3(ClassOfCauseOfBeginningOfClassOfIndividualTriple(u3, x4, x3) & end1Cardinality(u3, x8) & end2Cardinality(u3, x7)) . % QuenchingBehaviourOfClassOfIndividual % QuenchingBehaviourOfClassOfIndividual(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfArrangedIndividual(x1) & Role(x2) & ClassOfActivity(x3) & rdl_ClassOfArrangedIndividualANDClassOfActivity(x4) & Cardinality(x5) & Cardinality(x6) & Cardinality(x7) & Cardinality(x8) & SpecializationTemplate(x1, x4) & exists u1 exists u2( ClassOfParticipationTriple(u1, u2, x4) & ParticipatingRoleAndDomain(u2) & end1Cardinality(u1, x5) & end2Cardinality(u1, x6) & SpecializationByDomainTemplate(u2, x1) & SpecializationByRoleTemplate(u2, x2)) & exists u3(ClassOfCauseOfEndingOfClassofIndividualTriple(u3, x4, x3) & end1Cardinality(u3, x7) & end2Cardinality(u3, x8)) . % SkillOfClassOfPerson % SkillOfClassOfPerson(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) <-> ClassOfPerson(x1) & ClassOfPerson(x2) & Role(x3) & ClassOfIndividual(x4) & ClassOfIndividual(x5) & Role(x6) & ClassOfActivity(x7) & ClassOfActivity(x8) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x5, x4) & SpecializationTemplate(x8, x7) & exists u1 exists u2( ClassOfRelationshipWithSignatureTriple(x1, u1, u2) & Cardinality(x10) & end1Cardinality(x9, x10) & Cardinality(x11) & end2Cardinality(x9, x11) & ParticipatingRoleAndDomain(u1) & SpecializationByDomainTemplate(u1, x2) & SpecializationByRole(u1, x8) & ClassOfParticipationTemplate(u1,x3) & RoleAndDomain(u2) & SpecializationByDomainTemplate(u2, x5) & SpecializationByRole(u2, x6) & ClassOfInvolvementByReferenceTemplate(u2,x8)) . % FunctionalMappingWith2Properties % FunctionalMappingWith2Properties(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfFunctionalMappingTriple(x1) & Property(x2) & SinglePropertyDimension(x3) & Property(x4) & SinglePropertyDimension(x6) & Property(x6) & SinglePropertyDimension(x7) & ClassificationTemplate(x2, x3) & ClassificationTemplate(x4, x5) & ClassificationTemplate(x6, x7) & exists u1 exists u2(MultidimensionalProperty(u1) & hasElement1(u1, x2) & hasElement2(u1, x3) & FunctionalMappingTriple(u2, u1, x6) & ClassificationTemplate(u2, x1)) . % FunctionalMappingWith3Properties % FunctionalMappingWith3Properties(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> ClassOfFunctionalMappingTriple(x1) & Property(x2) & SinglePropertyDimension(x3) & Property(x4) & SinglePropertyDimension(x6) & Property(x6) & SinglePropertyDimension(x7) & Property(x8) & SinglePropertyDimension(x9) & ClassificationTemplate(x2, x3) & ClassificationTemplate(x4, x5) & ClassificationTemplate(x6, x7) & ClassificationTemplate(x8, x9) & exists u1 exists u2(MultidimensionalProperty(u1) & hasElement1(u1, x2) & hasElement2(u1, x4) & hasElement3(u1, x6) & FunctionalMappingTriple(u2, u1, x8) & ClassificationTemplate(u2, x1)) . % PlantDesignFulfilsProcessDesign % PlantDesignFulfilsProcessDesign(x1, x2, x3, x4, x5) <-> ClassOfActivity(x1) & ClassOfActivity(x2) & Role(x3) & ClassOfFunctionalObject(x4) & ClassOfArrangedIndividual(x5) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x5, x4) & exists u1 exists u2 exists u3 exists u4( ClassOfParticipationTriple(u1, u2, x2) & ParticipatingRoleAndDomain(u2) & ClassOfParticipationTriple(u3, u4, x2) & ParticipatingRoleAndDomain(u4) & SpecializationByRoleTemplate(x3, u2) & SpecializationByDomainTemplate(x4, u2) & SpecializationTemplate(u3, u1) & SpecializationTemplate(u4, u2) & SpecializationByDomainTemplate(x5, u4)) . % ProductClassFulfilsClassOfFunctionPlace % ProductClassFulfilsClassOfFunctionPlace(x1, x2, x3) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfArrangedIndividual(x3) & ClassOfTemporalWholePartTemplate(x3, x1) & ClassOfTemporalWholePartTemplate(x3, x2) . % % TEMPLATES ABOUT CLASSES - IDENTIFICATION % % % IdentificationOfClass % IdentificationOfClass(x1, x2, x3) <-> Class(x1) & Class(x2) & ClassOfExpressInformationRepresentation(x3) & SpecializationTemplate(x2, x1) & ClassOfIdentificationTemplate(x3, x2) . % ClassifiedIdentificationOfClass % ClassifiedIdentificationOfClass(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & ClassOfExpressInformationRepresentation(x3) & ClassOfClassOfIdentificationTriple(x4) & SpecializationTemplate(x2, x1) & exists u(ClassOfIdentificationTriple(u, x3, x2) & ClassificationTemplate(u, x4)) . % IdentificationOfClassInLanguage % IdentificationOfClassInLanguage(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & ClassOfExpressInformationRepresentation(x3) & Language(x4) & SpecializationTemplate(x2, x1) & ClassOfIdentificationTemplate(x3, x2) & ClassificationTemplate(x3, x4) . % ClassifiedIdentificationOfClassInLanguage % ClassifiedIdentificationOfClassInLanguage(x1, x2, x3, x4, x5) <-> Class(x1) & Class(x2) & ClassOfExpressInformationRepresentation(x3) & Language(x4) & ClassOfClassOfIdentificationTriple(x5) & SpecializationTemplate(x2, x1) & ClassificationTemplate(x2, x4) & exists u(ClassOfIdentificationTriple(u, x3, x2) & ClassificationTemplate(u, x5)) . % IdentificationOfClassWithSign % IdentificationOfClassWithSign(x1, x2, x3) <-> Class(x1) & Class(x2) & PossibleIndividual(x3) & SpecializationTemplate(x2, x1) & IdentificationTemplate(x2, x3) . % IdentificationOfClassWithClassifiedSign % IdentificationOfClassWithClassifiedSign(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & PossibleIndividual(x3) & ClassOfIndividual(x4) & SpecializationTemplate(x2, x1) & IdentificationTemplate(x2, x3) & ClassificationTemplate(x3, x4) . % % TEMPLATES ABOUT CLASSES - INDIRECT PROPERTY % % % ClassOfIndirectPropertyWithReferencePropertyRange % ClassOfIndirectPropertyWithReferencePropertyRange(x1, x2, x3, x4, x5, x6) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndirectPropertyTriple(x3, x4, x5) & ClassOfIndirectPropertyTriple(x4) & PropertyRange(x5) & Cardinality(x6) & end1Cardinality(x3, x6) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x3, x4) . % ClassOfIndirectPropertyWithBoundingValues % ClassOfIndirectPropertyWithBoundingValues(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndirectPropertyTriple(x4) & PropertySpace(x5) & ExpressReal(x6) & ExpressReal(x7) & ScaleTriple(x8) & Cardinality(x9) & end1Cardinality(x3, x9) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x3, x4) & exists u1 exists u2 exists u3 exists u4 exists v1 exists v2 exists v3( ClassOfIndirectPropertyTriple(x3, x2, u4) & PropertyRange(u4) & SpecializationTemplate(u4, x5) & Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & LowerBoundOfPropertyRangeTemplate(u1, u4) & ClassificationTemplate(u2, x8) & ClassOfIdentificationTemplate(x6, u3) & Property(v1) & PropertyQuantificationTriple(v2, v1, v3) & RealNumber(v3) & UpperBoundOfPropertyRangeTemplate(v1, u4) & ClassificationTemplate(v2, x8) & ClassOfIdentificationTemplate(x7, v3)) . % ClassOfIndirectPropertyWithMaximumValue % ClassOfIndirectPropertyWithMaximumValue(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndirectPropertyTriple(x4) & PropertySpace(x5) & ExpressReal(x6) & ScaleTriple(x7) & Cardinality(x8) & end1Cardinality(x3, x8) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x3, x4) & exists u1 exists u2 exists u3 exists u4( ClassOfIndirectPropertyTriple(x3, x2, u4) & PropertyRange(u4) & SpecializationTemplate(u4, x5) & Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & UpperBoundOfPropertyRangeTemplate(u1, u4) & ClassificationTemplate(u2, x7) & ClassOfIdentificationTemplate(x6, u3)) . % ClassOfIndirectPropertyWithPointValue % ClassOfIndirectPropertyWithPointValue(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndirectPropertyTriple(x4) & PropertySpace(x5) & ExpressReal(x6) & ScaleTriple(x7) & Cardinality(x8) & end1Cardinality(x3, x8) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x3, x4) & exists u1 exists u2 exists u3 exists u4( ClassOfIndirectPropertyTriple(x3, x2, u4) & PropertyRange(u4) & SpecializationTemplate(u4, x5) & Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & LowerBoundOfPropertyRangeTemplate(u1, u4) & ClassificationTemplate(u2, x7) & ClassOfIdentificationTemplate(x6, u3) & Property(v1) & PropertyQuantificationTriple(v2, v1, v3) & RealNumber(v3) & UpperBoundOfPropertyRangeTemplate(v1, u4) & ClassificationTemplate(v2, x7) & ClassOfIdentificationTemplate(x6, v3)) . % ClassOfIndirectPropertyWithMinimumValue % ClassOfIndirectPropertyWithMinimumValue(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndirectPropertyTriple(x4) & PropertySpace(x5) & ExpressReal(x6) & ScaleTriple(x7) & Cardinality(x8) & end1Cardinality(x3, x8) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x3, x4) & exists u1 exists u2 exists u3 exists u4( ClassOfIndirectPropertyTriple(x3, x2, u4) & PropertyRange(u4) & SpecializationTemplate(u4, x5) & Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & LowerBoundOfPropertyRangeTemplate(u1, u4) & ClassificationTemplate(u2, x7) & ClassOfIdentificationTemplate(x6, u3)) . % ClassOfIndirectPropertyWith2EnumeratedProperties % ClassOfIndirectPropertyWith2EnumeratedProperties(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndirectPropertyTriple(x4) & PropertySpace(x5) & Property(x6) & Property(x7) & Cardinality(x8) & end1Cardinality(x3, x8) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x3, x4) & exists u1 exists u2( EnumeratedPropertySet(u1) & SetOf2Classes(u2) & ClassOfIndirectPropertyTriple(x3, x2, u1) & ClassificationTemplate(u1, u2) & SpecializationTemplate(u1, x5) & ClassificationTemplate(x6, u1) & ClassificationTemplate(x7, u1)) . % ClassOfIndirectPropertyWith2EnumeratedValues % ClassOfIndirectPropertyWith2EnumeratedValues(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndirectPropertyTriple(x4) & PropertySpace(x5) & ExpressReal(x6) & ExpressReal(x7) & ScaleTriple(x8) & Cardinality(x9) & end1Cardinality(x3, x9) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x3, x4) & exists u1 exists u2 exists u3 exists u4 exists u5 exists v1 exists v2 exists v3( EnumeratedPropertySet(u4) & SetOf2Classes(u5) & ClassOfIndirectPropertyTriple(x3, x2, u4) & SpecializationTemplate(x5, u4) & ClassificationTemplate(u4, u5) & Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & ClassificationTemplate(u1, u4) & ClassificationTemplate(u2, x8) & ClassOfIdentificationTemplate(x6, u3) & Property(v1) & PropertyQuantificationTriple(v2, v1, v3) & RealNumber(v3) & ClassificationTemplate(v1, u4) & ClassificationTemplate(v2, x8) & ClassOfIdentificationTemplate(x7, v3)) . % % TEMPLATES ABOUT CLASSES - LOCATION % % % ClassOfContainmentDefinition % ClassOfContainmentDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfContainmentOfIndividualTriple(x5, x4, x2) & Cardinality(x6) & Cardinality(x7) & end1Cardinality(x5, x7) & end2Cardinality(x5, x6) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) . % ClassOfRelativeLocationDefinition % ClassOfRelativeLocationDefinition(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfRelativeLocationTriple(x5) & ClassOfRelativeLocationTriple(x6, x4, x2) & Cardinality(x7) & Cardinality(x8) & end1Cardinality(x5, x7) & end2Cardinality(x5, x6) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) & SpecializationTemplate(x6, x5) . % DefiningACoordinateSystem NOTE - This template may be replaced with a Part 3-based one. % DefiningACoordinateSystem(x1, x2, x3, x4, x5) <-> NumberRange(x2) & NumberRange(x3) & NumberRange(x4) & exists u1 exists u2 exists u3 exists u4( ClassOfMultidimensionalObject(u1) & rdl_MultidimensionalPropertySpace_Position(u2) & MultidimensionalNumberSpace(u3) & rdl_ClassOfMultidimensionalObject_CoordinatesAndNumberRanges(u4) & CoordinateSystemTriple(x1, u3, u2) & ScaleTriple(x5) & hasElement1(x1, x5) & hasElement2(x1, x5) & hasElement3(x1, x5) & hasElement1(u2, x2) & hasElement2(u2, x3) & hasElement3(u2, x4) & ClassificationTemplate(x1, u1) & ClassificationTemplate(u3, u4)) . % % TEMPLATES ABOUT CLASSES - MATERIAL % % % SpecializationByCompoundType % SpecializationByCompoundType(x1, x2, x3) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfCompound(x3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x2, x3) . % SpecializationByCrystallineStructureType % SpecializationByCrystallineStructueType(x1, x2) <-> ClassOfCompound(x1) & CrystallineStructure(x2) & SpecializationTemplate(x1, x2) . % SpecializationByBiologicalMatterType % SpecializationByBiologicalMatterType(x1, x2, x3) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfBiologicalMatter(x3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x2, x3) . % SpecializationByCompositeMaterialType % SpecializationByCompositeMaterialType(x1, x2, x3) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfCompositeMaterial(x3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x2, x3) . % SpecializationByParticulateMaterialType % SpecializationByParticalateMaterialType(x1, x2, x3) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfParticulateMaterial(x3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x2, x3) . % SpecializationByPhase % SpecializationByPhase(x1, x2, x3) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & Phase(x3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x2, x3) . % % TEMPLATES ABOUT CLASSES - NUMBER % % % TwoDimensionalRealNumber % TwoDimensionalRealNumber(x1, x2, x3, x4) <-> exists x1 exists u1 exists u2(MultidimensionalNumber(x1) & RealNumber(u1) & RealNumber(u2) & hasElement1(x1, u1) & hasElement2(x1, u2) & ClassOfIdentificationTemplate(x3, u1) & ClassOfIdentificationTemplate(x4, u2)) & ClassOfMultidimensionalObject(x2) & ExpressReal(x3) & ExpressReal(x4) & ClassificationTemplate(x1, x2) . % ThreeDimensionalRealNumber % ThreeDimensionalRealNumber(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) . % NumberRangeWithBoundingRealValues % NumberRangeWithBoundingRealValues(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) . % TwoDimensionalNumberSpace % TwoDimensionalNumberSpace(x1, x2, x3, x4) <-> exists x1(MultidimensionalNumberSpace(x1) & hasElement1(x1, x3) & hasElement2(x1, x4)) & ClassOfMultidimensionalObject(x2) & NumberSpace(x3) & NumberSpace(x4) & ClassificationTemplate(x1, x2) . % % TEMPLATES ABOUT CLASSES - OTHER RELATIONSHIP % % % ClassOfRelationshipWithDualParticipation % ClassOfRelationshipWithDualParticipation(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & Role(x3) & ClassOfIndividual(x4) & ClassOfIndividual(x5) & Role(x6) & ClassOfActivity(x7) & ClassOfActivity(x8) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x5, x4) & SpecializationTemplate(x8, x7) & exists u1 exists u2( ClassOfRelationshipWithSignatureTriple(x1, u1, u2) & Cardinality(x10) & end1Cardinality(x9, x10) & Cardinality(x11) & end2Cardinality(x9, x11) & ParticipatingRoleAndDomain(u1) & SpecializationByDomainTemplate(u1, x2) & SpecializationByRoleTemplate(u1, x8) & ClassOfParticipationTemplate(u1, x3) & ParticipatingRoleAndDomain(u2) & SpecializationByDomainTemplate(u2, x5) & SpecializationByRoleTemplate(u2, x6) & ClassOfParticipationTemplate(u2, x8)) . % ClassOfRelationshipWithParticipationAndReference % ClassOfRelationshipWithParticipationAndReference(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & Role(x3) & ClassOfIndividual(x4) & ClassOfIndividual(x5) & Role(x6) & ClassOfActivity(x7) & ClassOfActivity(x8) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x5, x4) & SpecializationTemplate(x8, x7) & exists u1 exists u2( ClassOfRelationshipWithSignatureTriple(x1, u1, u2) & Cardinality(x10) & end1Cardinality(x9, x10) & Cardinality(x11) & end2Cardinality(x9, x11) & ParticipatingRoleAndDomain(u1) & SpecializationByDomainTemplate(u1, x2) & SpecializationByRoleTemplate(u1, x8) & ClassOfParticipationTemplate(u1, x3) & RoleAndDomain(u2) & SpecializationByDomainTemplate(u2, x5) & SpecializationByRoleTemplate(u2, x6) & ClassOfInvolvementByReferenceTemplate(u2, x8)) . % % TEMPLATES ABOUT CLASSES - PROPERTY AND STATUS % % % PropertyOfClassOfIndividual % PropertyOfClassOfIndividual(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & Property(x3) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x2, x3) . % PropertyOfClassOfIndividualWithValue % PropertyOfClassOfIndividualWithValue(x1, x2, x3, x4) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfProperty(x3) & ExpressReal(x4) & ScaleTriple(x5) & SpecializationTemplate(x2, x1) & exists u1 exists u2 exists u3(Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & SpecializationTemplate(x2, u1) & ClassificationTemplate(u1, x3) & ClassificationTemplate(u2, x5) & ClassOfIdentificationTemplate(x4, u3)) . % ConditionalPropertyOfClassOfIndividualWithValue % ConditionalPropertyOfClassOfIndividualWithValue(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfMultidimensionalObject(x3) & Property(x4) & ClassOfProperty(x5) & ExpressReal(x6) & ScaleTriple(x7) & SpecializationTemplate(x2, x1) & exists u1 exists u2 exists u3 exists u4( MultidimensionalProperty(u1) & element1(u1, x4) & element2(u1, u2) & ClassificationTemplate(u1, x3) & Property(u2) & SpecializationTemplate(x2, u2) & ClassificationTemplate(u2, x5) & PropertyQuantificationTriple(u3, u2, u4) & ClassificationTemplate(u3, x7) & RealNumber(u4) & ClassOfIdentificationTemplate(x6, u4)) . % TwoDimensionalPropertyOfClassOfIndividualWithValues % TwoDimensionalPropertyOfClassOfIndividualWithValues(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfMultidimensionalObject(x3) & ClassOfProperty(x4) & ExpressReal(x5) & ScaleTriple(x6) & ClassOfProperty(x7) & ExpressReal(x8) & ScaleTriple(x9) & SpecializationTemplate(x2, x1) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( MultidimensionalProperty(u1) & element1(u1, u2) & element2(u1, u5) & ClassificationTemplate(u1, x3) & Property(u2) & ClassificationTemplate(u2, x4) & PropertyQuantificationTriple(u3, u2, u4) & ClassificationTemplate(u3, x6) & RealNumber(u4) & ClassOfIdentificationTemplate(x5, u4) & Property(u5) & ClassificationTemplate(u5, x7) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u5, x9) & RealNumber(u7) & ClassOfIdentificationTemplate(x8, u7)) . % ReferencePropertyWithValue % ReferencePropertyWithValue(x1, x2, x3, x4) <-> Property(x1) & ClassOfProperty(x2) & ExpressReal(x3) & ScaleTriple(x4) & ClassificationTemplate(x1, x2) & exists u1 exists u2(PropertyQuantificationTriple(u1, x1, u2) & ClassificationTemplate(u1, x4) & RealNumber(u2) & ClassOfIdentificationTemplate(x3, u2)) . % ScaleDefinition % ScaleDefinition(x1, x2, x3, x4, x5, x6) <-> ScaleTriple(x1, x6, x5) & ClassOfScale(x2) & ExpressString(x3) & rdl_ClassOfClassOfIdentification_UomSymbolAssignment(x4) & PropertySpace(x5) & NumberSpace(x6) & ClassificationTemplate(x1, x2) & exists u(ClassOfIdentificationTriple(u, x1, x3) & ClassificationTemplate(u, x4)) . % TwoDimensionalScale % TwoDimensionalScale(x1, x2, x3, x4) <-> exists x1(MultidimensionalScaleTriple(x1) & hasElement1(x1, x3) & hasElement2(x1, x4) & ClassificationTemplate(x1, x2)) & ClassOfMultidimensionalObject(x2) & ScaleTriple(x3) & ScaleTriple(x4) . % % TEMPLATES ABOUT CLASSES - REPRESENTATION % % % RepresentationOfClassOnDocument % RepresentationOfClassOnDocument(x1, x2, x3) <-> Class(x1) & Class(x2) & ClassOfInformationObject(x3) & SpecializationTemplate(x2, x1) & exists u(ClassOfInformationRepresentation(u) & ClassOfRepresentationofThingTemplate(u, x2) & SpecializationTemplate(x3, u)) . % RepresentationOfClassContainedInDocument % RepresentationOfClassContainedInDocument(x1, x2, x3, x4) <-> Class(x1) & Class(x2) & ClassOfInformationObject(x3) & ClassOfInformationRepresentation(x4) & SpecializationTemplate(x2, x1) & ClassOfRepresentationofThingTemplate(x4, x2) & SpecializationTemplate(x3, x4) . % % TEMPLATES ABOUT CLASSES - SHAPE % % % ClassOfShapeDefinition % ClassOfShapeDefinition(x1, x2, x3) <-> ClassOfShape(x1) & ClassOfShapeDimension(x2) & PropertySpace(x3) & ClassOfDimensionForShapeTemplate(x2, x1) & PropertySpaceForClassOfShapeDimensionTemplate(x2, x3) . % ClassOfShapeOfClassOfIndividual % ClassOfShapeOfClassOfIndividual(x1, x2, x3, x4) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfShape(x3) & Cardinality(x4) & SpecializationTemplate(x2, x1) & exists u(ClassOfClassificationTriple(u, x2, x3) & end1Cardinality(u, x4)) . % EnumeratedShapeDimensionOfClassOfShapeWithValues % EnumeratedShapeDimensionOfClassOfShapeWithValues(x1, x2, x3, x4, x5, x6) <-> ClassOfShape(x1) & ClassOfShapeDimension(x2) & SinglePropertyDimension(x3) & ExpressReal(x4) & ExpressReal(x5) & ScaleTriple(x6) & ClassOfDimensionForShapeTemplate(x2, x1) & exists u4 exists u5( EnumeratedPropertySet(u4) & PropertySpaceForClassOfShapeDimensionTemplate(x2, u4) & SpecializationTemplate(u44, x3) & SetOf2Classes(u5) & ClassificationTemplate(u4, u5))& exists u1 exists u2 exists u3 exists u4( Property(u1) & ClassificationTemplate(u1, u4) & RealNumber(u3) & PropertyQuantificationTriple(u2, u1, u3) & ClassificationTemplate(u2, x6) & ClassOfIdentificationTemplate(x4, u3)) & exists v1 exists v2 exists v3 exists u4( Property(v1) & ClassificationTemplate(v1, u4) & RealNumber(v3) & PropertyQuantificationTriple(v2, v1, v3) & ClassificationTemplate(v2, x6) & ClassOfIdentificationTemplate(x5, v3)) . % DimensionedShapeOfClassOfIndividual % DimensionedShapeOfClassOfIndividual(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfShape(x3) & ShapeDimension(x4) & ClassOfProperty(x5) & ExpressReal(x6) & ScaleTriple(x7) & SpecializationTemplate(x2, x1) & exists u1(Shape(u1) & SpecializationTemplate(x2, u1) & ClassificationTemplate(u1, x3) & DimensionOfShapeTemplate(x4, u1)) & exists u2 exists u3 exists u4( Property(u2) & RealNumber(u3) & PropertyQuantificationTriple(u4, u2, u3) & ClassificationTemplate(u4, x7) & ClassOfidentificationTemplate(x6, u3)) . % DefinitionOfShapeRepresentationWithExternalCode % DefinitionOfShapeRepresentationWithExternalCode(x1, x2, x3, x4, x5, x6) <-> Shape(x1) & Shape(x2) & DocumentDefinition(x3) & Language(x4) & RepresentationForm(x5) & ExpressString(x6) & SpecializationTemplate(x2, x1) & ClassOfDefinitionTemplate(x6, x2) & ClassificationTemplate(x6, x3) & ClassificationTemplate(x6, x4) & ClassificationTemplate(x6, x5) . % % TEMPLATES ABOUT CLASSES - STREAM % % % ClassOfStreamSource % ClassOfStreamSource(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & rdl_Role-Subject(x3) & ClassOfIndividual(x4) & ClassOfIndividual(x5) & rdl_Role-Source(x6) & rdl_ClassOfActivity-Flowing(x7) & ClassOfActivity(x8) & SpecializationTemplate(x2, x1) SpecializationTemplate(x5, x4) & SpecializationTemplate(x8, x7) & exists u1 exists u2( ClassOfRelationshipWithSignatureTriple(x1, u1, u2) & Cardinality(x10) & end1Cardinality(x9, x10) & Cardinality(x11) & end2Cardinality(x9, x11) & ParticipatingRoleAndDomain(u1) & SpecializationByDomainTemplate(u1, x2) & SpecializationByRole(u1, x8) & ClassOfParticipationTemplate(u1,x3) & RoleAndDomain(u2) & SpecializationByDomainTemplate(u2, x5) & SpecializationByRole(u2, x6)) & ClassOfInvolvementByReferenceTemplate(u2,x8)) . % ClassOfStreamDestination % ClassOfStreamDestination(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & rdl_Role-Subject(x3) & ClassOfIndividual(x4) & ClassOfIndividual(x5) & rdl_Role-Destination(x6) & rdl_ClassOfActivity-Flowing(x7) & ClassOfActivity(x8) & SpecializationTemplate(x2, x1) SpecializationTemplate(x5, x4) & SpecializationTemplate(x8, x7) & exists u1 exists u2( ClassOfRelationshipWithSignatureTriple(x1, u1, u2) & Cardinality(x10) & end1Cardinality(x9, x10) & Cardinality(x11) & end2Cardinality(x9, x11) & ParticipatingRoleAndDomain(u1) & SpecializationByDomainTemplate(u1, x2) & SpecializationByRole(u1, x8) & ClassOfParticipationTemplate(u1,x3) & RoleAndDomain(u2) & SpecializationByDomainTemplate(u2, x5) & SpecializationByRole(u2, x6)) & ClassOfInvolvementByReferenceTemplate(u2,x8)) . % % TEMPLATES ABOUT CLASSES - STRUCTURE % % % ClassOfCompositionDefinition % ClassOfCompositionDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfCompositionOfIndividualTriple(x5, x4, x2) & Cardinality(x6) & Cardinality(x7) & end1Cardinality(x5, x7) & end1Cardinality(x5, x6) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) . % ClassOfArrangementDefinition % ClassOfArrangementDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfArrangementOfIndividualTriple(x5, x4, x2) & Cardinality(x6) & Cardinality(x7) & end1Cardinality(x5, x7) & end1Cardinality(x5, x6) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) . % ClassOfAssemblyDefinition % ClassOfAssemblyDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfAssemblyOfIndividualTriple(x5, x4, x2) & Cardinality(x6) & Cardinality(x7) & end1Cardinality(x5, x7) & end1Cardinality(x5, x6) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) . % ClassOfFeatureWholePartDefinition % ClassOfFeatureWholePartDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfArrangedIndividual(x1) & ClassOfArrangedIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfFeatureWholePartTriple(x5, x4, x2) & Cardinality(x6) & Cardinality(x7) & end1Cardinality(x5, x7) & end1Cardinality(x5, x6) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) . % ClassOfDirectConnectionDefinition % ClassOfDirectConnectionDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfDirectConnectionTriple(x5, x4, x2) & Cardinality(x6) & Cardinality(x7) & end1Cardinality(x5, x6) & end1Cardinality(x5, x7) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) . % ClassifiedClassOfDirectConnectionDefinition % ClassifiedClassOfDirectConnectionDefinition(x1, x2, x3, x4, x5, x6, x7, x8) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfDirectConnectionTriple(x5, x4, x2) & Cardinality(x6) & Cardinality(x7) & ClassOfClassOfRelationshipTriple(x8) & end1Cardinality(x5, x6) & end1Cardinality(x5, x7) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) & ClassificationTemplate(x5, x8) . % ClassOfIndirectConnectionDefinition % ClassOfIndirectConnectionDefinition(x1, x2, x3, x4, x5, x6, x7) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndividual(x3) & ClassOfIndividual(x4) & ClassOfIndirectConnectionTriple(x5, x4, x2) & Cardinality(x6) & Cardinality(x7) & end1Cardinality(x5, x6) & end1Cardinality(x5, x7) & SpecializationTemplate(x2, x1) & SpecializationTemplate(x4, x3) . % ClassOfIndividualUsedInDirectConnectionDefinition % ClassOfIndividualUsedInDirectConnectionDefinition(x1, x2, x3, x4, x5, x6) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfDirectConnectionTriple(x3) & ClassOfIndividualUsedInConnectionTriple(x4, x2, x3) & Cardinality(x5) & Cardinality(x6) & end1Cardinality(x4, x5) & end1Cardinality(x4, x6) & SpecializationTemplate(x2, x1) . % ClassOfIndividualUsedInIndirectConnectionDefinition % ClassOfIndividualUsedInIndirectConnectionDefinition(x1, x2, x3, x4, x5, x6) <-> ClassOfIndividual(x1) & ClassOfIndividual(x2) & ClassOfIndirectConnectionTriple(x3) & ClassOfIndividualUsedInConnectionTriple(x4, x2, x3) & Cardinality(x5) & Cardinality(x6) & end1Cardinality(x4, x5) & end1Cardinality(x4, x6) & SpecializationTemplate(x2, x1) . % % END OF TEMPLATES ABOUT CLASSES % % % % TEMPLATES ABOUT TEMPORAL PARTS % % % % TEMPLATES ABOUT TEMPORAL PARTS - ACTIVITY % % % ParticipationOfTemporalPartInActivity % ParticipationOfTemporalPartInActivity(x1, x2, x3, x4, x5) <-> Activity(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & ClassOfParticipationTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x3, x2) & exists u1(ParticipationTriple(u1, x3, x1) & ClassificationTemplate(u1, x4)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x3) & ClassOfIdentificationTemplate(x5, u2)) . % ParticipationOfTemporalPartInTemporalPartActivity % ParticipationOfTemporalPartInTemporalPartActivity(x1, x2, x3, x4, x5, x6) <-> Activity(x1) & Activity(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfParticipationTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1(ParticipationTriple(u1, x4, x2) & ClassificationTemplate(u1, x5)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x4) & ClassOfIdentificationTemplate(x6, u2)) . % InvolvementByReferenceOfClassInTemporalPartActivity % InvolvementByReferenceOfClassInTemporalPartActivity(x1, x2, x3, x4, x5) <-> Activity(x1) & Activity(x2) & Class(x3) & ClassOfInvolvementByReferenceTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x2, x1) & exists u1(InvolvementByReferenceTriple(u1) & ClassificationTemplate(u1, x3)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & ClassOfIdentificationTemplate(x5, u2)) . % InvolvementByReferenceOfTemporalPartInActivity % InvolvementByReferenceOfTemporalPartInActivity(x1, x2, x3, x4, x5) <-> Activity(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & ClassOfInvolvementByReferenceTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x3, x2) & exists u1(InvolvementByReferenceTriple(u1, x3, x1) & ClassificationTemplate(u1, x4)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x3) & ClassOfIdentificationTemplate(x5, u2)) . % InvolvementByReferenceOfIndividualInTemporalPartActivity % InvolvementByReferenceOfIndividualInTemporalPartActivity(x1, x2, x3, x4, x5) <-> Activity(x1) & Activity(x2) & PossibleIndividual(x3) & ClassOfInvolvementByReferenceTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x2, x1) & exists u1(InvolvementByReferenceTriple(u1, x3, x2) & ClassificationTemplate(u1, x3)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & ClassOfIdentificationTemplate(x5, u2)) . % InvolvementByReferenceOfTemporalPartInTemporalPartActivity % InvolvementByReferenceOfTemporalPartInTemporalPartActivity(x1, x2, x3, x4, x5, x6) <-> Activity(x1) & Activity(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfInvolvementByReferenceTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & exists u1(InvolvementByReferenceTriple(u1, x4, x2) & ClassificationTemplate(u1, x5)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x4) & ClassOfIdentificationTemplate(x6, u2)) . % MeasuringAPropertyOfATemporalPart % MeasuringAPropertyOfATemporalPart(x1, x2, x3, x4, x5, x6, x7, x8) <-> Activity(x1) & Activity(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfRecognitionTriple(x5) & ExpressReal(x6) & ScaleTriple(x7) & RepresentationOfGregorianDateAndUtcTime(x8) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1 exists u2 exists u3 exists u4 exists u5 (RecognitionTriple(u1, u2, x2) & ClassificationTriple(u2, x4, u3) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & RealNumber(u5) & ClassificationTemplate(u1, x5) & ClassOfIdentificationTemplate(x6, u5) & ClassificationTemplate(u4, x7)) & exists u6(PointInTime(u6) & BeginningTemplate(u6, x2) & BeginningTemplate(u6, x4) & ClassOfIdentificationTemplate(x8, u6)) . % MeasuringAPropertyOfATemporalPartOverAPeriodInTime % MeasuringAPropertyOfATemporalPartOverAPeriodInTime(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> Activity(x1) & Activity(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfRecognitionTriple(x5) & ExpressReal(x6) & ScaleTriple(x7) & RepresentationOfGregorianDateAndUtcTime(x8) & RepresentationOfGregorianDateAndUtcTime(x9) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1 exists u2 exists u3 exists u4 exists u5 (RecognitionTriple(u1, u2, x2) & ClassificationTriple(u2, x4, u3) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & RealNumber(u5) & ClassificationTemplate(u1, x5) & ClassOfIdentificationTemplate(x6, u5) & ClassificationTemplate(u4, x7)) & exists u6(PointInTime(u6) & BeginningTemplate(u6, x2) & BeginningTemplate(u6, x4) & ClassOfIdentificationTemplate(x8, u6)) & exists u7(PointInTime(u7) & BeginningTemplate(u7, x2) & BeginningTemplate(u7, x4) & ClassOfIdentificationTemplate(x9, u7)) . % ActivityCausesBeginningOfTemporalPart % ActivityCausesBeginningOfTemporalPart(x1, x2, x3, x4, x5) <-> Activity(x1) & Activity(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & ClassOfCauseOfBeginningOfClassOfIndividualTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x3, x2) & exists u1 exists u2 exists u3(CauseOfEventTriple(u1, u2, x1) & Event(u2) & PointInTime(u3) & ClassificationTemplate(u1, x4) & BeginningTemplate(u2, x3) & CompositionOfIndividualTemplate(u2, u3) & ClassOfIdentificationTemplate(x5, u3)) . % TemporalPartActivityCausesBeginningOfIndividual % TemporalPartActivityCausesBeginningOfIndividual(x1, x2, x3, x4, x5, x6) <-> Activity(x1) & Activity(x2) & PossibleIndividual(x3) & ClassOfCauseOfBeginningOfClassOfIndividualTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2 exists u3(CauseOfEventTriple(u1, u2, x2) & Event(u2) & PointInTime(u3) & ClassificationTemplate(u1, x4) & BeginningTemplate(u2, x3) & CompositionOfIndividualTemplate(u2, u3) & ClassOfIdentificationTemplate(x5, u3)) & exists u4(PointInTime(u4) & BeginningTemplate(u5, x2) & ClassOfIdentificationTemplate(x6, u5)) . % TemporalPartActivityCausesBeginningOfTemporalPart % TemporalPartActivityCausesBeginningOfTemporalPart(x1, x2, x3, x4, x5, x6, x7) <-> Activity(x1) & Activity(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfCauseOfBeginningOfClassOfIndividualTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1 exists u2 exists u3(CauseOfEventTriple(u1, u2, x2) & Event(u2) & PointInTime(u3) & ClassificationTemplate(u1, x5) & BeginningTemplate(u2, x4) & CompositionOfIndividualTemplate(u2, u3) & ClassOfIdentificationTemplate(x6, u3)) & exists u4(PointInTime(u4) & BeginningTemplate(u5, x2) & ClassOfIdentificationTemplate(x7, u5)) . % ActivityCausesEndingOfTemporalPart % ActivityCausesEndingOfTemporalPart(x1, x2, x3, x4, x5) <-> Activity(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & ClassOfCauseOfEndingOfClassOfIndividualTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x3, x2) & exists u1 exists u2 exists u3(CauseOfEventTriple(u1, u2, x1) & Event(u2) & PointInTime(u3) & ClassificationTemplate(u1, x4) & EndingTemplate(u2, x3) & CompositionOfIndividualTemplate(u2, u3) & ClassOfIdentificationTemplate(x5, u3)) . % TemporalPartActivityCausesEndingOfIndividual % TemporalPartActivityCausesEndingOfIndividual(x1, x2, x3, x4, x5, x6) <-> Activity(x1) & Activity(x2) & PossibleIndividual(x3) & ClassOfCauseOfEndingOfClassOfIndividualTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2 exists u3(CauseOfEventTriple(u1, u2, x2) & Event(u2) & PointInTime(u3) & ClassificationTemplate(u1, x4) & EndingTemplate(u2, x3) & CompositionOfIndividualTemplate(u2, u3) & ClassOfIdentificationTemplate(x5, u3)) & exists u4(PointInTime(u4) & BeginningTemplate(u5, x2) & ClassOfIdentificationTemplate(x6, u5)) . % TemporalPartActivityCausesEndingOfTemporalPart % TemporalPartActivityCausesEndingOfTemporalPart(x1, x2, x3, x4, x5, x6, x7) <-> Activity(x1) & Activity(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfCauseOfEndingOfClassOfIndividualTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1 exists u2 exists u3(CauseOfEventTriple(u1, u2, x2) & Event(u2) & PointInTime(u3) & ClassificationTemplate(u1, x5) & EndingTemplate(u2, x4) & CompositionOfIndividualTemplate(u2, u3) & ClassOfIdentificationTemplate(x6, u3)) & exists u4(PointInTime(u4) & BeginningTemplate(u5, x2) & ClassOfIdentificationTemplate(x7, u5)) . % % TEMPLATES ABOUT TEMPORAL PARTS - CLASSIFICATION % % % ClassificationOfTemporalPart % ClassificationOfTemporalPart(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfIndividual(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalWholePartTemplate(x2, x1) & ClassificationTemplate(x2, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % % TEMPLATES ABOUT TEMPORAL PARTS - DESCRIPTION % % % DescriptionOfTemporalPart % DescriptionOfTemporalPart(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfExpressInformationRepresentation(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalPartTemplate(x2, x1) & ClassOfDescriptionTemplate(x3, x2) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % ClassifiedDescriptionOfTemporalPart % ClassifiedDescriptionOfTemporalPart(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfExpressInformationRepresentation(x3) & ClassOfClassOfDescriptionTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalPartTemplate(x2, x1) & exists u1(ClassOfDescriptionTriple(u1, x3, x2) & ClassificationTemplate(u1, x4)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & ClassOfIdentificationTemplate(x5, u2)) . % DescriptionOfTemporalPartInLanguage % DescriptionOfTemporalPartInLanguage(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ExpressString(x3) & Language(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalPartTemplate(x2, x1) & ClassOfDescriptionTemplate(x3, x2) & ClassificationTemplate(x3, x4) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x5, u)) . % ClassifiedDescriptionOfTemporalPartInLanguage % ClassifiedDescriptionOfTemporalPartInLanguage(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ExpressString(x3) & ClassOfClassOfDescriptionTriple(x4) & Language(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalPartTemplate(x2, x1) & ClassificationTemplate(x3, x5) & exists u1(ClassOfDescriptionTriple(u1, x3, x2) & ClassificationTemplate(u1, x4)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & ClassOfIdentificationTemplate(x6, u2)) . % DescriptionOfTemporalPartWithSign % DescriptionOfTemporalPartWithSign(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalPartTemplate(x2, x1) & ClassOfDescriptionTemplate(x3, x2) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % DescriptionOfTemporalPartWithClassifiedSign % DescriptionOfTemporalPartWithClassifiedSign(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & ClassOfIndividual(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalPartTemplate(x2, x1) & ClassOfDescriptionTemplate(x3, x2) & ClassificationTemplate(x3, x4) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x5, u)) . % % TEMPLATES ABOUT TEMPORAL PARTS - EXISTENCE % % % BeginningOfTemporalPart % BeginningOfTemporalPart(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & TemporalWholePartTemplate(x2, x1) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x3, u)) . % BeginningOfTemporalPartAtClassifiedEvent % BeginningOfTemporalPartAtClassifiedEvent(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfEvent(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2(Event(u1) & PointInTime(u2) & BeginningTemplate(u1, x2) & ClassificationTemplate(u1, x3) & CompositionOfIndividualTemplate(u2, u1)) . % BeginningOfTemporalPartInAContext % BeginningOfTemporalPartInAContext(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & CkassOfTemporalWholePartTriple(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & exists u1(TemporalWholePartTriple(u1, x2, x1) & ClassificationTemplate(u1, x3)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x1) & ClassOfIdentificationTemplate(x3, u2)) . % EndingOfTemporalPart % EndingOfTemporalPart(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & TemporalWholePartTemplate(x2, x1) & exists u(PointInTime(u) & EndingTemplate(u, x2) & ClassOfIdentificationTemplate(x3, u)) . % EndingOfTemporalPartAtClassifiedEvent % EndingOfTemporalPartAtClassifiedEvent(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfEvent(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2(Event(u1) & PointInTime(u2) & EndingTemplate(u1, x2) & ClassificationTemplate(u1, x3) & CompositionOfIndividualTemplate(u2, u1)) . % PlacingATemporalPartInAContext % PlacingATemporalPartInAContext(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfTemporalWholePartTriple(x3) & exists u(TemporalWholePartTemplate(u, x2, x1) & ClassificationTemplate(u, x3)) . % % TEMPLATES ABOUT TEMPORAL PARTS - FUNCTION BEHAVIOUR SKILL % % % EruptingBehaviourOfTemporalPart % EruptingBehaviourOfTemporalPart(x1, x2, x3, x4, x5, x6, x7) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & Activity(x3) & ClassOfParticipationTriple(x4) & Activity(x5) & ClassOfCauseOfBeginningOfClassOfIndividualTriple(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & TemporalWholePartTemplate(x2, x1) & exists u1(ParticipationTriple(u1, x2, x3) & ClassificationTemplate(u1, x4)) & exists u2 exists u3 exists u4( CauseOfEventTriple(u2, u3, x5) & ClassificationTemplate(u2, x6) & Event(u3) & BeginningTemplate(u3, x3) & PointInTime(u4) & CompositionOfIndividualTemplate(u3, u4) & ClassOfIdentificationTemplate(x7, u4)) . % QuenchingBehaviourOfTemporalPart % QuenchingBehaviourOfTemporalPart(x1, x2, x3, x4, x5, x6, x7) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & Activity(x3) & ClassOfParticipationTriple(x4) & Activity(x5) & ClassOfCauseOfEndingOfClassOfIndividualTriple(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & TemporalWholePartTemplate(x2, x1) & exists u1(ParticipationTriple(u1, x2, x3) & ClassificationTemplate(u1, x4)) & exists u2 exists u3 exists u4( CauseOfEventTriple(u2, u3, x5) & ClassificationTemplate(u2, x6) & Event(u3) & EndingTemplate(u3, x3) & PointInTime(u4) & CompositionOfIndividualTemplate(u3, u4) & ClassOfIdentificationTemplate(x7, u4)) . % SkillOfTemporalPartOfPerson % SkillOfTemporalPartOfPerson(x1, x2, x3, x4, x5) <-> PhysicalObject(x1) &PhysicalObject(x2) &Activity(x3) & ClassOfRelationshipWithSignatureTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x2, x1) & exists u1(OtherRelationshipTriple(u1, x2, x3) & ClassificationTemplate(u1, x4)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & ClassOfIdentificationTemplate(x5, u2)) . % UnitOperationWithTemporalPart % UnitOperationWithTemporalPart(x1, x2, x3, x4, x5, x6) <-> Activity(x1) & Activity(x2) & ClassOfActivity(x3) & ClassOfActivity(x4) & EnumeratedSetOfClass(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & ClassificationTemplate(x1, x3) & ClassificationTemplate(x2, x4) & exists u1 exists u2( ClassOfTemporalWholePartTriple(u1, x4, x3) & TemporalWholePartTriple(u2, x2, x1) & ClassificationTemplate(u1, x5) & ClassificationTemplate(u2, u1)) & exists u3(PointInTime(u3) & BeginningTemplate(u3, x2) & ClassOfIdentificationTemplate(x6, u3)) . % FunctionalPhysicalObjectWithTemporalPart % FunctionalPhysicalObjectWithTemporalPart(x1, x2, x3, x4, x5, x6) <-> FunctionalPhysicalObject(x1) & FunctionalPhysicalObject(x2) & ClassOfFunctionalObject(x3) & ClassOfArrangedIndividual(x4) & EnumeratedSetOfClass(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & ClassificationTemplate(x1, x3) & ClassificationTemplate(x2, x4) & exists u1 exists u2( ClassOfTemporalWholePartTriple(u1, x4, x3) & TemporalWholePartTriple(u2, x2, x1) & ClassificationTemplate(u1, x5) & ClassificationTemplate(u2, u1)) & exists u3(PointInTime(u3) & BeginningTemplate(u3, x2) & ClassOfIdentificationTemplate(x6, u3)) . % FunctionalPhysicalObjectFulfilsUnitOperation % FunctionalPhysicalObjectFulfilsUnitOperation(x1, x2, x3, x4, x5) <-> Activity(x1) & Activity(x2) & FunctionalPhysicalObject(x3) & FunctionalPhysicalObject(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & ParticipationTemplate(x4, x2) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & BeginningTemplate(u, x4) & ClassOfIdentificationTemplate(x5, u)) . % InstallationOfMaterializedPhysicalObjectInFunctionPlace % InstallationOfMaterializedPhysicalObjectInFunctionPlace(x1, x2, x3, x4, x5) <-> Activity(x1) & FunctionalPhysicalObject(x2) & MaterializedPhysicalObject(x3) & PhysicalObject(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x4, x2) & TemporalWholePartTemplate(x4, x3) & exists u1 exists u2( Event(u1) & PointInTime(u2) & CauseOfEvent(u1, x1) & BeginningTemplate(u1, x4) & CompositionOfIndividualTemplate(u1, u2) & ClassOfIdentificationTemplate(x5, u2)) . % % TEMPLATES ABOUT TEMPORAL PARTS - IDENTIFICATION % % % IdentificationOfTemporalPart % IdentificationOfTemporalPart(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ExpressString(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalPartTemplate(x2, x1) & ClassOfIdentificationTemplate(x3, x2) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % ClassifiedIdentificationOfTemporalPart % ClassifiedIdentificationOfTemporalPart(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ExpressString(x3) & ClassOfClassOfIdentificationTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalPartTemplate(x2, x1) & exists u1(ClassOfIdentificationTriple(u1, x3, x2) & ClassificationTemplate(u1, x4)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & ClassOfIdentificationTemplate(x5, u2)) . % IdentificationOfTemporalPartWithSign % IdentificationOfTemporalPartWithSign(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalPartTemplate(x2, x1) & IdentificationTemplate(x2, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % IdentificationOfTemporalPartWithClassifiedSign % IdentificationOfTemporalPartWithClassifiedSign(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & ClassOfIndividual(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalPartTemplate(x2, x1) & IdentificationTemplate(x2, x3) & ClassificationTemplate(x3, x4) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x5, u)) . % % TEMPLATES ABOUT TEMPORAL PARTS - INDIRECT PROPERTY % % % IndirectPropertyOfTemporalPart % IndirectPropertyOfTemporalPart(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & Property(x3) & ClassOfIndirectPropertyTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalPartTemplate(x2, x1) & exists u1(IndirectPropertyTriple(u1, x2, x3) & ClassificationTemplate(u1, x4)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & ClassOfIdentificationTemplate(x5, u2)) . % IndirectPropertyWithValueOfTemporalPart % IndirectPropertyWithValueOfTemporalPart(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfIndirectPropertyTriple(x3) & ExpressReal(x4) & ScaleTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalPartTemplate(x2, x1) & exists u1 exists u2 exists u3 exists u4 (IndirectPropertyTriple(u1, x2, u2) & Property(u2) & PropertyQuantificationTriple(u3, u2, u4) & RealNumber(u4) & ClassificationTemplate(u1, x3) & ClassificationTemplate(u3, x5) & ClassOfIdentificationTemplate(x4, u4)) & exists u5(PointInTime(u5) & BeginningTemplate(u5, x2) & ClassOfIdentificationTemplate(x6, u5)) . % MonetaryValueOfTemporalPart % MonetaryValueOfTemporalPart(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfIndirectPropertyTriple(x3) & ExpressReal(x4) & ScaleTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalPartTemplate(x2, x1) & exists u1 exists u2 exists u3 exists u4 (IndirectPropertyTriple(u1, x2, u2) & Property(u2) & PropertyQuantificationTriple(u3, u2, u4) & RealNumber(u4) & ClassificationTemplate(u1, x3) & ClassificationTemplate(u3, x5) & ClassOfIdentificationTemplate(x4, u4)) & exists u5(PointInTime(u5) & BeginningTemplate(u5, x2) & ClassOfIdentificationTemplate(x6, u5)) . % % TEMPLATES ABOUT TEMPORAL PARTS - LOCATION % % % ContainmentOfTemporalPart % ContainmentOfTemporalPart(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfContainmentOfIndividualTriple(x3) & PossibleIndividual(x4) & PossibleIndividual(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & exists u1(ContainmentOfIndividualTriple(u1, x5, x2) & ClassificationTemplate(u1, x3)) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x5, x4) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x5) & ClassOfIdentificationTemplate(x6, u2)) . % RelativeLocationOfTemporalPart % RelativeLocationOfTemporalPart(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfRelativeLocationTriple(x3) & PossibleIndividual(x4) & PossibleIndividual(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & exists u1(RelativeLocationTriple(u1, x5, x2) & ClassificationTemplate(u1, x3)) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x5, x4) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x5) & ClassOfIdentificationTemplate(x6, u2)) . % PositionOfATemporalPartInACoordinateSystem % PositionOfATemporalPartInACoordinateSystem(x1, x2, x3, x4, x5, x6, x7) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & CoordinateSystemTriple(x3) & RealNumber(x4) & RealNumber(x5) & RealNumber(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2(MultidimensionalProperty(u1) & PropertyQuantificationTriple(u2, u1, u3) & exists u3(MultidimensionalNumber(u3) & hasElement1(u3, x4) & hasElement1(u3, x5) & hasElement1(u3, x6)) & ClassificationTemplate(u1, x2) & ClassificationTemplate(u2, x3)) & exists u4(PointInTime(u4) & BeginningTemplate(u4, x2) & ClassOfIdentificationTemplate(x7, u4)) . % % TEMPLATES ABOUT TEMPORAL PARTS - MATERIAL % % % ClassificationOfTemporalPartWithCompoundType % ClassificationOfTemporalPartWithCompoundType(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfCompound(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalWholePartTemplate(x2, x1) & ClassificationTemplate(x2, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % ClassificationOfTemporalPartWithBiologicalMatterType % ClassificationOfTemporalPartWithBiologicalMatterType(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfBiologicalMatter(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalWholePartTemplate(x2, x1) & ClassificationTemplate(x2, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % ClassificationOfTemporalPartWithCompositeMaterialType % ClassificationOfTemporalPartWithCompositeMaterialType(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfCompositeMaterial(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalWholePartTemplate(x2, x1) & ClassificationTemplate(x2, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % ClassificationOfTemporalPartWithParticulateMaterialType % ClassificationOfTemporalPartWithParticulateMaterialType(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfParticulateMaterial(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalWholePartTemplate(x2, x1) & ClassificationTemplate(x2, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % ClassificationOfTemporalPartWithPhase % ClassificationOfTemporalPartWithPhase(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & Phase(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalWholePartTemplate(x2, x1) & ClassificationTemplate(x2, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % % TEMPLATES ABOUT TEMPORAL PARTS - OTHER RELATIONSHIP % % % EmploymentOfTemporalPartOfPersonByOrganization % EmploymentOfTemporalPartOfPersonByOrganization(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfRelationshipWithSignatureTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1(OtherRelationshipTriple(u1, x2, x4) & ClassificationTemplate(u1, x5)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x4) & ClassOfIdentificationTemplate(x6, u2)) . % PhysicalObjectManufacturedByTemporalPartOrganization % PhysicalObjectManufacturedByTemporalPartOrganization(x1, x2, x3, x4, x5) <-> WholeLifeIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & ClassOfRelationshipWithSignatureTriple(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x3, x2) & exists u1(OtherRelationshipTriple(u1, x1, x2) & ClassificationTemplate(u1, x4)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x3) & ClassOfIdentificationTemplate(x5, u2)) . % RelationBetweenTemporalPartAndClass % RelationBetweenTemporalPartAndClass(x1, x2, x3, x4, x5, x6, x7) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & RoleAndDomain(x3) & RoleAndDomain(x4) & Cardinality(x5) & Cardinality(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & TemporalWholePartTemplate(x2, x1) & ClassificationTemplate(x2, x3) & exists u1 exists u2( ClassOfRelationshipWithSignatureTriple(u1, x3, x4) & ClassOfRelationshipWithRelatedEnd1(u2, x2) & end1Cardinality(u2, x5) & end2Cardinality(u1, x6) & SpecializationTemplate(u2, u1)) & exists u3(PointInTime(u3) & BeginningTemplate(u3, x2) & ClassOfIdentificationTemplate(x7, u3)) . % % TEMPLATES ABOUT TEMPORAL PARTS - PROPERTY AND STATUS % % % PropertyOfTemporalPart % PropertyOfTemporalPart(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & Property(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalPartTemplate(x2, x1) & ClassificationTemplate(x2, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % PropertyWithValueOfTemporalPart % PropertyWithValueOfTemporalPart(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfProperty(x3) & ExpressReal(x4) & ScaleTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2 exists u3(Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & ClassificationTemplate(x2, u1) & ClassificationTemplate(u1, x3) & ClassificationTemplate(u2, x5) & ClassOfIdentificationTemplate(x4, u3)) & exists u4(PointInTime(u4) & BeginningTemplate(u4, x2) & ClassOfIdentificationTemplate(x6, u4)) . % PropertyOfTemporalPartOfStreamAtRelativeLocationAndTime % PropertyOfTemporalPartOfStreamAtRelativeLocationAndTime(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> Stream(x1) & Stream(x2) & PhysicalObject(x3) & PhysicalObject(x4) & SinglePropertyDimension(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & ExpressReal(x8) & ScaleTriple(x9) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & ContainmentOfIndividualTemplate(x2, x4) & exists u1(PointInTime(u1) & BeginningTemplate(u1, x2) & ClassOfIdentificationTemplate(x6, u1)) & exists u(PointInTime(u2) & EndingTemplate(u2, x2) & ClassOfIdentificationTemplate(x7, u2)) & exists u3 exists u4 exists u5(Property(u3) & RealNumber(u4) & PropertyQuantificationTriple(u5, u3, u4) & ClassificationTemplate(x2, u3) & ClassificationTemplate(u3, x5) & ClassificationTemplate(u5, x9) & ClassOfIdentificationTemplate(x8, u4)) . % ConditionalPropertyWithValueOfTemporalPart % ConditionalPropertyWithValueOfTemporalPart(x1, x2, x3, x4, x5, x6, x7) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfMultidimensionalObject(x3) & Property(x4) & ClassOfProperty(x5) & ExpressReal(x6) & ScaleTriple(x7) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2 exists u3 exists u4( MultidimensionalProperty(u1) & element1(u1, u2) & element2(u1, x4) & ClassificationTemplate(u1, x3) & Property(u2) & ClassificationTemplate(x2, u2) & ClassificationTemplate(u2, x5) & PropertyQuantificationTriple(u3, u2, u4) & ClassificationTemplate(u3, x7) & RealNumber(u4) & ClassOfIdentificationTemplate(x6, u4)) . % TwoDimensionalPropertyWithValuesOfTemporalPart % TwoDimensionalPropertyWithValuesOfTemporalPart(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfMultidimensionalObject(x3) & ClassOfProperty(x4) & ExpressReal(x5) & ScaleTriple(x6) & ClassOfProperty(x7) & ExpressReal(x8) & ScaleTriple(x9) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( MultidimensionalProperty(u1) & element1(u1, u2) & element2(u1, u5) & ClassificationTemplate(u1, x3) & Property(u2) & ClassificationTemplate(x2, u2) & ClassificationTemplate(u2, x4) & PropertyQuantificationTriple(u3, u2, u4) & ClassificationTemplate(u3, x6) & RealNumber(u4) & ClassOfIdentificationTemplate(x5, u4) & Property(u5) & ClassificationTemplate(x2, u5) & ClassificationTemplate(u5, x7) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u5, x9) & RealNumber(u7) & ClassOfIdentificationTemplate(x8, u7)) . % StatusOfTemporalPart % StatusOfTemporalPart(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & Status(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalPartTemplate(x2, x1) & ClassificationTemplate(x2, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x4, u)) . % % TEMPLATES ABOUT TEMPORAL PARTS - REPRESENTATION % % % RepresentationOfTemporalPartOnDocument % RepresentationOfTemporalPartOnDocument(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfInformationObject(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & TemporalWholePartTemplate(x2, x1) & exists u1(ClassOfInformationRepresentation(u1) & ClassOfRepresentationOfThingTemplate(u1, x2) & SpecializationTemplate(x3, u1)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & ClassOfIdentificationTemplate(x4, u2)) . % RepresentationOfTemporalPartContainedInDocument % RepresentationOfTemporalPartContainedInDocument(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfInformationRepresentation(x3) & ClassOfInformationObject(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x2, x1) & ClassOfRepresentationOfThingTemplate(x3, x2) & SpecializationTemplate(x4, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x5, u)) . % % TEMPLATES ABOUT TEMPORAL PARTS - SHAPE % % % ShapeOfTemporalPart % ShapeOfTemporalPart(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfShape(x3) & ClassOfShapeDimension(x4) & Property(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2(Shape(u1) & ShapeDimension(u2) & ClassificationTemplate(x2, u1) & ClassificationTemplate(u1, x3) & DimensionOfShapeTemplate(u2, u1) & ClassificationTemplate(u2, x4) & PropertyForShapeDimensionTemplate(x5, u2)) & exists u3(PointInTime(u3) & BeginningTemplate(u3, x2) & ClassOfIdentificationTemplate(x6, u3)) . % ShapeWithDimensionOfTemporalPart % ShapeWithDimensionOfTemporalPart(x1, x2, x3, x4, x5, x6, x7, x8) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfShape(x3) & ClassOfShapeDimension(x4) & SinglePropertyDimension(x5) & ExpressReal(x6) & ScaleTriple(x7) & RepresentationOfGregorianDateAndUtcTime(x8) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2 exists u3 exists u4 exists u5(Shape(u1) & ShapeDimension(u2) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & RealNumber(u5) & ClassificationTemplate(x2, u1) & ClassificationTemplate(u1, x3) & DimensionOfShapeTemplate(u2, u1) & ClassificationTemplate(u2, x4) & PropertyForShapeDimensionTemplate(u3, u2) & ClassificationTemplate(u3, x5) & ClassificationTemplate(u4, x7) & ClassOfIdentificationTemplate(x6, u5)) & exists u6(PointInTime(u6) & BeginningTemplate(u6, x2) & ClassOfIdentificationTemplate(x8, u6)) . % % TEMPLATES ABOUT TEMPORAL PARTS - STREAM % % % TemporalPartStreamHasSource % TemporalPartStreamHasSource(x1, x2, x3, x4, x5, x6) <-> Stream(x1) & Stream(x2) & ClassOfRelationshipWithSignatureTriple(x3) & PossibleIndividual(x4) & PossibleIndividual(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x5, x4) & exists u1(OtherRelationshipTriple(u1, x2, x5) & ClassificationTemplate(u1, x3)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x5) & ClassOfIdentificationTemplate(x6, u2)) . % TemporalPartStreamHasDestination % TemporalPartStreamHasDestination(x1, x2, x3, x4, x5, x6) <-> Stream(x1) & Stream(x2) & ClassOfRelationshipWithSignatureTriple(x3) & PossibleIndividual(x4) & PossibleIndividual(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x5, x4) & exists u1(OtherRelationshipTriple(u1, x2, x5) & ClassificationTemplate(u1, x3)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x5) & ClassOfIdentificationTemplate(x6, u2)) . % TemporalPartOfStreamAtRelativeLocationAndPeriodInTime % TemporalPartOfStreamAtRelativeLocationAndPeriodInTime(x1, x2, x3, x4, x5, x6, x7) <-> Stream(x1) & Stream(x2) & ClassOfContainmentOfIndividualTriple(x3) & PhysicalObject(x4) & PhysicalObject(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x5, x4) & exists u1(ContainmentOfIndividualTriple(u1, x2, x5) & ClassificationTemplate(u1, x3)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x5) & ClassOfIdentificationTemplate(x6, u2)) & exists u3(PointInTime(u3) & EndingTemplate(u3, x2) & EndingTemplate(u3, x5) & ClassOfIdentificationTemplate(x7, u7)) . % PropertyOfTemporalPartOfStreamAtRelativeLocationAndTime % PropertyOfTemporalPartOfStreamAtRelativeLocationAndTime(x1, x2, x3, x4, x5, x6, x7, x8, x9) <-> Stream(x1) & Stream(x2) & PhysicalObject(x3) & PhysicalObject(x4) & ClassOfProperty(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & ExpressReal(x8) & ScaleTriple(x9) & ContainmentOfIndividualTemplate(x2, x4) & exists u4(PointInTime(u4) & BeginningTemplate(u4, x2) & ClassofIdentificationTemplate(x6, u4)) & exists u5(PointInTime(u5) & EndingTemplate(u5, x2) & ClassofIdentificationTemplate(x7, u5)) & exists u1 exists u2 exists u3(Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & ClassificationTemplate(x2, u1) & ClassificationTemplate(u1, x5) & ClassificationTemplate(u2, x9) & ClassofIdentificationTemplate(x8, u3)) . % % TEMPLATES ABOUT TEMPORAL PARTS - STRUCTURE % % % CompositionOfTemporalPart % CompositionOfTemporalPart(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfCompositionOfIndividualTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1(CompositionOfIndividualTriple(u1, x4, x2) & ClassificationTemplate(u1, x5)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x4) & ClassOfIdentificationTemplate(x6, u2)) . % ArrangementOfTemporalPart % ArrangementOfTemporalPart(x1, x2, x3, x4, x5, x6, x7) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfArrangementOfIndividualTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1(ArrangementOfIndividualTriple(u1, x4, x2) & ClassificationTemplate(u1, x5)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x4) & ClassOfIdentificationTemplate(x6, u2)) . % AssemblyOfTemporalPart % AssemblyOfTemporalPart(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfAssemblyOfIndividualTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1(AssemblyOfIndividualTriple(u1, x4, x2) & ClassificationTemplate(u1, x5)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x4) & ClassOfIdentificationTemplate(x6, u2)) . % FeatureOfTemporalPart % FeatureOfTemporalPart(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfFeatureWholePartTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x4, x3) & exists u1(FeatureWholePartTriple(u1, x4, x2) & ClassificationTemplate(u1, x5)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x4) & ClassOfIdentificationTemplate(x6, u2)) . % DirectConnectionOfTwoTemporalParts % DirectConnectionOfTwoTemporalParts(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfDirectConnectionTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x5, x4) & exists u1(DirectConnectionTriple(u1, x4, x2) & ClassificationTemplate(u1, x5)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x4) & ClassOfIdentificationTemplate(x6, u2)) . % IndirectConnectionOfTwoTemporalParts % IndirectConnectionOfTwoTemporalParts(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfIndirectConnectionTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & TemporalWholePartTemplate(x5, x4) & exists u1(IndirectConnectionTriple(u1, x4, x2) & ClassificationTemplate(u1, x5)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x2) & BeginningTemplate(u2, x4) & ClassOfIdentificationTemplate(x6, u2)) . % TemporalPartUsedInADirectConnection % TemporalPartsUsedInADirectConnection(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfIndividualUsedInConnectionTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2( IndividualUsedInConnectionTriple(u1, u2, x2) & ClassificationTemplate(u1, x5) & DirectConnectionTriple(u2, x3, x4)) & exists u3(PointInTime(u3) & BeginningTemplate(u3, x2) & ClassOfIdentificationTemplate(x6, u3)) . % TemporalPartUsedInAnIndirectConnection % TemporalPartUsedInAnIndirectConnection(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & PossibleIndividual(x4) & ClassOfIndividualUsedInConnectionTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & TemporalWholePartTemplate(x2, x1) & exists u1 exists u2( IndividualUsedInConnectionTriple(u1, u2, x2) & ClassificationTemplate(u1, x5) & IndirectConnectionTriple(u2, x3, x4)) & exists u3(PointInTime(u3) & BeginningTemplate(u3, x2) & ClassOfIdentificationTemplate(x6, u3)) . % % END OF TEMPLATES ABOUT TEMPORAL PARTS % % % % TEMPLATES ABOUT INDIVIDUALS % % % % TEMPLATES ABOUT INDIVIDUALS - ACTIVITY % % % ParticipationOfIndividualInActivity % ParticpationOfIndividualInActivity(x1, x2, x3) <-> Activity(x1) & PossibleIndividual(x2) & ClassOfParticipationTriple(x3) & exists u(ParticipationTriple(u) & ClassificationTemplate(u, x3)) . % InvolvementByReferenceOfClassInActivity % InvolvementByReferenceOfClassInActivity(x1, x2, x3) <-> Activity(x1) & Class(x2) & ClassOfInvolvementByReferenceTriple(x3) & exists u(InvolvementByReferenceTriple(u) & ClassificationTemplate(u, x3)) . % InvolvementByReferenceOfIndividualInActivity % InvolvementByReferenceOfIndividualInActivity(x1, x2, x3) <-> Activity(x1) & PossibleIndividual(x2) & ClassOfInvolvementByReferenceTriple(x3) & exists u(InvolvementByReferenceTriple(u, x1) & ClassificationTemplate(u, x3)) . % MeasuringAPropertyOfAnIndividual % MeasuringAPropertyOfAnIndividual(x1, x2, x3, x4, x5) <-> Activity(x1) & PossibleIndividual(x2) & ClassOfRecognitionTriple(x3) & ExpressReal(x4) & ScaleTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & exists u1 exists u2 exists u3 exists u4 exists u5 (RecognitionTriple(u1, u2, x1) & ClassificationTemplate(u1, x3) & ClassificationTriple(u2, x2, u3) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & RealNumber(u5) & ClassOfIdentificationTemplate(x4, u5) & ClassificationTemplate(u4, x5)) & exists u6(PointInTime(u6) & BeginningTemplate(u6, x1) & BeginningTemplate(u6, x2) & ClassOfIdentificationTemplate(x6, u6)) . % MeasuringAPropertyOfAnIndividualOverAPeriodInTime % MeasuringAPropertyOfAnIndividualOverAPeriodInTime(x1, x2, x3, x4, x5, x6, x7) <-> Activity(x1) & PossibleIndividual(x4) & ClassOfRecognitionTriple(x5) & ExpressReal(x4) & ScaleTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & exists u1 exists u2 exists u3 exists u4 exists u5 (RecognitionTriple(u1, u2, x1) & ClassificationTemplate(u1, x3) & ClassificationTriple(u2, x2, u3) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & RealNumber(u5) & ClassOfIdentificationTemplate(x4, u5) & ClassificationTemplate(u4, x5)) & exists u6(PointInTime(u6) & BeginningTemplate(u6, x1) & BeginningTemplate(u6, x2) & ClassOfIdentificationTemplate(x6, u6)) & exists u7(PointInTime(u7) & BeginningTemplate(u7, x1) & BeginningTemplate(u7, x2) & ClassOfIdentificationTemplate(x7, u7)) . % ActivityCausesBeginningOfIndividual % ActivityCausesBeginningOfIndividual(x1, x2, x3, x4) <-> Activity(x1) & PossibleIndividual(x2) & ClassOfCauseOfBeginningOfClassOfIndividualTriple(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & exists u1 exists u2 exists u3(CauseOfEventTriple(u1, u2, x1) & Event(u2) & PointInTime(u3) & ClassificationTemplate(u1, x3) & BeginningTemplate(u2, x2) & CompositionOfIndividualTemplate(u2, u3) & ClassOfIdentificationTemplate(x4, u3)) . % ActivityCausesEndingOfIndividual % ActivityCausesEndingOfIndividual(x1, x2, x3, x4) <-> Activity(x1) & PossibleIndividual(x2) & ClassOfCauseOfEndingOfClassOfIndividualTriple(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & exists u1 exists u2 exists u3(CauseOfEventTriple(u1, u2, x1) & Event(u2) & PointInTime(u3) & ClassificationTemplate(u1, x3) & EndingTemplate(u2, x2) & CompositionOfIndividualTemplate(u2, u3) & ClassOfIdentificationTemplate(x4, u3)) . % % TEMPLATES ABOUT INDIVIDUALS - CLASSIFICATION % % % ClassificationOfIndividual % ClassificationOfIndividual(x1, x2) <-> PossibleIndividual(x1) & ClassOfIndividual(x2) & ClassificationTemplate(x1, x2) . % % TEMPLATES ABOUT INDIVIDUALS - DESCRIPTION % % % DescriptionOfIndividual % DescriptionOfIndividual(x1, x2) <-> PossibleIndividual(x1) & ClassOfExpressInformationRepresentation(x2) & ClassOfDescriptionTemplate(x2, x1) . % ClassifiedDescriptionOfIndividual % ClassifiedDescriptionOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & ClassOfExpressInformationRepresentation(x2) & ClassOfClassOfDescriptionTriple(x3) & exists u(ClassOfDescriptionTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . % DescriptionOfIndividualInLanguage % DescriptionOfIndividualInLanguage(x1, x2, x3) <-> PossibleIndividual(x1) & ExpressString(x2) & Language(x3) & ClassOfDescriptionTemplate(x2, x1) & ClassificationTemplate(x2, x3) . % ClassifiedDescriptionOfIndividualInLanguage % ClassifiedDescriptionOfIndividualInLanguage(x1, x2, x3) <-> PossibleIndividual(x1) & ExpressString(x2) & ClassOfClassOfDescriptionTriple(x3) & Language(x4) & ClassificationTemplate(x2, x4) & exists u(ClassOfDescriptionTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . % DescriptionOfIndividualWithSign % DescriptionOfIndividualWithSign(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & DescriptionTemplate(x1, x2) . % DescriptionOfIndividualWithClassifiedSign % DescriptionOfIndividualWithClassifiedSign(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfIndividual(x3) & DescriptionTemplate(x1, x2) & ClassificationTemplate(x2, x3) . % % TEMPLATES ABOUT INDIVIDUALS - EXISTENCE % % % BeginningOfIndividual % BeginningOfIndividual(x1, x2) <-> PossibleIndividual(x1) & RepresentationOfGregorianDateAndUtcTime(x2) & exists u(PointInTime(u) & BeginningTemplate(u, x1) & ClassOfIdentificationTemplate(x2, u)) . % BeginningOfPossibleIndividualAtClassifiedEvent % BeginningOfPossibleIndividualAtClassifiedEvent(x1, x2, x3) <-> PossibleIndividual(x1) & ClassOfEvent(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & exists u1 exists u2(Event(u1) & PointInTime(u2) & BeginningTemplate(u1, x2) & ClassificationTemplate(u1, x3) & CompositionOfIndividualTemplate(u2, u1)) . % EndingOfIndividual % EndingOfIndividual(x1, x2) <-> Possiblendividual(x1) & RepresentationOfGregorianDateAndUtcTime(x2) & exists u(PointInTime(u) & EndingTemplate(u, x1) & ClassOfIdentificationTemplate(x2, u)) . % EndingOfPossibleIndividualAtClassifiedEvent % EndingOfPossibleIndividualAtClassifiedEvent(x1, x2, x3) <-> PossibleIndividual(x1) & ClassOfEvent(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & exists u1 exists u2(Event(u1) & PointInTime(u2) & EndingTemplate(u1, x2) & ClassificationTemplate(u1, x3) & CompositionOfIndividualTemplate(u2, u1)) . % % TEMPLATES ABOUT INDIVIDUALS - FUNCTION BEHAVIOUR SKILL % % % EruptingBehaviourOfIndividual % EruptingBehaviourOfIndividual(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & Activity(x2) & Activity(x3) & ClassOfCauseOfBeginningOfClassOfIndividual(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & ParticipationTemplate(x1, x2) & exists u1 exists u2 exists u3( Event(u1) & PointInTime(u2) & BeginningTemplate(u1, x2) & CauseOfEventTriple(u3, u1, x3) & ClassificationTemplate(u3, x4) & CompositionOfIndividualTemplate(u1, u2) & ClassOfIdentificationTemplate(x5, u2)) . % QuenchingBehaviourIOfIndividual % QuenchingBehaviourOfIndividual(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & Activity(x2) & Activity(x3) & ClassOfCauseOfEndingOfClassOfIndividual(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & ParticipationTemplate(x1, x2) & exists u1 exists u2 exists u3( Event(u1) & PointInTime(u2) & EndingTemplate(u1, x2) & CauseOfEventTriple(u3, u1, x3) & ClassificationTemplate(u3, x4) & CompositionOfIndividualTemplate(u1, u2) & ClassOfIdentificationTemplate(x5, u2)) . % SkillOfAPerson % SkillOfAPerson(x1, x2, x3) <-> PhysicalObject(x1) & Activity(x2) & ClassOfRelationshipWithSignatureTriple(x3) & exists u(OtherRelationshipTriple(u, x1, x2) & ClassificationTemplate(u, x3)) . % FunctionalObjectFulfilsUnitOperation % FunctionalPhysicalObjectFulfilsUnitOperation(x1, x2, x3, x4, x5) <-> Activity(x1) & FunctionalPhysicalObject(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & ParticipationTemplate(x2, x1) & exists u(PointInTime(u) & BeginningTemplate(u, x1) & BeginningTemplate(u, x2) & ClassOfIdentificationTemplate(x3, u)) . % InstallationOfMaterializedPhysicalObjectInFunctionPlace % InstallationOfMaterializedPhysicalObjectInFunctionPlace(x1, x2, x3, x4, x5) <-> FunctionalPhysicalObject(x1) & MaterializedPhysicalObject(x2) & ClassOfArrangedIndividual(x3) & PhysicalObject(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & TemporalWholePartTemplate(x4, x1) & TemporalWholePartTemplate(x4, x2) & ClassificationTemplate(x4, x3) & exists u(PointInTime(u) & BeginningTemplate(u, x4) & ClassOfIdentificationTemplate(x5, u)) . % % TEMPLATES ABOUT INDIVIDUALS - IDENTIFICATION % % % IdentificationOfIndividual % IdentificationOfIndividual(x1, x2) <-> PossibleIndividual(x1) & ExpressString(x2) & ClassOfIdentificationTemplate(x2, x1) . % ClassifiedIdentificationOfIndividual % ClassifiedIdentificationOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & ExpressString(x2) & ClassOfClassOfIdentificationTriple(x3) & exists u(ClassOfIdentificationTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . % IdentificationOfIndividualWithSign % IdentificationOfIndividualWithSign(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & IdentificationTemplate(x1, x2) . % IdentificationOfIndividualWithClassifiedSign % IdentificationOfIndividualWithClassifiedSign(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfIndividual(x3) & ClassificationTemplate(x2, x3) & IdentificationTemplate(x1, x2) . % % TEMPLATES ABOUT INDIVIDUALS - INDIRECT PROPERTY % % % IndirectPropertyOfIndividual % IndirectPropertyOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & Property(x2) & ClassOfIndirectPropertyTriple(x3) & exists u(IndirectPropertyTriple(u, x1, x2) & ClassificationTemplate(u, x3)) . % IndirectPropertyWithValueOfIndividual % IndirectPropertyWithValueOfIndividual(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfIndirectPropertyTriple(x2) & ExpressReal(x3) & ScaleTriple(x4) & exists u1 exists u2 exists u3 exists u4 (IndirectPropertyTriple(u1, x1, u2) & Property(u2) & PropertyQuantificationTriple(u3, u2, u4) & RealNumber(u4) & ClassificationTemplate(u1, x2) & ClassificationTemplate(u3, x4) & ClassOfIdentificationTemplate(x3, u4)) . % MonetaryValueOfIndividual % MonetaryValueOfIndividual(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfIndirectPropertyTriple(x2) & ExpressReal(x3) & ScaleTriple(x4) & exists u1 exists u2 exists u3 exists u4 (IndirectPropertyTriple(u1, x1, u2) & Property(u2) & PropertyQuantificationTriple(u3, u2, u4) & RealNumber(u4) & ClassificationTemplate(u1, x2) & ClassificationTemplate(u3, x4) & ClassOfIdentificationTemplate(x3, u4)) . % % TEMPLATES ABOUT INDIVIDUALS - LOCATION % % % ContainmentOfAnIndividual % ContainmentOfAnIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfContainmentOfIndividualTriple(x3) & exists u(ContainmentOfIndividualTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . % RelativeLocationOfAnIndividual % RelativeLocationOfAnIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfRelativeLocationTriple(x3) & exists u(RelativeLocationTriple(u, x5, x2) & ClassificationTemplate(u, x3)) . % PositionOfAnIndividualInACoordinateSystem % PositionOfAnIndividualInACoordinateSystem(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & CoordinateSystemTriple(x2) & RealNumber(x3) & RealNumber(x4) & RealNumber(x5) & exists u1 exists u2(MultidimensionalProperty(u1) & PropertyQuantificationTriple(u2, u1, u3) & exists u3(MultidimensionalNumber(u3) & hasElement1(u3, x4) & hasElement1(u3, x5) & hasElement1(u3, x6)) & ClassificationTemplate(u1, x2) & ClassificationTemplate(u2, x3)) . % % TEMPLATES ABOUT INDIVIDUALS - MATERIAL % % % ClassificationOfIndividualWithCompoundType % ClassificationOfIndividualWithCompoundType(x1, x2) <-> PossibleIndividual(x1) & ClassOfCompound(x2) & ClassificationTemplate(x1, x2) . % ClassificationOfIndividualWithBiologicalMatterType % ClassificationOfIndividualWithBiologicalMatterType(x1, x2) <-> PossibleIndividual(x1) & ClassOfBiologicalMatter(x2) & ClassificationTemplate(x1, x2) . % ClassificationOfIndividualWithCompositeMaterialType % ClassificationOfIndividualWithCompositeMaterialType(x1, x2) <-> PossibleIndividual(x1) & ClassOfCompositeMaterial(x2) & ClassificationTemplate(x1, x2) . % ClassificationOfIndividualWithParticulateMaterialType % ClassificationOfIndividualWithParticulateMaterialType(x1, x2) <-> PossibleIndividual(x1) & ClassOfParticulateMaterial(x2) & ClassificationTemplate(x1, x2) . % ClassificationOfIndividualWithPhase % ClassificationOfIndividualWithPhase(x1, x2) <-> PossibleIndividual(x1) & Phase(x2) & ClassificationTemplate(x1, x2) . % % TEMPLATES ABOUT INDIVIDUALS - OTHER RELATIONSHIP % % % EmploymentOfPersonByOrganization % EmploymentOfPersonByOrganization(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfRelationshipWithSignatureTriple(x3) & exists u1(OtherRelationshipTriple(u1, x1, x2) & ClassificationTemplate(u1, x3)) . % PhysicalObjectManufacturedByOrganization % PhysicalObjectManufacturedByOrganization(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfRelationshipWithSignatureTriple(x3) & exists u1(OtherRelationshipTriple(u1, x1, x2) & ClassificationTemplate(u1, x3)) . % RelationBetweenIndividualAndClass % RelationBetweenIndividualAndClass(x1, x2, x3, x4, x5) <-> PossibleIndividual(x1) & RoleAndDomain(x2) & RoleAndDomain(x3) & Cardinality(x4) & Cardinality(x5) & ClassificationTemplate(x2, x3) & exists u1 exists u2( ClassOfRelationshipWithSignatureTriple(u1, x2, x3) & ClassOfRelationshipWithRelatedEnd1(u2, x1) & end1Cardinality(u2, x4) & end2Cardinality(u1, x5) & SpecializationTemplate(u2, u1)) . % % TEMPLATES ABOUT INDIVIDUALS - PROPERTY AND STATUS % % % PropertyOfIndividual % PropertyOfIndividual(x1, x2) <-> PossibleIndividual(x1) & Property(x2) & ClassificationTemplate(x1, x2) . % PropertyWithValueOfIndividual % PropertyWithValueOfIndividual(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfProperty(x2) & ExpressReal(x3) & ScaleTriple(x4) & exists u1 exists u2 exists u3(Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & ClassificationTemplate(x1, u1) & ClassificationTemplate(u1, x2) & ClassificationTemplate(u2, x4) & ClassOfIdentificationTemplate(x3, u3)) . % PropertyOfStreamAtRelativeLocationAndTime % PropertyOfStreamAtRelativeLocationAndTime(x1, x2, x3, x4, x5, x6, x7) <-> Stream(x1) & PhysicalObject(x2) & SinglePropertyDimension(x3) & ExpressReal(x4) & ScaleTriple(x5) & RepresentationOfGregorianDateAndUtcTime(x6) & RepresentationOfGregorianDateAndUtcTime(x7) & ContainmentOfIndividualTemplate(x1, x2) & exists u1 exists u2 exists u3( Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & ClassificationTemplate(x1, u1) & ClassificationTemplate(u1, x3) & ClassificationTemplate(u2, x5) & ClassOfIdentificationTemplate(x4, u3)) & exists u4(PointInTime(u4) & BeginningTemplate(u4, x1) & ClassOfIdentificationTemplate(x6, u4)) & exists u5(PointInTime(u5) & EndingTemplate(u5, x1) & ClassOfIdentificationTemplate(x7, u5)) . % ConditionalPropertyWithValueOfIndividual % ConditionalPropertyWithValueOfIndividual(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfMultidimensionalObject(x2) & Property(x3) & ClassOfProperty(x4) & ExpressReal(x5) & ScaleTriple(x6) & exists u1 exists u2 exists u3 exists u4( MultidimensionalProperty(u1) & element1(u1, u2) & element2(u1, x3) & ClassificationTemplate(u1, x2) & Property(u2) & ClassificationTemplate(x1, u2) & ClassificationTemplate(u2, x4) & PropertyQuantificationTriple(u3, u2, u4) & ClassificationTemplate(u3, x6) & RealNumber(u4) & ClassOfIdentificationTemplate(x5, u4)) . % TwoDimensionalPropertyWithValuesOfIndividual % TwoDimensionalPropertyWithValuesOfIndividual(x1, x2, x3, x4, x5, x6, x7, x8) <-> PossibleIndividual(x1) & ClassOfMultidimensionalObject(x2) & ClassOfProperty(x3) & ExpressReal(x4) & ScaleTriple(x5) & ClassOfProperty(x6) & ExpressReal(x7) & ScaleTriple(x8) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7( MultidimensionalProperty(u1) & element1(u1, u2) & element2(u1, u5) & ClassificationTemplate(u1, x2) & Property(u2) & ClassificationTemplate(x1, u2) & ClassificationTemplate(u2, x3) & PropertyQuantificationTriple(u3, u2, u4) & ClassificationTemplate(u3, x5) & RealNumber(u4) & ClassOfIdentificationTemplate(x4, u4) & Property(u5) & ClassificationTemplate(x1, u5) & ClassificationTemplate(u5, x6) & PropertyQuantificationTriple(u6, u5, u7) & ClassificationTemplate(u5, x8) & RealNumber(u7) & ClassOfIdentificationTemplate(x7, u7)) . % StatusOfIndividual % StatusOfIndividual(x1, x2) <-> PossibleIndividual(x1) & Status(x2) & ClassificationTemplate(x1, x2) . % % TEMPLATES ABOUT INDIVIDUALS - REPRESENTATION % % % RepresentationOfIndividualOnDocument % RepresentationOfIndividualOnDocument(x1, x2) <-> PossibleIndividual(x1) & ClassOfInformationObject(x2) & exists u(ClassOfInformationRepresentation(u) & ClassOfRepresentationOfThingTemplate(u, x1) & SpecializationTemplate(x2, u)) . % RepresentationOfIndividualContainedInDocument % RepresentationOfIndividualContainedInDocument(x1, x2, x3) <-> PossibleIndividual(x1) & ClassOfExpressInformationRepresentation(x2) & ClassOfInformationObject(x3) & ClassOfRepresentationOfThingTemplate(x2, x1) & SpecializationTemplate(x3, x2) . % % TEMPLATES ABOUT INDIVIDUALS - SHAPE % % % ShapeOfIndividual % ShapeOfIndividual(x1, x2, x3, x4) <-> PossibleIndividual(x1) & ClassOfShape(x2) & ClassOfShapeDimension(x3) & Property(x4) & exists u1 exists u2(Shape(u1) & ShapeDimension(u2) & ClassificationTemplate(x1, u1) & ClassificationTemplate(u1, x2) & DimensionOfShapeTemplate(u2, u1) & ClassificationTemplate(u2, x3) & PropertyForShapeDimensionTemplate(x4, u2)) . % ShapeWithDimensionOfIndividual % ShapeWithDimensionOfIndividual(x1, x2, x3, x4, x5, x6) <-> PossibleIndividual(x1) & ClassOfShape(x2) & ClassOfShapeDimension(x3) & SinglePropertyDimension(x4) & ExpressReal(x5) & ScaleTriple(x6) & exists u1 exists u2 exists u3 exists u4 exists u5(Shape(u1) & ShapeDimension(u2) & Property(u3) & PropertyQuantificationTriple(u4, u3, u5) & RealNumber(u5) & ClassificationTemplate(x1, u1) & ClassificationTemplate(u1, x2) & DimensionOfShapeTemplate(u2, u1) & ClassificationTemplate(u2, x3) & PropertyForShapeDimensionTemplate(u3, u2) & ClassificationTemplate(u3, x4) & ClassificationTemplate(u4, x6) & ClassOfIdentificationTemplate(x5, u5)) . % % TEMPLATES ABOUT INDIVIDUALS - STREAM % % % StreamHasSource % StreamHasSource(x1, x2, x3) <-> Stream(x1) & ClassOfRelationshipWithSignatureTriple(x2) & PossibleIndividual(x3) & exists u(OtherRelationshipTriple(u, x1, x3) & ClassificationTemplate(u, x2)) . % StreamHasDestination % StreamHasDestination(x1, x2, x3) <-> Stream(x1) & ClassOfRelationshipWithSignatureTriple(x2) & PossibleIndividual(x3) & exists u(OtherRelationshipTriple(u, x1, x3) & ClassificationTemplate(u, x2)) . % StreamAtRelativeLocationAndPeriodInTime % StreamAtRelativeLocationAndPeriodInTime(x1, x2, x3, x4, x5) <-> Stream(x1) & ClassOfContainmentOfIndividualTriple(x2) & PhysicalObject(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & exists u1(ContainmentOfIndividualTriple(u1, x1, x3) & ClassificationTemplate(u1, x2)) & exists u2(PointInTime(u2) & BeginningTemplate(u2, x1) & BeginningTemplate(u2, x3) & ClassOfIdentificationTemplate(x4, u2)) & exists u(PointInTime(u3) & EndingTemplate(u3, x1) & EndingTemplate(u3, x3) & ClassOfIdentificationTemplate(x5, u3)) . % PropertyOfStreamAtRelativeLocationAndTime % PropertyOfStreamAtRelativeLocationAndTime(x1, x2, x3, x4, x5, x6, x7) <-> Stream(x1) & PhysicalObject(x2) & ClassOfProperty(x3) & RepresentationOfGregorianDateAndUtcTime(x4) & RepresentationOfGregorianDateAndUtcTime(x5) & ExpressReal(x6) & ScaleTriple(x7) & ContainmentOfIndividualTemplate(x1, x2) & exists u4(PointInTime(u4) & BeginningTemplate(u4, x1) & ClassofIdentificationTemplate(x4, u4)) & exists u5(PointInTime(u5) & EndingTemplate(u5, x1) & ClassofIdentificationTemplate(x5, u5)) & exists u1 exists u2 exists u3(Property(u1) & PropertyQuantificationTriple(u2, u1, u3) & RealNumber(u3) & ClassificationTemplate(x1, u1) & ClassificationTemplate(u1, x3) & ClassificationTemplate(u2, x7) & ClassofIdentificationTemplate(x6, u3)) . % % TEMPLATES ABOUT INDIVIDUALS - STRUCTURE % % % CompositionOfAnIndividual % CompositionOfAnIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfCompositionOfIndividualTriple(x3) & exists u(CompositionOfIndividualTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . % ArrangementOfAnIndividual % ArrangementOfAnIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfArrangementOfIndividualTriple(x3) & exists u(ArrangementOfIndividualTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . % AssemblyOfAnIndividual % AssemblyOfAnIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfAssemblyOfIndividualTriple(x3) & exists u(AssemblyOfIndividualTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . % FeatureOfIndividual % FeatureOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfFeatureWholePartTriple(x3) & exists u(FeatureWholePartTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . % DirectConnectionOfTwoIndividuals % DirectConnectionOfTwoIndividuals(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfDirectConnectionTriple(x3) & exists u(DirectConnectionTriple(u, x1, x2) & ClassificationTemplate(u, x3)) . % IndirectConnectionOfTwoIndividuals % IndirectConnectionOfTwoIndividuals(x1, x2, x3) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & ClassOfIndirectConnectionTriple(x3) & exists u(IndirectConnectionTriple(u, x1, x2) & ClassificationTemplate(u, x3)) . % IndividualUsedInADirectConnection % IndividualUsedInADirectConnection(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & ClassOfIndividualUsedInConnectionTriple(x4) & exists u1 exists u2(IndividualUsedInConnectionTriple(u1, u2, x1) & ClassificationTemplate(u1, x3) & DirectConnectionTriple(u2, x2, x3)) . % IndividualUsedInAnIndirectConnection % IndividualUsedInAnIndirectConnection(x1, x2, x3, x4) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & PossibleIndividual(x3) & ClassOfIndividualUsedInConnectionTriple(x4) & exists u1 exists u2(IndividualUsedInConnectionTriple(u1, u2, x1) & ClassificationTemplate(u1, x3) & IndirectConnectionTriple(u2, x2, x3)) . % AggregateOfMonotypeIndividual % AggregateOfMonotypeIndividual(x1, x2, x3) <-> ClassOfAggregateOfIndividual(x1) & PossibleIndividual(x2) & INTEGER(x3) & exists u1(ClassOfParticulateMaterial(u) & SpecializationTemplate(x1, u1)) & exists u2 exists u3 exists u4 exists u5(ClassOfArrangedIndividual(u2) & SpecializationTemplate(u2, x1) & ClassOfCompositionOfIndividualTriple(u3, u1, x1) & Cardinality(u4) & Cardinality(u5) & end1Cardinality(u3, u4) & end2Cardinality(u3, u5) & minimumCardinality(u5, x3) & maximumCardinality(u5, x3)) & ClassificationTemplate(x2, x1) . % % END OF TEMPLATES ABOUT INDIVIDUALS % % % % END OF ALL TEMPLATES % %