% Copyright (c) 2009, ids-adi.org % All rights reserved. % % Redistribution and use in source and binary forms, with or without % modification, are permitted provided that the following conditions are met: % % * Redistributions of source code must retain the above copyright % notice, this list of conditions and the following disclaimer. % * Redistributions in binary form must reproduce the above copyright % notice, this list of conditions and the following disclaimer in the % documentation and/or other materials provided with the distribution. % * Neither the name of ids-adi.org nor the names of its % contributors may be used to endorse or promote products derived from % this software without specific prior written permission. % % THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" % AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE % IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE % ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE % LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR % CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF % SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS % INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN % CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) % ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF % THE POSSIBILITY OF SUCH DAMAGE. %% %% BEGIN Universe axiom %% all x (Thing(x)) . %% %% END Universe axiom %% %% %% BEGIN Subtype axioms %% AbstractObject(x) -> Thing(x) . Activity(x) -> PossibleIndividual(x) . ActualIndividual(x) -> PossibleIndividual(x) . Approval(x) -> Relationship(x) . ArithmeticNumber(x) -> ClassOfClass(x) . ArrangedIndividual(x) -> PossibleIndividual(x) . ArrangementOfIndividual(x) -> CompositionOfIndividual(x) . AssemblyOfIndividual(x) -> ArrangementOfIndividual(x) . Beginning(x) -> TemporalBounding(x) . BoundaryOfNumberSpace(x) -> Specialization(x) . BoundaryOfPropertySpace(x) -> Specialization(x) . Cardinality(x) -> Class(x) . CauseOfEvent(x) -> Relationship(x) . Class(x) -> AbstractObject(x) . ClassOfAbstractObject(x) -> Class(x) . ClassOfActivity(x) -> ClassOfArrangedIndividual(x) . ClassOfApproval(x) -> ClassOfRelationship(x) . ClassOfApprovalByStatus(x) -> ClassOfRelationship(x) . ClassOfArrangedIndividual(x) -> ClassOfIndividual(x) . ClassOfArrangementOfIndividual(x) -> ClassOfCompositionOfIndividual(x) . ClassOfAssemblyOfIndividual(x) -> ClassOfArrangementOfIndividual(x) . ClassOfAssertion(x) -> ClassOfRelationship(x) . ClassOfAtom(x) -> ClassOfArrangedIndividual(x) . ClassOfBiologicalMatter(x) -> ClassOfArrangedIndividual(x) . ClassOfCauseOfBeginningOfClassOfIndividual(x) -> ClassOfRelationship(x) . ClassOfCauseOfEndingOfClassOfIndividual(x) -> ClassOfRelationship(x) . ClassOfClass(x) -> ClassOfAbstractObject(x) . ClassOfClassOfComposition(x) -> ClassOfClassOfRelationship(x) . ClassOfClassOfDefinition(x) -> ClassOfClassOfRepresentation(x) . ClassOfClassOfDescription(x) -> ClassOfClassOfRepresentation(x) . ClassOfClassOfIdentification(x) -> ClassOfClassOfRepresentation(x) . ClassOfClassOfIndividual(x) -> ClassOfClass(x) . ClassOfClassOfInformationRepresentation(x) -> ClassOfClassOfIndividual(x) . ClassOfClassOfRelationship(x) -> ClassOfClass(x) . ClassOfClassOfRelationshipWithSignature(x) -> ClassOfClassOfRelationship(x) . ClassOfClassOfRelationshipWithSignature(x) -> ClassOfRelationshipWithSignature(x) . ClassOfClassOfRepresentation(x) -> ClassOfClassOfRelationship(x) . ClassOfClassOfRepresentationTranslation(x) -> ClassOfClassOfRelationship(x) . ClassOfClassOfResponsibilityForRepresentation(x) -> ClassOfClassOfRelationship(x) . ClassOfClassOfUsageOfRepresentation(x) -> ClassOfClassOfRelationship(x) . ClassOfClassification(x) -> ClassOfRelationship(x) . ClassOfCompositeMaterial(x) -> ClassOfArrangedIndividual(x) . ClassOfCompositionOfIndividual(x) -> ClassOfRelationship(x) . ClassOfCompound(x) -> ClassOfArrangedIndividual(x) . ClassOfConnectionOfIndividual(x) -> ClassOfRelationship(x) . ClassOfContainmentOfIndividual(x) -> ClassOfRelativeLocation(x) . ClassOfDefinition(x) -> ClassOfRepresentationOfThing(x) . ClassOfDescription(x) -> ClassOfRepresentationOfThing(x) . ClassOfDimensionForShape(x) -> ClassOfClassOfRelationship(x) . ClassOfDirectConnection(x) -> ClassOfConnectionOfIndividual(x) . ClassOfEvent(x) -> ClassOfIndividual(x) . ClassOfExpressInformationRepresentation(x) -> ClassOfInformationRepresentation(x) . ClassOfFeature(x) -> ClassOfArrangedIndividual(x) . ClassOfFeatureWholePart(x) -> ClassOfArrangementOfIndividual(x) . ClassOfFunctionalMapping(x) -> ClassOfRelationship(x) . ClassOfFunctionalObject(x) -> ClassOfArrangedIndividual(x) . ClassOfIdentification(x) -> ClassOfRepresentationOfThing(x) . ClassOfInanimatePhysicalObject(x) -> ClassOfArrangedIndividual(x) . ClassOfIndirectConnection(x) -> ClassOfConnectionOfIndividual(x) . ClassOfIndirectProperty(x) -> ClassOfRelationship(x) . ClassOfIndividual(x) -> Class(x) . ClassOfIndividualUsedInConnection(x) -> ClassOfRelationship(x) . ClassOfInformationObject(x) -> ClassOfArrangedIndividual(x) . ClassOfInformationPresentation(x) -> ClassOfArrangedIndividual(x) . ClassOfInformationRepresentation(x) -> ClassOfArrangedIndividual(x) . ClassOfIntendedRoleAndDomain(x) -> ClassOfRelationship(x) . ClassOfInvolvementByReference(x) -> ClassOfRelationship(x) . ClassOfIsomorphicFunctionalMapping(x) -> ClassOfFunctionalMapping(x) . ClassOfLeftNamespace(x) -> ClassOfNamespace(x) . ClassOfLifecycleStage(x) -> ClassOfRelationship(x) . ClassOfMolecule(x) -> ClassOfArrangedIndividual(x) . ClassOfMultidimensionalObject(x) -> ClassOfAbstractObject(x) . ClassOfNamespace(x) -> ClassOfClassOfRelationship(x) . ClassOfNumber(x) -> ClassOfClass(x) . ClassOfOrganism(x) -> ClassOfArrangedIndividual(x) . ClassOfOrganization(x) -> ClassOfArrangedIndividual(x) . ClassOfParticipation(x) -> ClassOfCompositionOfIndividual(x) . ClassOfParticulateMaterial(x) -> ClassOfArrangedIndividual(x) . ClassOfPeriodInTime(x) -> ClassOfIndividual(x) . ClassOfPerson(x) -> ClassOfOrganism(x) . ClassOfPointInTime(x) -> ClassOfEvent(x) . ClassOfPossibleRoleAndDomain(x) -> ClassOfRelationship(x) . ClassOfProperty(x) -> ClassOfClassOfIndividual(x) . ClassOfPropertySpace(x) -> ClassOfClass(x) . ClassOfRecognition(x) -> ClassOfRelationship(x) . ClassOfRelationship(x) -> ClassOfAbstractObject(x) . ClassOfRelationshipWithRelatedEnd1(x) -> ClassOfRelationship(x) . ClassOfRelationshipWithRelatedEnd2(x) -> ClassOfRelationship(x) . ClassOfRelationshipWithSignature(x) -> ClassOfRelationship(x) . ClassOfRelationshipWithSignature(x) -> Relationship(x) . ClassOfRelativeLocation(x) -> ClassOfRelationship(x) . ClassOfRepresentationOfThing(x) -> ClassOfRelationship(x) . ClassOfRepresentationTranslation(x) -> ClassOfRelationship(x) . ClassOfResponsibilityForRepresentation(x) -> ClassOfRelationship(x) . ClassOfRightNamespace(x) -> ClassOfNamespace(x) . ClassOfScale(x) -> ClassOfClassOfRelationship(x) . ClassOfScaleConversion(x) -> ClassOfIsomorphicFunctionalMapping(x) . ClassOfShape(x) -> PropertySpace(x) . ClassOfShapeDimension(x) -> ClassOfClass(x) . ClassOfSpecialization(x) -> ClassOfRelationship(x) . ClassOfStatus(x) -> ClassOfClassOfIndividual(x) . ClassOfSubAtomicParticle(x) -> ClassOfArrangedIndividual(x) . ClassOfTemporalSequence(x) -> ClassOfRelationship(x) . ClassOfTemporalWholePart(x) -> ClassOfCompositionOfIndividual(x) . ClassOfUsageOfRepresentation(x) -> ClassOfRelationship(x) . Classification(x) -> Relationship(x) . ComparisonOfProperty(x) -> Relationship(x) . CompositionOfIndividual(x) -> Relationship(x) . ConnectionOfIndividual(x) -> Relationship(x) . ContainmentOfIndividual(x) -> RelativeLocation(x) . CoordinateSystem(x) -> MultidimensionalScale(x) . CrystallineStructure(x) -> ClassOfArrangedIndividual(x) . Definition(x) -> RepresentationOfThing(x) . Description(x) -> RepresentationOfThing(x) . DifferenceOfSetOfClass(x) -> FunctionalMapping(x) . DimensionOfIndividual(x) -> ClassOfRelationship(x) . DimensionOfShape(x) -> ClassOfClassOfRelationship(x) . DirectConnection(x) -> ConnectionOfIndividual(x) . DocumentDefinition(x) -> ClassOfClassOfInformationRepresentation(x) . Ending(x) -> TemporalBounding(x) . EnumeratedNumberSet(x) -> ClassOfNumber(x) . EnumeratedNumberSet(x) -> EnumeratedSetOfClass(x) . EnumeratedPropertySet(x) -> ClassOfProperty(x) . EnumeratedPropertySet(x) -> EnumeratedSetOfClass(x) . EnumeratedSetOfClass(x) -> ClassOfClass(x) . Event(x) -> PossibleIndividual(x) . ExpressBinary(x) -> ClassOfExpressInformationRepresentation(x) . ExpressBoolean(x) -> ClassOfExpressInformationRepresentation(x) . ExpressInteger(x) -> ClassOfExpressInformationRepresentation(x) . ExpressLogical(x) -> ClassOfExpressInformationRepresentation(x) . ExpressReal(x) -> ClassOfExpressInformationRepresentation(x) . ExpressString(x) -> ClassOfExpressInformationRepresentation(x) . FeatureWholePart(x) -> ArrangementOfIndividual(x) . FunctionalMapping(x) -> Relationship(x) . FunctionalPhysicalObject(x) -> PhysicalObject(x) . Identification(x) -> RepresentationOfThing(x) . IndirectConnection(x) -> ConnectionOfIndividual(x) . IndirectProperty(x) -> Relationship(x) . IndividualDimension(x) -> ClassOfIndividual(x) . IndividualUsedInConnection(x) -> Relationship(x) . IntegerNumber(x) -> ArithmeticNumber(x) . IntendedRoleAndDomain(x) -> Relationship(x) . IntersectionOfSetOfClass(x) -> FunctionalMapping(x) . InvolvementByReference(x) -> Relationship(x) . Language(x) -> ClassOfClassOfInformationRepresentation(x) . LeftNamespace(x) -> Namespace(x) . LifecycleStage(x) -> Relationship(x) . LowerBoundOfNumberRange(x) -> Classification(x) . LowerBoundOfPropertyRange(x) -> Classification(x) . MaterializedPhysicalObject(x) -> PhysicalObject(x) . MultidimensionalNumber(x) -> ArithmeticNumber(x) . MultidimensionalNumber(x) -> MultidimensionalObject(x) . MultidimensionalNumberSpace(x) -> MultidimensionalObject(x) . MultidimensionalNumberSpace(x) -> NumberSpace(x) . MultidimensionalObject(x) -> AbstractObject(x) . MultidimensionalProperty(x) -> MultidimensionalObject(x) . MultidimensionalProperty(x) -> Property(x) . MultidimensionalPropertySpace(x) -> MultidimensionalObject(x) . MultidimensionalPropertySpace(x) -> PropertySpace(x) . MultidimensionalScale(x) -> MultidimensionalObject(x) . MultidimensionalScale(x) -> Scale(x) . Namespace(x) -> ClassOfArrangementOfIndividual(x) . NumberRange(x) -> NumberSpace(x) . NumberSpace(x) -> ClassOfNumber(x) . OtherRelationship(x) -> Relationship(x) . ParticipatingRoleAndDomain(x) -> ClassOfIndividual(x) . ParticipatingRoleAndDomain(x) -> RoleAndDomain(x) . Participation(x) -> CompositionOfIndividual(x) . PeriodInTime(x) -> PossibleIndividual(x) . Phase(x) -> ClassOfArrangedIndividual(x) . PhysicalObject(x) -> PossibleIndividual(x) . PointInTime(x) -> Event(x) . PossibleIndividual(x) -> Thing(x) . PossibleRoleAndDomain(x) -> Relationship(x) . Property(x) -> ClassOfIndividual(x) . PropertyForShapeDimension(x) -> ClassOfRelationship(x) . PropertyQuantification(x) -> FunctionalMapping(x) . PropertyRange(x) -> PropertySpace(x) . PropertySpace(x) -> ClassOfProperty(x) . PropertySpaceForClassOfShapeDimension(x) -> ClassOfClassOfRelationship(x) . RealNumber(x) -> ArithmeticNumber(x) . Recognition(x) -> Relationship(x) . Relationship(x) -> AbstractObject(x) . RelativeLocation(x) -> Relationship(x) . RepresentationForm(x) -> ClassOfClassOfInformationRepresentation(x) . RepresentationOfGregorianDateAndUtcTime(x) -> ClassOfInformationRepresentation(x) . RepresentationOfThing(x) -> Relationship(x) . ResponsibilityForRepresentation(x) -> Relationship(x) . RightNamespace(x) -> Namespace(x) . Role(x) -> RoleAndDomain(x) . RoleAndDomain(x) -> Class(x) . Scale(x) -> ClassOfIsomorphicFunctionalMapping(x) . Shape(x) -> Property(x) . ShapeDimension(x) -> ClassOfClassOfIndividual(x) . SinglePropertyDimension(x) -> PropertySpace(x) . SpatialLocation(x) -> PhysicalObject(x) . Specialization(x) -> Relationship(x) . SpecializationByDomain(x) -> Specialization(x) . SpecializationByRole(x) -> Specialization(x) . SpecializationOfIndividualDimensionFromProperty(x) -> Specialization(x) . Status(x) -> ClassOfIndividual(x) . Stream(x) -> PhysicalObject(x) . TemporalBounding(x) -> CompositionOfIndividual(x) . TemporalSequence(x) -> Relationship(x) . TemporalWholePart(x) -> CompositionOfIndividual(x) . UnionOfSetOfClass(x) -> FunctionalMapping(x) . UpperBoundOfNumberRange(x) -> Classification(x) . UpperBoundOfPropertyRange(x) -> Classification(x) . UsageOfRepresentation(x) -> Relationship(x) . WholeLifeIndividual(x) -> PossibleIndividual(x) . %% %% END Subtype axioms %% %% %% BEGIN Abstract axioms %% AbstractObject(x) -> (Class(x) | MultidimensionalObject(x) | Relationship(x)) . ClassOfAbstractObject(x) -> (ClassOfClass(x) | ClassOfMultidimensionalObject(x) | ClassOfRelationship(x)) . ClassOfConnectionOfIndividual(x) -> (ClassOfDirectConnection(x) | ClassOfIndirectConnection(x)) . ClassOfExpressInformationRepresentation(x) -> (ExpressBinary(x) | ExpressBoolean(x) | ExpressInteger(x) | ExpressLogical(x) | ExpressReal(x) | ExpressString(x)) . Namespace(x) -> (LeftNamespace(x) | RightNamespace(x)) . Relationship(x) -> (Approval(x) | CauseOfEvent(x) | ClassOfRelationshipWithSignature(x) | Classification(x) | ComparisonOfProperty(x) | CompositionOfIndividual(x) | ConnectionOfIndividual(x) | FunctionalMapping(x) | IndirectProperty(x) | IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x)) . TemporalBounding(x) -> (Beginning(x) | Ending(x)) . Thing(x) -> (AbstractObject(x) | PossibleIndividual(x)) . %% %% END Abstract axioms %% %% %% BEGIN Disjoint axioms %% -(IntegerNumber(x) & (MultidimensionalNumber(x))). -(RealNumber(x) & (IntegerNumber(x) | MultidimensionalNumber(x))). -(AssemblyOfIndividual(x) & (FeatureWholePart(x))). -(ClassOfIndividual(x) & (ClassOfAbstractObject(x))). -(ClassOfAtom(x) & (ClassOfBiologicalMatter(x) | ClassOfCompositeMaterial(x) | ClassOfCompound(x) | ClassOfFunctionalObject(x) | ClassOfInformationPresentation(x) | ClassOfInformationRepresentation(x) | ClassOfMolecule(x) | ClassOfParticulateMaterial(x) | ClassOfSubAtomicParticle(x) | CrystallineStructure(x) | Phase(x))). -(ClassOfBiologicalMatter(x) & (ClassOfCompositeMaterial(x) | ClassOfCompound(x) | ClassOfFunctionalObject(x) | ClassOfInformationPresentation(x) | ClassOfInformationRepresentation(x) | ClassOfMolecule(x) | ClassOfParticulateMaterial(x) | ClassOfSubAtomicParticle(x) | CrystallineStructure(x) | Phase(x))). -(ClassOfCompositeMaterial(x) & (ClassOfCompound(x) | ClassOfFunctionalObject(x) | ClassOfInformationPresentation(x) | ClassOfInformationRepresentation(x) | ClassOfMolecule(x) | ClassOfParticulateMaterial(x) | ClassOfSubAtomicParticle(x) | CrystallineStructure(x) | Phase(x))). -(ClassOfCompound(x) & (ClassOfFunctionalObject(x) | ClassOfInformationPresentation(x) | ClassOfInformationRepresentation(x) | ClassOfMolecule(x) | ClassOfParticulateMaterial(x) | ClassOfSubAtomicParticle(x) | CrystallineStructure(x) | Phase(x))). -(ClassOfFunctionalObject(x) & (ClassOfInformationPresentation(x) | ClassOfInformationRepresentation(x) | ClassOfMolecule(x) | ClassOfParticulateMaterial(x) | ClassOfSubAtomicParticle(x) | CrystallineStructure(x) | Phase(x))). -(ClassOfInformationPresentation(x) & (ClassOfInformationRepresentation(x) | ClassOfMolecule(x) | ClassOfParticulateMaterial(x) | ClassOfSubAtomicParticle(x) | CrystallineStructure(x) | Phase(x))). -(ClassOfInformationRepresentation(x) & (ClassOfMolecule(x) | ClassOfParticulateMaterial(x) | ClassOfSubAtomicParticle(x) | CrystallineStructure(x) | Phase(x))). -(ClassOfMolecule(x) & (ClassOfParticulateMaterial(x) | ClassOfSubAtomicParticle(x) | CrystallineStructure(x) | Phase(x))). -(ClassOfParticulateMaterial(x) & (ClassOfSubAtomicParticle(x) | CrystallineStructure(x) | Phase(x))). -(ClassOfSubAtomicParticle(x) & (CrystallineStructure(x) | Phase(x))). -(CrystallineStructure(x) & (Phase(x))). -(ClassOfOrganism(x) & (ClassOfInanimatePhysicalObject(x))). -(ClassOfAssemblyOfIndividual(x) & (Namespace(x))). -(ClassOfFeatureWholePart(x) & (ClassOfAssemblyOfIndividual(x) | Namespace(x))). -(ArithmeticNumber(x) & (ClassOfClassOfIndividual(x) | ClassOfClassOfRelationship(x) | ClassOfNumber(x) | ClassOfPropertySpace(x) | ClassOfShapeDimension(x))). -(ClassOfClassOfIndividual(x) & (ClassOfClassOfRelationship(x) | ClassOfNumber(x) | ClassOfPropertySpace(x) | ClassOfShapeDimension(x))). -(ClassOfClassOfRelationship(x) & (ClassOfNumber(x) | ClassOfPropertySpace(x) | ClassOfShapeDimension(x))). -(ClassOfNumber(x) & (ClassOfPropertySpace(x) | ClassOfShapeDimension(x))). -(ClassOfPropertySpace(x) & (ClassOfShapeDimension(x))). -(ClassOfClassOfInformationRepresentation(x) & (ClassOfProperty(x) | ClassOfStatus(x) | ShapeDimension(x))). -(ClassOfProperty(x) & (ClassOfStatus(x) | ShapeDimension(x))). -(ClassOfStatus(x) & (ShapeDimension(x))). -(Language(x) & (DocumentDefinition(x))). -(RepresentationForm(x) & (DocumentDefinition(x) | Language(x))). -(ClassOfClassOfComposition(x) & (ClassOfClassOfRelationshipWithSignature(x) | ClassOfClassOfRepresentation(x) | ClassOfClassOfRepresentationTranslation(x) | ClassOfClassOfResponsibilityForRepresentation(x) | ClassOfClassOfUsageOfRepresentation(x) | ClassOfDimensionForShape(x) | ClassOfNamespace(x) | ClassOfScale(x) | DimensionOfShape(x) | PropertySpaceForClassOfShapeDimension(x))). -(ClassOfClassOfRelationshipWithSignature(x) & (ClassOfClassOfRepresentation(x) | ClassOfClassOfRepresentationTranslation(x) | ClassOfClassOfResponsibilityForRepresentation(x) | ClassOfClassOfUsageOfRepresentation(x) | ClassOfDimensionForShape(x) | ClassOfNamespace(x) | ClassOfScale(x) | DimensionOfShape(x) | PropertySpaceForClassOfShapeDimension(x))). -(ClassOfClassOfRepresentation(x) & (ClassOfClassOfRepresentationTranslation(x) | ClassOfClassOfResponsibilityForRepresentation(x) | ClassOfClassOfUsageOfRepresentation(x) | ClassOfDimensionForShape(x) | ClassOfNamespace(x) | ClassOfScale(x) | DimensionOfShape(x) | PropertySpaceForClassOfShapeDimension(x))). -(ClassOfClassOfRepresentationTranslation(x) & (ClassOfClassOfResponsibilityForRepresentation(x) | ClassOfClassOfUsageOfRepresentation(x) | ClassOfDimensionForShape(x) | ClassOfNamespace(x) | ClassOfScale(x) | DimensionOfShape(x) | PropertySpaceForClassOfShapeDimension(x))). -(ClassOfClassOfResponsibilityForRepresentation(x) & (ClassOfClassOfUsageOfRepresentation(x) | ClassOfDimensionForShape(x) | ClassOfNamespace(x) | ClassOfScale(x) | DimensionOfShape(x) | PropertySpaceForClassOfShapeDimension(x))). -(ClassOfClassOfUsageOfRepresentation(x) & (ClassOfDimensionForShape(x) | ClassOfNamespace(x) | ClassOfScale(x) | DimensionOfShape(x) | PropertySpaceForClassOfShapeDimension(x))). -(ClassOfDimensionForShape(x) & (ClassOfNamespace(x) | ClassOfScale(x) | DimensionOfShape(x) | PropertySpaceForClassOfShapeDimension(x))). -(ClassOfNamespace(x) & (ClassOfScale(x) | DimensionOfShape(x) | PropertySpaceForClassOfShapeDimension(x))). -(ClassOfScale(x) & (DimensionOfShape(x) | PropertySpaceForClassOfShapeDimension(x))). -(DimensionOfShape(x) & (PropertySpaceForClassOfShapeDimension(x))). -(ClassOfArrangementOfIndividual(x) & (ClassOfParticipation(x) | ClassOfTemporalWholePart(x))). -(ClassOfTemporalWholePart(x) & (ClassOfParticipation(x))). -(ClassOfDirectConnection(x) & (ClassOfIndirectConnection(x))). -(ExpressBoolean(x) & (ExpressBinary(x))). -(ExpressInteger(x) & (ExpressBinary(x) | ExpressBoolean(x) | ExpressLogical(x) | ExpressReal(x))). -(ExpressLogical(x) & (ExpressBinary(x) | ExpressBoolean(x))). -(ExpressReal(x) & (ExpressBinary(x) | ExpressBoolean(x) | ExpressLogical(x))). -(ExpressString(x) & (ExpressBinary(x) | ExpressBoolean(x) | ExpressInteger(x) | ExpressLogical(x) | ExpressReal(x))). -(ClassOfArrangedIndividual(x) & (ClassOfPeriodInTime(x) | IndividualDimension(x) | Property(x) | Status(x))). -(ClassOfEvent(x) & (ClassOfArrangedIndividual(x) | ClassOfPeriodInTime(x) | IndividualDimension(x) | Property(x) | Status(x))). -(ClassOfPeriodInTime(x) & (IndividualDimension(x) | Property(x) | Status(x))). -(IndividualDimension(x) & (Property(x) | Status(x))). -(Property(x) & (Status(x))). -(ClassOfExpressInformationRepresentation(x) & (RepresentationOfGregorianDateAndUtcTime(x))). -(Scale(x) & (ClassOfScaleConversion(x))). -(ClassOfLeftNamespace(x) & (ClassOfRightNamespace(x))). -(NumberSpace(x) & (EnumeratedNumberSet(x))). -(PropertySpace(x) & (EnumeratedPropertySet(x))). -(ClassOfApproval(x) & (ClassOfApprovalByStatus(x) | ClassOfAssertion(x) | ClassOfCauseOfBeginningOfClassOfIndividual(x) | ClassOfCauseOfEndingOfClassOfIndividual(x) | ClassOfClassification(x) | ClassOfCompositionOfIndividual(x) | ClassOfConnectionOfIndividual(x) | ClassOfFunctionalMapping(x) | ClassOfIndirectProperty(x) | ClassOfIndividualUsedInConnection(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfApprovalByStatus(x) & (ClassOfAssertion(x) | ClassOfCauseOfBeginningOfClassOfIndividual(x) | ClassOfCauseOfEndingOfClassOfIndividual(x) | ClassOfClassification(x) | ClassOfCompositionOfIndividual(x) | ClassOfConnectionOfIndividual(x) | ClassOfFunctionalMapping(x) | ClassOfIndirectProperty(x) | ClassOfIndividualUsedInConnection(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfAssertion(x) & (ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfCauseOfBeginningOfClassOfIndividual(x) & (ClassOfAssertion(x) | ClassOfCauseOfEndingOfClassOfIndividual(x) | ClassOfClassification(x) | ClassOfCompositionOfIndividual(x) | ClassOfConnectionOfIndividual(x) | ClassOfFunctionalMapping(x) | ClassOfIndirectProperty(x) | ClassOfIndividualUsedInConnection(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfCauseOfEndingOfClassOfIndividual(x) & (ClassOfAssertion(x) | ClassOfClassification(x) | ClassOfCompositionOfIndividual(x) | ClassOfConnectionOfIndividual(x) | ClassOfFunctionalMapping(x) | ClassOfIndirectProperty(x) | ClassOfIndividualUsedInConnection(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfClassification(x) & (ClassOfAssertion(x) | ClassOfCompositionOfIndividual(x) | ClassOfConnectionOfIndividual(x) | ClassOfFunctionalMapping(x) | ClassOfIndirectProperty(x) | ClassOfIndividualUsedInConnection(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfCompositionOfIndividual(x) & (ClassOfAssertion(x) | ClassOfConnectionOfIndividual(x) | ClassOfFunctionalMapping(x) | ClassOfIndirectProperty(x) | ClassOfIndividualUsedInConnection(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfConnectionOfIndividual(x) & (ClassOfAssertion(x) | ClassOfFunctionalMapping(x) | ClassOfIndirectProperty(x) | ClassOfIndividualUsedInConnection(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfFunctionalMapping(x) & (ClassOfAssertion(x) | ClassOfIndirectProperty(x) | ClassOfIndividualUsedInConnection(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfIndirectProperty(x) & (ClassOfAssertion(x) | ClassOfIndividualUsedInConnection(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfIndividualUsedInConnection(x) & (ClassOfAssertion(x) | ClassOfIntendedRoleAndDomain(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfIntendedRoleAndDomain(x) & (ClassOfAssertion(x) | ClassOfInvolvementByReference(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfInvolvementByReference(x) & (ClassOfAssertion(x) | ClassOfLifecycleStage(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfLifecycleStage(x) & (ClassOfAssertion(x) | ClassOfPossibleRoleAndDomain(x) | ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfPossibleRoleAndDomain(x) & (ClassOfRecognition(x) | ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfRecognition(x) & (ClassOfRelationshipWithSignature(x) | ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfRelationshipWithSignature(x) & (ClassOfRelativeLocation(x) | ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfRelativeLocation(x) & (ClassOfRepresentationOfThing(x) | ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfRepresentationOfThing(x) & (ClassOfRepresentationTranslation(x) | ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfRepresentationTranslation(x) & (ClassOfResponsibilityForRepresentation(x) | ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfResponsibilityForRepresentation(x) & (ClassOfSpecialization(x) | ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfSpecialization(x) & (ClassOfTemporalSequence(x) | ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfTemporalSequence(x) & (ClassOfUsageOfRepresentation(x) | DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(ClassOfUsageOfRepresentation(x) & (DimensionOfIndividual(x) | PropertyForShapeDimension(x))). -(DimensionOfIndividual(x) & (PropertyForShapeDimension(x))). -(ClassOfRelationshipWithRelatedEnd1(x) & (ClassOfRelationshipWithRelatedEnd2(x))). -(ArrangementOfIndividual(x) & (Participation(x) | TemporalBounding(x) | TemporalWholePart(x))). -(Participation(x) & (TemporalBounding(x))). -(TemporalWholePart(x) & (Participation(x) | TemporalBounding(x))). -(DirectConnection(x) & (IndirectConnection(x))). -(MultidimensionalNumber(x) & (MultidimensionalNumberSpace(x) | MultidimensionalProperty(x) | MultidimensionalScale(x))). -(MultidimensionalNumberSpace(x) & (MultidimensionalScale(x))). -(MultidimensionalProperty(x) & (MultidimensionalNumberSpace(x) | MultidimensionalScale(x))). -(MultidimensionalPropertySpace(x) & (MultidimensionalNumber(x) | MultidimensionalNumberSpace(x) | MultidimensionalProperty(x) | MultidimensionalScale(x))). -(RightNamespace(x) & (LeftNamespace(x))). -(NumberRange(x) & (MultidimensionalNumberSpace(x))). -(Approval(x) & (CauseOfEvent(x) | ClassOfRelationshipWithSignature(x) | Classification(x) | ComparisonOfProperty(x) | CompositionOfIndividual(x) | ConnectionOfIndividual(x) | FunctionalMapping(x) | IndirectProperty(x) | IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(CauseOfEvent(x) & (ClassOfRelationshipWithSignature(x) | Classification(x) | ComparisonOfProperty(x) | CompositionOfIndividual(x) | ConnectionOfIndividual(x) | FunctionalMapping(x) | IndirectProperty(x) | IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(ClassOfRelationshipWithSignature(x) & (Classification(x) | ComparisonOfProperty(x) | CompositionOfIndividual(x) | ConnectionOfIndividual(x) | FunctionalMapping(x) | IndirectProperty(x) | IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(Classification(x) & (ComparisonOfProperty(x) | CompositionOfIndividual(x) | ConnectionOfIndividual(x) | FunctionalMapping(x) | IndirectProperty(x) | IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(ComparisonOfProperty(x) & (CompositionOfIndividual(x) | ConnectionOfIndividual(x) | FunctionalMapping(x) | IndirectProperty(x) | IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(CompositionOfIndividual(x) & (ConnectionOfIndividual(x) | FunctionalMapping(x) | IndirectProperty(x) | IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(ConnectionOfIndividual(x) & (FunctionalMapping(x) | IndirectProperty(x) | IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(FunctionalMapping(x) & (IndirectProperty(x) | IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(IndirectProperty(x) & (IndividualUsedInConnection(x) | IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(IndividualUsedInConnection(x) & (IntendedRoleAndDomain(x) | InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(IntendedRoleAndDomain(x) & (InvolvementByReference(x) | LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(InvolvementByReference(x) & (LifecycleStage(x) | OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(LifecycleStage(x) & (OtherRelationship(x) | PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(OtherRelationship(x) & (PossibleRoleAndDomain(x) | Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(PossibleRoleAndDomain(x) & (Recognition(x) | RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(Recognition(x) & (RelativeLocation(x) | RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(RelativeLocation(x) & (RepresentationOfThing(x) | ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(RepresentationOfThing(x) & (ResponsibilityForRepresentation(x) | Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(ResponsibilityForRepresentation(x) & (Specialization(x) | TemporalSequence(x) | UsageOfRepresentation(x))). -(Specialization(x) & (TemporalSequence(x) | UsageOfRepresentation(x))). -(TemporalSequence(x) & (UsageOfRepresentation(x))). -(BoundaryOfNumberSpace(x) & (BoundaryOfPropertySpace(x) | SpecializationByDomain(x) | SpecializationByRole(x) | SpecializationOfIndividualDimensionFromProperty(x))). -(BoundaryOfPropertySpace(x) & (SpecializationByDomain(x) | SpecializationByRole(x) | SpecializationOfIndividualDimensionFromProperty(x))). -(SpecializationByDomain(x) & (SpecializationByRole(x) | SpecializationOfIndividualDimensionFromProperty(x))). -(SpecializationByRole(x) & (SpecializationOfIndividualDimensionFromProperty(x))). -(Ending(x) & (Beginning(x))). -(PossibleIndividual(x) & (AbstractObject(x))). %% %% END Disjoint axioms %% %% %% BEGIN Role axioms %% hasApproved(x, y) -> (Approval(x)) . Approval(x) & hasApproved(x, y) -> Relationship(y) . Approval(x) -> exists y (hasApproved(x, y)) . Approval(x) & hasApproved(x, y) & hasApproved(x, z) -> y = z . hasApprover(x, y) -> (Approval(x)) . Approval(x) & hasApprover(x, y) -> PossibleIndividual(y) . Approval(x) -> exists y (hasApprover(x, y)) . Approval(x) & hasApprover(x, y) & hasApprover(x, z) -> y = z . hasCardinalities(x, y) -> (ClassOfMultidimensionalObject(x)) . ClassOfMultidimensionalObject(x) & hasCardinalities(x, y) & hasCardinalities(x, z) -> y = z . hasCaused(x, y) -> (CauseOfEvent(x)) . CauseOfEvent(x) & hasCaused(x, y) -> Event(y) . CauseOfEvent(x) -> exists y (hasCaused(x, y)) . CauseOfEvent(x) & hasCaused(x, y) & hasCaused(x, z) -> y = z . hasCauser(x, y) -> (CauseOfEvent(x)) . CauseOfEvent(x) & hasCauser(x, y) -> Activity(y) . CauseOfEvent(x) -> exists y (hasCauser(x, y)) . CauseOfEvent(x) & hasCauser(x, y) & hasCauser(x, z) -> y = z . hasClassOfApproved(x, y) -> (ClassOfApproval(x)) . ClassOfApproval(x) & hasClassOfApproved(x, y) -> ClassOfRelationship(y) . ClassOfApproval(x) -> exists y (hasClassOfApproved(x, y)) . ClassOfApproval(x) & hasClassOfApproved(x, y) & hasClassOfApproved(x, z) -> y = z . hasClassOfApprover(x, y) -> (ClassOfApproval(x)) . ClassOfApproval(x) & hasClassOfApprover(x, y) -> ClassOfIndividual(y) . ClassOfApproval(x) -> exists y (hasClassOfApprover(x, y)) . ClassOfApproval(x) & hasClassOfApprover(x, y) & hasClassOfApprover(x, z) -> y = z . hasClassOfBegun(x, y) -> (ClassOfCauseOfBeginningOfClassOfIndividual(x)) . ClassOfCauseOfBeginningOfClassOfIndividual(x) & hasClassOfBegun(x, y) -> ClassOfIndividual(y) . ClassOfCauseOfBeginningOfClassOfIndividual(x) -> exists y (hasClassOfBegun(x, y)) . ClassOfCauseOfBeginningOfClassOfIndividual(x) & hasClassOfBegun(x, y) & hasClassOfBegun(x, z) -> y = z . hasClassOfCauser(x, y) -> (ClassOfCauseOfBeginningOfClassOfIndividual(x) | ClassOfCauseOfEndingOfClassOfIndividual(x)) . ClassOfCauseOfBeginningOfClassOfIndividual(x) & hasClassOfCauser(x, y) -> ClassOfActivity(y) . ClassOfCauseOfBeginningOfClassOfIndividual(x) -> exists y (hasClassOfCauser(x, y)) . ClassOfCauseOfBeginningOfClassOfIndividual(x) & hasClassOfCauser(x, y) & hasClassOfCauser(x, z) -> y = z . ClassOfCauseOfEndingOfClassOfIndividual(x) & hasClassOfCauser(x, y) -> ClassOfActivity(y) . ClassOfCauseOfEndingOfClassOfIndividual(x) -> exists y (hasClassOfCauser(x, y)) . ClassOfCauseOfEndingOfClassOfIndividual(x) & hasClassOfCauser(x, y) & hasClassOfCauser(x, z) -> y = z . hasClassOfClassOfControlled(x, y) -> (ClassOfClassOfResponsibilityForRepresentation(x)) . ClassOfClassOfResponsibilityForRepresentation(x) & hasClassOfClassOfControlled(x, y) -> ClassOfClassOfRepresentation(y) . ClassOfClassOfResponsibilityForRepresentation(x) -> exists y (hasClassOfClassOfControlled(x, y)) . ClassOfClassOfResponsibilityForRepresentation(x) & hasClassOfClassOfControlled(x, y) & hasClassOfClassOfControlled(x, z) -> y = z . hasClassOfClassOfPart(x, y) -> (ClassOfClassOfComposition(x)) . ClassOfClassOfComposition(x) & hasClassOfClassOfPart(x, y) -> ClassOfClassOfIndividual(y) . ClassOfClassOfComposition(x) -> exists y (hasClassOfClassOfPart(x, y)) . ClassOfClassOfComposition(x) & hasClassOfClassOfPart(x, y) & hasClassOfClassOfPart(x, z) -> y = z . hasClassOfClassOfUsed(x, y) -> (ClassOfClassOfUsageOfRepresentation(x)) . ClassOfClassOfUsageOfRepresentation(x) & hasClassOfClassOfUsed(x, y) -> ClassOfClassOfRepresentation(y) . ClassOfClassOfUsageOfRepresentation(x) -> exists y (hasClassOfClassOfUsed(x, y)) . ClassOfClassOfUsageOfRepresentation(x) & hasClassOfClassOfUsed(x, y) & hasClassOfClassOfUsed(x, z) -> y = z . hasClassOfClassOfWhole(x, y) -> (ClassOfClassOfComposition(x) | ClassOfNamespace(x)) . ClassOfClassOfComposition(x) & hasClassOfClassOfWhole(x, y) -> ClassOfClassOfIndividual(y) . ClassOfClassOfComposition(x) -> exists y (hasClassOfClassOfWhole(x, y)) . ClassOfClassOfComposition(x) & hasClassOfClassOfWhole(x, y) & hasClassOfClassOfWhole(x, z) -> y = z . ClassOfNamespace(x) & hasClassOfClassOfWhole(x, y) -> ClassOfClassOfInformationRepresentation(y) . ClassOfNamespace(x) -> exists y (hasClassOfClassOfWhole(x, y)) . ClassOfNamespace(x) & hasClassOfClassOfWhole(x, y) & hasClassOfClassOfWhole(x, z) -> y = z . hasClassOfClassified(x, y) -> (ClassOfClassification(x)) . ClassOfClassification(x) & hasClassOfClassified(x, y) -> Class(y) . ClassOfClassification(x) -> exists y (hasClassOfClassified(x, y)) . ClassOfClassification(x) & hasClassOfClassified(x, y) & hasClassOfClassified(x, z) -> y = z . hasClassOfClassifier(x, y) -> (ClassOfClassification(x)) . ClassOfClassification(x) & hasClassOfClassifier(x, y) -> ClassOfClass(y) . ClassOfClassification(x) -> exists y (hasClassOfClassifier(x, y)) . ClassOfClassification(x) & hasClassOfClassifier(x, y) & hasClassOfClassifier(x, z) -> y = z . hasClassOfConnection(x, y) -> (ClassOfIndividualUsedInConnection(x)) . ClassOfIndividualUsedInConnection(x) & hasClassOfConnection(x, y) -> ClassOfConnectionOfIndividual(y) . ClassOfIndividualUsedInConnection(x) -> exists y (hasClassOfConnection(x, y)) . ClassOfIndividualUsedInConnection(x) & hasClassOfConnection(x, y) & hasClassOfConnection(x, z) -> y = z . hasClassOfControlled(x, y) -> (ClassOfResponsibilityForRepresentation(x)) . ClassOfResponsibilityForRepresentation(x) & hasClassOfControlled(x, y) -> ClassOfRepresentationOfThing(y) . ClassOfResponsibilityForRepresentation(x) -> exists y (hasClassOfControlled(x, y)) . ClassOfResponsibilityForRepresentation(x) & hasClassOfControlled(x, y) & hasClassOfControlled(x, z) -> y = z . hasClassOfDimension(x, y) -> (ClassOfDimensionForShape(x)) . ClassOfDimensionForShape(x) & hasClassOfDimension(x, y) -> ClassOfShapeDimension(y) . ClassOfDimensionForShape(x) -> exists y (hasClassOfDimension(x, y)) . ClassOfDimensionForShape(x) & hasClassOfDimension(x, y) & hasClassOfDimension(x, z) -> y = z . hasClassOfEnd1(x, y) -> (ClassOfRelationshipWithSignature(x)) . ClassOfRelationshipWithSignature(x) & hasClassOfEnd1(x, y) -> RoleAndDomain(y) . ClassOfRelationshipWithSignature(x) & hasClassOfEnd1(x, y) & hasClassOfEnd1(x, z) -> y = z . hasClassOfEnd2(x, y) -> (ClassOfRelationshipWithSignature(x)) . ClassOfRelationshipWithSignature(x) & hasClassOfEnd2(x, y) -> RoleAndDomain(y) . ClassOfRelationshipWithSignature(x) & hasClassOfEnd2(x, y) & hasClassOfEnd2(x, z) -> y = z . hasClassOfEnded(x, y) -> (ClassOfCauseOfEndingOfClassOfIndividual(x)) . ClassOfCauseOfEndingOfClassOfIndividual(x) & hasClassOfEnded(x, y) -> ClassOfIndividual(y) . ClassOfCauseOfEndingOfClassOfIndividual(x) -> exists y (hasClassOfEnded(x, y)) . ClassOfCauseOfEndingOfClassOfIndividual(x) & hasClassOfEnded(x, y) & hasClassOfEnded(x, z) -> y = z . hasClassOfFirst(x, y) -> (ClassOfClassOfRepresentationTranslation(x) | ClassOfRepresentationTranslation(x)) . ClassOfClassOfRepresentationTranslation(x) & hasClassOfFirst(x, y) -> ClassOfClassOfInformationRepresentation(y) . ClassOfClassOfRepresentationTranslation(x) -> exists y (hasClassOfFirst(x, y)) . ClassOfClassOfRepresentationTranslation(x) & hasClassOfFirst(x, y) & hasClassOfFirst(x, z) -> y = z . ClassOfRepresentationTranslation(x) & hasClassOfFirst(x, y) -> ClassOfInformationRepresentation(y) . ClassOfRepresentationTranslation(x) -> exists y (hasClassOfFirst(x, y)) . ClassOfRepresentationTranslation(x) & hasClassOfFirst(x, y) & hasClassOfFirst(x, z) -> y = z . hasClassOfInvolved(x, y) -> (ClassOfInvolvementByReference(x)) . ClassOfInvolvementByReference(x) & hasClassOfInvolved(x, y) -> RoleAndDomain(y) . ClassOfInvolvementByReference(x) -> exists y (hasClassOfInvolved(x, y)) . ClassOfInvolvementByReference(x) & hasClassOfInvolved(x, y) & hasClassOfInvolved(x, z) -> y = z . hasClassOfInvolver(x, y) -> (ClassOfInvolvementByReference(x)) . ClassOfInvolvementByReference(x) & hasClassOfInvolver(x, y) -> ClassOfActivity(y) . ClassOfInvolvementByReference(x) -> exists y (hasClassOfInvolver(x, y)) . ClassOfInvolvementByReference(x) & hasClassOfInvolver(x, y) & hasClassOfInvolver(x, z) -> y = z . hasClassOfLocated(x, y) -> (ClassOfRelativeLocation(x)) . ClassOfRelativeLocation(x) & hasClassOfLocated(x, y) -> ClassOfIndividual(y) . ClassOfRelativeLocation(x) -> exists y (hasClassOfLocated(x, y)) . ClassOfRelativeLocation(x) & hasClassOfLocated(x, y) & hasClassOfLocated(x, z) -> y = z . hasClassOfLocator(x, y) -> (ClassOfRelativeLocation(x)) . ClassOfRelativeLocation(x) & hasClassOfLocator(x, y) -> ClassOfIndividual(y) . ClassOfRelativeLocation(x) -> exists y (hasClassOfLocator(x, y)) . ClassOfRelativeLocation(x) & hasClassOfLocator(x, y) & hasClassOfLocator(x, z) -> y = z . hasClassOfPart(x, y) -> (ClassOfCompositionOfIndividual(x) | ClassOfNamespace(x)) . ClassOfCompositionOfIndividual(x) & hasClassOfPart(x, y) -> ClassOfIndividual(y) . ClassOfCompositionOfIndividual(x) -> exists y (hasClassOfPart(x, y)) . ClassOfCompositionOfIndividual(x) & hasClassOfPart(x, y) & hasClassOfPart(x, z) -> y = z . ClassOfNamespace(x) & hasClassOfPart(x, y) -> ClassOfInformationRepresentation(y) . ClassOfNamespace(x) -> exists y (hasClassOfPart(x, y)) . ClassOfNamespace(x) & hasClassOfPart(x, y) & hasClassOfPart(x, z) -> y = z . hasClassOfPattern(x, y) -> (ClassOfClassOfRepresentation(x)) . ClassOfClassOfRepresentation(x) & hasClassOfPattern(x, y) -> ClassOfClassOfInformationRepresentation(y) . ClassOfClassOfRepresentation(x) -> exists y (hasClassOfPattern(x, y)) . ClassOfClassOfRepresentation(x) & hasClassOfPattern(x, y) & hasClassOfPattern(x, z) -> y = z . hasClassOfPlayer(x, y) -> (ClassOfIntendedRoleAndDomain(x) | ClassOfPossibleRoleAndDomain(x)) . ClassOfIntendedRoleAndDomain(x) & hasClassOfPlayer(x, y) -> ClassOfIndividual(y) . ClassOfIntendedRoleAndDomain(x) -> exists y (hasClassOfPlayer(x, y)) . ClassOfIntendedRoleAndDomain(x) & hasClassOfPlayer(x, y) & hasClassOfPlayer(x, z) -> y = z . ClassOfPossibleRoleAndDomain(x) & hasClassOfPlayer(x, y) -> ClassOfIndividual(y) . ClassOfPossibleRoleAndDomain(x) -> exists y (hasClassOfPlayer(x, y)) . ClassOfPossibleRoleAndDomain(x) & hasClassOfPlayer(x, y) & hasClassOfPlayer(x, z) -> y = z . hasClassOfPossessor(x, y) -> (ClassOfIndirectProperty(x)) . ClassOfIndirectProperty(x) & hasClassOfPossessor(x, y) -> ClassOfIndividual(y) . ClassOfIndirectProperty(x) -> exists y (hasClassOfPossessor(x, y)) . ClassOfIndirectProperty(x) & hasClassOfPossessor(x, y) & hasClassOfPossessor(x, z) -> y = z . hasClassOfPredecessor(x, y) -> (ClassOfTemporalSequence(x)) . ClassOfTemporalSequence(x) & hasClassOfPredecessor(x, y) -> ClassOfIndividual(y) . ClassOfTemporalSequence(x) -> exists y (hasClassOfPredecessor(x, y)) . ClassOfTemporalSequence(x) & hasClassOfPredecessor(x, y) & hasClassOfPredecessor(x, z) -> y = z . hasClassOfRecognized(x, y) -> (ClassOfRecognition(x)) . ClassOfRecognition(x) & hasClassOfRecognized(x, y) -> Class(y) . ClassOfRecognition(x) -> exists y (hasClassOfRecognized(x, y)) . ClassOfRecognition(x) & hasClassOfRecognized(x, y) & hasClassOfRecognized(x, z) -> y = z . hasClassOfRecognizing(x, y) -> (ClassOfRecognition(x)) . ClassOfRecognition(x) & hasClassOfRecognizing(x, y) -> ClassOfActivity(y) . ClassOfRecognition(x) -> exists y (hasClassOfRecognizing(x, y)) . ClassOfRecognition(x) & hasClassOfRecognizing(x, y) & hasClassOfRecognizing(x, z) -> y = z . hasClassOfRepresented(x, y) -> (ClassOfClassOfRepresentation(x)) . ClassOfClassOfRepresentation(x) & hasClassOfRepresented(x, y) -> Class(y) . ClassOfClassOfRepresentation(x) -> exists y (hasClassOfRepresented(x, y)) . ClassOfClassOfRepresentation(x) & hasClassOfRepresented(x, y) & hasClassOfRepresented(x, z) -> y = z . hasClassOfSecond(x, y) -> (ClassOfClassOfRepresentationTranslation(x) | ClassOfRepresentationTranslation(x)) . ClassOfClassOfRepresentationTranslation(x) & hasClassOfSecond(x, y) -> ClassOfClassOfInformationRepresentation(y) . ClassOfClassOfRepresentationTranslation(x) -> exists y (hasClassOfSecond(x, y)) . ClassOfClassOfRepresentationTranslation(x) & hasClassOfSecond(x, y) & hasClassOfSecond(x, z) -> y = z . ClassOfRepresentationTranslation(x) & hasClassOfSecond(x, y) -> ClassOfInformationRepresentation(y) . ClassOfRepresentationTranslation(x) -> exists y (hasClassOfSecond(x, y)) . ClassOfRepresentationTranslation(x) & hasClassOfSecond(x, y) & hasClassOfSecond(x, z) -> y = z . hasClassOfShape(x, y) -> (ClassOfDimensionForShape(x)) . ClassOfDimensionForShape(x) & hasClassOfShape(x, y) -> ClassOfShape(y) . ClassOfDimensionForShape(x) -> exists y (hasClassOfShape(x, y)) . ClassOfDimensionForShape(x) & hasClassOfShape(x, y) & hasClassOfShape(x, z) -> y = z . hasClassOfShapeDimension(x, y) -> (PropertySpaceForClassOfShapeDimension(x)) . PropertySpaceForClassOfShapeDimension(x) & hasClassOfShapeDimension(x, y) -> ClassOfShapeDimension(y) . PropertySpaceForClassOfShapeDimension(x) -> exists y (hasClassOfShapeDimension(x, y)) . PropertySpaceForClassOfShapeDimension(x) & hasClassOfShapeDimension(x, y) & hasClassOfShapeDimension(x, z) -> y = z . hasClassOfSide1(x, y) -> (ClassOfConnectionOfIndividual(x)) . ClassOfConnectionOfIndividual(x) & hasClassOfSide1(x, y) -> ClassOfIndividual(y) . ClassOfConnectionOfIndividual(x) -> exists y (hasClassOfSide1(x, y)) . ClassOfConnectionOfIndividual(x) & hasClassOfSide1(x, y) & hasClassOfSide1(x, z) -> y = z . hasClassOfSide2(x, y) -> (ClassOfConnectionOfIndividual(x)) . ClassOfConnectionOfIndividual(x) & hasClassOfSide2(x, y) -> ClassOfIndividual(y) . ClassOfConnectionOfIndividual(x) -> exists y (hasClassOfSide2(x, y)) . ClassOfConnectionOfIndividual(x) & hasClassOfSide2(x, y) & hasClassOfSide2(x, z) -> y = z . hasClassOfSubclass(x, y) -> (ClassOfSpecialization(x)) . ClassOfSpecialization(x) & hasClassOfSubclass(x, y) -> ClassOfClass(y) . ClassOfSpecialization(x) -> exists y (hasClassOfSubclass(x, y)) . ClassOfSpecialization(x) & hasClassOfSubclass(x, y) & hasClassOfSubclass(x, z) -> y = z . hasClassOfSuccessor(x, y) -> (ClassOfTemporalSequence(x)) . ClassOfTemporalSequence(x) & hasClassOfSuccessor(x, y) -> ClassOfIndividual(y) . ClassOfTemporalSequence(x) -> exists y (hasClassOfSuccessor(x, y)) . ClassOfTemporalSequence(x) & hasClassOfSuccessor(x, y) & hasClassOfSuccessor(x, z) -> y = z . hasClassOfSuperclass(x, y) -> (ClassOfSpecialization(x)) . ClassOfSpecialization(x) & hasClassOfSuperclass(x, y) -> ClassOfClass(y) . ClassOfSpecialization(x) -> exists y (hasClassOfSuperclass(x, y)) . ClassOfSpecialization(x) & hasClassOfSuperclass(x, y) & hasClassOfSuperclass(x, z) -> y = z . hasClassOfUsage(x, y) -> (ClassOfIndividualUsedInConnection(x)) . ClassOfIndividualUsedInConnection(x) & hasClassOfUsage(x, y) -> ClassOfIndividual(y) . ClassOfIndividualUsedInConnection(x) -> exists y (hasClassOfUsage(x, y)) . ClassOfIndividualUsedInConnection(x) & hasClassOfUsage(x, y) & hasClassOfUsage(x, z) -> y = z . hasClassOfUsed(x, y) -> (ClassOfUsageOfRepresentation(x)) . ClassOfUsageOfRepresentation(x) & hasClassOfUsed(x, y) -> ClassOfRepresentationOfThing(y) . ClassOfUsageOfRepresentation(x) -> exists y (hasClassOfUsed(x, y)) . ClassOfUsageOfRepresentation(x) & hasClassOfUsed(x, y) & hasClassOfUsed(x, z) -> y = z . hasClassOfWhole(x, y) -> (ClassOfCompositionOfIndividual(x)) . ClassOfCompositionOfIndividual(x) & hasClassOfWhole(x, y) -> ClassOfIndividual(y) . ClassOfCompositionOfIndividual(x) -> exists y (hasClassOfWhole(x, y)) . ClassOfCompositionOfIndividual(x) & hasClassOfWhole(x, y) & hasClassOfWhole(x, z) -> y = z . hasClassified(x, y) -> (Classification(x)) . Classification(x) & hasClassified(x, y) -> Thing(y) . Classification(x) -> exists y (hasClassified(x, y)) . Classification(x) & hasClassified(x, y) & hasClassified(x, z) -> y = z . hasClassifier(x, y) -> (Classification(x)) . Classification(x) & hasClassifier(x, y) -> Class(y) . Classification(x) -> exists y (hasClassifier(x, y)) . Classification(x) & hasClassifier(x, y) & hasClassifier(x, z) -> y = z . hasCodomain(x, y) -> (ClassOfFunctionalMapping(x)) . ClassOfFunctionalMapping(x) & hasCodomain(x, y) -> Class(y) . ClassOfFunctionalMapping(x) -> exists y (hasCodomain(x, y)) . ClassOfFunctionalMapping(x) & hasCodomain(x, y) & hasCodomain(x, z) -> y = z . hasConnection(x, y) -> (IndividualUsedInConnection(x)) . IndividualUsedInConnection(x) & hasConnection(x, y) -> ConnectionOfIndividual(y) . IndividualUsedInConnection(x) -> exists y (hasConnection(x, y)) . IndividualUsedInConnection(x) & hasConnection(x, y) & hasConnection(x, z) -> y = z . hasContent(x, y) -> (ExpressBinary(x) | ExpressBoolean(x) | ExpressInteger(x) | ExpressLogical(x) | ExpressReal(x) | ExpressString(x)) . ExpressBinary(x) & hasContent(x, y) -> BINARY(y) . ExpressBinary(x) -> exists y (hasContent(x, y)) . ExpressBinary(x) & hasContent(x, y) & hasContent(x, z) -> y = z . ExpressBinary(x) & ExpressBinary(y) & hasContent(x, z) & hasContent(y, z) -> x = y . ExpressBoolean(x) & hasContent(x, y) -> BOOLEAN(y) . ExpressBoolean(x) -> exists y (hasContent(x, y)) . ExpressBoolean(x) & hasContent(x, y) & hasContent(x, z) -> y = z . ExpressBoolean(x) & ExpressBoolean(y) & hasContent(x, z) & hasContent(y, z) -> x = y . ExpressInteger(x) & hasContent(x, y) -> INTEGER(y) . ExpressInteger(x) -> exists y (hasContent(x, y)) . ExpressInteger(x) & hasContent(x, y) & hasContent(x, z) -> y = z . ExpressInteger(x) & ExpressInteger(y) & hasContent(x, z) & hasContent(y, z) -> x = y . ExpressLogical(x) & hasContent(x, y) -> LOGICAL(y) . ExpressLogical(x) -> exists y (hasContent(x, y)) . ExpressLogical(x) & hasContent(x, y) & hasContent(x, z) -> y = z . ExpressLogical(x) & ExpressLogical(y) & hasContent(x, z) & hasContent(y, z) -> x = y . ExpressReal(x) & hasContent(x, y) -> REAL(y) . ExpressReal(x) -> exists y (hasContent(x, y)) . ExpressReal(x) & hasContent(x, y) & hasContent(x, z) -> y = z . ExpressReal(x) & ExpressReal(y) & hasContent(x, z) & hasContent(y, z) -> x = y . ExpressString(x) & hasContent(x, y) -> STRING(y) . ExpressString(x) -> exists y (hasContent(x, y)) . ExpressString(x) & hasContent(x, y) & hasContent(x, z) -> y = z . ExpressString(x) & ExpressString(y) & hasContent(x, z) & hasContent(y, z) -> x = y . hasControlled(x, y) -> (ResponsibilityForRepresentation(x)) . ResponsibilityForRepresentation(x) & hasControlled(x, y) -> RepresentationOfThing(y) . ResponsibilityForRepresentation(x) -> exists y (hasControlled(x, y)) . ResponsibilityForRepresentation(x) & hasControlled(x, y) & hasControlled(x, z) -> y = z . hasController(x, y) -> (ClassOfClassOfResponsibilityForRepresentation(x) | ClassOfResponsibilityForRepresentation(x) | ResponsibilityForRepresentation(x)) . ClassOfClassOfResponsibilityForRepresentation(x) & hasController(x, y) -> PossibleIndividual(y) . ClassOfClassOfResponsibilityForRepresentation(x) -> exists y (hasController(x, y)) . ClassOfClassOfResponsibilityForRepresentation(x) & hasController(x, y) & hasController(x, z) -> y = z . ClassOfResponsibilityForRepresentation(x) & hasController(x, y) -> PossibleIndividual(y) . ClassOfResponsibilityForRepresentation(x) -> exists y (hasController(x, y)) . ClassOfResponsibilityForRepresentation(x) & hasController(x, y) & hasController(x, z) -> y = z . ResponsibilityForRepresentation(x) & hasController(x, y) -> PossibleIndividual(y) . ResponsibilityForRepresentation(x) -> exists y (hasController(x, y)) . ResponsibilityForRepresentation(x) & hasController(x, y) & hasController(x, z) -> y = z . hasDay(x, y) -> (RepresentationOfGregorianDateAndUtcTime(x)) . RepresentationOfGregorianDateAndUtcTime(x) & hasDay(x, y) -> INTEGER(y) . RepresentationOfGregorianDateAndUtcTime(x) & hasDay(x, y) & hasDay(x, z) -> y = z . hasDimension(x, y) -> (DimensionOfShape(x)) . DimensionOfShape(x) & hasDimension(x, y) -> ShapeDimension(y) . DimensionOfShape(x) -> exists y (hasDimension(x, y)) . DimensionOfShape(x) & hasDimension(x, y) & hasDimension(x, z) -> y = z . hasDomain(x, y) -> (ClassOfFunctionalMapping(x)) . ClassOfFunctionalMapping(x) & hasDomain(x, y) -> Class(y) . ClassOfFunctionalMapping(x) -> exists y (hasDomain(x, y)) . ClassOfFunctionalMapping(x) & hasDomain(x, y) & hasDomain(x, z) -> y = z . hasElements(x, y) -> (MultidimensionalObject(x)) . MultidimensionalObject(x) -> exists y (hasElements(x, y)) . MultidimensionalObject(x) & hasElements(x, y) & hasElements(x, z) -> y = z . hasEnd1(x, y) -> (OtherRelationship(x)) . OtherRelationship(x) & hasEnd1(x, y) -> Thing(y) . OtherRelationship(x) -> exists y (hasEnd1(x, y)) . OtherRelationship(x) & hasEnd1(x, y) & hasEnd1(x, z) -> y = z . hasEnd1Cardinality(x, y) -> (ClassOfRelationship(x)) . ClassOfRelationship(x) & hasEnd1Cardinality(x, y) -> Cardinality(y) . ClassOfRelationship(x) & hasEnd1Cardinality(x, y) & hasEnd1Cardinality(x, z) -> y = z . hasEnd2(x, y) -> (OtherRelationship(x)) . OtherRelationship(x) & hasEnd2(x, y) -> Thing(y) . OtherRelationship(x) -> exists y (hasEnd2(x, y)) . OtherRelationship(x) & hasEnd2(x, y) & hasEnd2(x, z) -> y = z . hasEnd2Cardinality(x, y) -> (ClassOfRelationship(x)) . ClassOfRelationship(x) & hasEnd2Cardinality(x, y) -> Cardinality(y) . ClassOfRelationship(x) & hasEnd2Cardinality(x, y) & hasEnd2Cardinality(x, z) -> y = z . hasGreaterElement(x, y) -> (ComparisonOfProperty(x)) . ComparisonOfProperty(x) & hasGreaterElement(x, y) -> Property(y) . ComparisonOfProperty(x) -> exists y (hasGreaterElement(x, y)) . ComparisonOfProperty(x) & hasGreaterElement(x, y) & hasGreaterElement(x, z) -> y = z . hasHour(x, y) -> (RepresentationOfGregorianDateAndUtcTime(x)) . RepresentationOfGregorianDateAndUtcTime(x) & hasHour(x, y) -> INTEGER(y) . RepresentationOfGregorianDateAndUtcTime(x) & hasHour(x, y) & hasHour(x, z) -> y = z . hasId(x, y) -> (Thing(x)) . Thing(x) & hasId(x, y) -> STRING(y) . Thing(x) -> exists y (hasId(x, y)) . Thing(x) & hasId(x, y) & hasId(x, z) -> y = z . Thing(x) & Thing(y) & hasId(x, z) & hasId(y, z) -> x = y . hasIndividual(x, y) -> (DimensionOfIndividual(x)) . DimensionOfIndividual(x) & hasIndividual(x, y) -> PossibleIndividual(y) . DimensionOfIndividual(x) -> exists y (hasIndividual(x, y)) . DimensionOfIndividual(x) & hasIndividual(x, y) & hasIndividual(x, z) -> y = z . hasIndividualDimension(x, y) -> (DimensionOfIndividual(x)) . DimensionOfIndividual(x) & hasIndividualDimension(x, y) -> IndividualDimension(y) . DimensionOfIndividual(x) -> exists y (hasIndividualDimension(x, y)) . DimensionOfIndividual(x) & hasIndividualDimension(x, y) & hasIndividualDimension(x, z) -> y = z . hasInput(x, y) -> (FunctionalMapping(x)) . FunctionalMapping(x) & hasInput(x, y) -> Thing(y) . FunctionalMapping(x) -> exists y (hasInput(x, y)) . FunctionalMapping(x) & hasInput(x, y) & hasInput(x, z) -> y = z . hasInterest(x, y) -> (LifecycleStage(x)) . LifecycleStage(x) & hasInterest(x, y) -> PossibleIndividual(y) . LifecycleStage(x) -> exists y (hasInterest(x, y)) . LifecycleStage(x) & hasInterest(x, y) & hasInterest(x, z) -> y = z . hasInterested(x, y) -> (LifecycleStage(x)) . LifecycleStage(x) & hasInterested(x, y) -> PossibleIndividual(y) . LifecycleStage(x) -> exists y (hasInterested(x, y)) . LifecycleStage(x) & hasInterested(x, y) & hasInterested(x, z) -> y = z . hasInvolved(x, y) -> (InvolvementByReference(x)) . InvolvementByReference(x) & hasInvolved(x, y) -> Thing(y) . InvolvementByReference(x) -> exists y (hasInvolved(x, y)) . InvolvementByReference(x) & hasInvolved(x, y) & hasInvolved(x, z) -> y = z . hasInvolver(x, y) -> (InvolvementByReference(x)) . InvolvementByReference(x) & hasInvolver(x, y) -> Activity(y) . InvolvementByReference(x) -> exists y (hasInvolver(x, y)) . InvolvementByReference(x) & hasInvolver(x, y) & hasInvolver(x, z) -> y = z . hasLesserElement(x, y) -> (ComparisonOfProperty(x)) . ComparisonOfProperty(x) & hasLesserElement(x, y) -> Property(y) . ComparisonOfProperty(x) -> exists y (hasLesserElement(x, y)) . ComparisonOfProperty(x) & hasLesserElement(x, y) & hasLesserElement(x, z) -> y = z . hasLocated(x, y) -> (RelativeLocation(x)) . RelativeLocation(x) & hasLocated(x, y) -> PossibleIndividual(y) . RelativeLocation(x) -> exists y (hasLocated(x, y)) . RelativeLocation(x) & hasLocated(x, y) & hasLocated(x, z) -> y = z . hasLocator(x, y) -> (RelativeLocation(x)) . RelativeLocation(x) & hasLocator(x, y) -> PossibleIndividual(y) . RelativeLocation(x) -> exists y (hasLocator(x, y)) . RelativeLocation(x) & hasLocator(x, y) & hasLocator(x, z) -> y = z . hasMaximumCardinality(x, y) -> (Cardinality(x)) . Cardinality(x) & hasMaximumCardinality(x, y) -> INTEGER(y) . Cardinality(x) & hasMaximumCardinality(x, y) & hasMaximumCardinality(x, z) -> y = z . hasMinimumCardinality(x, y) -> (Cardinality(x)) . Cardinality(x) & hasMinimumCardinality(x, y) -> INTEGER(y) . Cardinality(x) & hasMinimumCardinality(x, y) & hasMinimumCardinality(x, z) -> y = z . hasMinute(x, y) -> (RepresentationOfGregorianDateAndUtcTime(x)) . RepresentationOfGregorianDateAndUtcTime(x) & hasMinute(x, y) -> INTEGER(y) . RepresentationOfGregorianDateAndUtcTime(x) & hasMinute(x, y) & hasMinute(x, z) -> y = z . hasMonth(x, y) -> (RepresentationOfGregorianDateAndUtcTime(x)) . RepresentationOfGregorianDateAndUtcTime(x) & hasMonth(x, y) -> INTEGER(y) . RepresentationOfGregorianDateAndUtcTime(x) & hasMonth(x, y) & hasMonth(x, z) -> y = z . hasOptionalElement(x, y) -> (ClassOfMultidimensionalObject(x)) . ClassOfMultidimensionalObject(x) -> exists y (hasOptionalElement(x, y)) . ClassOfMultidimensionalObject(x) & hasOptionalElement(x, y) & hasOptionalElement(x, z) -> y = z . hasParameterPosition(x, y) -> (ClassOfMultidimensionalObject(x)) . ClassOfMultidimensionalObject(x) & hasParameterPosition(x, y) & hasParameterPosition(x, z) -> y = z . hasParameters(x, y) -> (ClassOfMultidimensionalObject(x)) . ClassOfMultidimensionalObject(x) & hasParameters(x, y) & hasParameters(x, z) -> y = z . hasPart(x, y) -> (CompositionOfIndividual(x)) . CompositionOfIndividual(x) & hasPart(x, y) -> PossibleIndividual(y) . CompositionOfIndividual(x) -> exists y (hasPart(x, y)) . CompositionOfIndividual(x) & hasPart(x, y) & hasPart(x, z) -> y = z . hasPattern(x, y) -> (ClassOfRepresentationOfThing(x)) . ClassOfRepresentationOfThing(x) & hasPattern(x, y) -> ClassOfInformationRepresentation(y) . ClassOfRepresentationOfThing(x) -> exists y (hasPattern(x, y)) . ClassOfRepresentationOfThing(x) & hasPattern(x, y) & hasPattern(x, z) -> y = z . hasPlayed(x, y) -> (ClassOfIntendedRoleAndDomain(x) | ClassOfPossibleRoleAndDomain(x) | IntendedRoleAndDomain(x) | PossibleRoleAndDomain(x)) . ClassOfIntendedRoleAndDomain(x) & hasPlayed(x, y) -> RoleAndDomain(y) . ClassOfIntendedRoleAndDomain(x) -> exists y (hasPlayed(x, y)) . ClassOfIntendedRoleAndDomain(x) & hasPlayed(x, y) & hasPlayed(x, z) -> y = z . ClassOfPossibleRoleAndDomain(x) & hasPlayed(x, y) -> RoleAndDomain(y) . ClassOfPossibleRoleAndDomain(x) -> exists y (hasPlayed(x, y)) . ClassOfPossibleRoleAndDomain(x) & hasPlayed(x, y) & hasPlayed(x, z) -> y = z . IntendedRoleAndDomain(x) & hasPlayed(x, y) -> RoleAndDomain(y) . IntendedRoleAndDomain(x) -> exists y (hasPlayed(x, y)) . IntendedRoleAndDomain(x) & hasPlayed(x, y) & hasPlayed(x, z) -> y = z . PossibleRoleAndDomain(x) & hasPlayed(x, y) -> RoleAndDomain(y) . PossibleRoleAndDomain(x) -> exists y (hasPlayed(x, y)) . PossibleRoleAndDomain(x) & hasPlayed(x, y) & hasPlayed(x, z) -> y = z . hasPlayer(x, y) -> (IntendedRoleAndDomain(x) | PossibleRoleAndDomain(x)) . IntendedRoleAndDomain(x) & hasPlayer(x, y) -> PossibleIndividual(y) . IntendedRoleAndDomain(x) -> exists y (hasPlayer(x, y)) . IntendedRoleAndDomain(x) & hasPlayer(x, y) & hasPlayer(x, z) -> y = z . PossibleRoleAndDomain(x) & hasPlayer(x, y) -> PossibleIndividual(y) . PossibleRoleAndDomain(x) -> exists y (hasPlayer(x, y)) . PossibleRoleAndDomain(x) & hasPlayer(x, y) & hasPlayer(x, z) -> y = z . hasPosition(x, y) -> (MultidimensionalObject(x)) . MultidimensionalObject(x) & hasPosition(x, y) & hasPosition(x, z) -> y = z . hasPossessor(x, y) -> (IndirectProperty(x)) . IndirectProperty(x) & hasPossessor(x, y) -> PossibleIndividual(y) . IndirectProperty(x) -> exists y (hasPossessor(x, y)) . IndirectProperty(x) & hasPossessor(x, y) & hasPossessor(x, z) -> y = z . hasPredecessor(x, y) -> (TemporalSequence(x)) . TemporalSequence(x) & hasPredecessor(x, y) -> PossibleIndividual(y) . TemporalSequence(x) -> exists y (hasPredecessor(x, y)) . TemporalSequence(x) & hasPredecessor(x, y) & hasPredecessor(x, z) -> y = z . hasProperty(x, y) -> (IndirectProperty(x) | PropertyForShapeDimension(x)) . IndirectProperty(x) & hasProperty(x, y) -> Property(y) . IndirectProperty(x) -> exists y (hasProperty(x, y)) . IndirectProperty(x) & hasProperty(x, y) & hasProperty(x, z) -> y = z . PropertyForShapeDimension(x) & hasProperty(x, y) -> Property(y) . PropertyForShapeDimension(x) -> exists y (hasProperty(x, y)) . PropertyForShapeDimension(x) & hasProperty(x, y) & hasProperty(x, z) -> y = z . hasPropertySpace(x, y) -> (ClassOfIndirectProperty(x) | PropertySpaceForClassOfShapeDimension(x)) . ClassOfIndirectProperty(x) & hasPropertySpace(x, y) -> PropertySpace(y) . ClassOfIndirectProperty(x) -> exists y (hasPropertySpace(x, y)) . ClassOfIndirectProperty(x) & hasPropertySpace(x, y) & hasPropertySpace(x, z) -> y = z . PropertySpaceForClassOfShapeDimension(x) & hasPropertySpace(x, y) -> PropertySpace(y) . PropertySpaceForClassOfShapeDimension(x) -> exists y (hasPropertySpace(x, y)) . PropertySpaceForClassOfShapeDimension(x) & hasPropertySpace(x, y) & hasPropertySpace(x, z) -> y = z . hasRecognized(x, y) -> (Recognition(x)) . Recognition(x) & hasRecognized(x, y) -> Thing(y) . Recognition(x) -> exists y (hasRecognized(x, y)) . Recognition(x) & hasRecognized(x, y) & hasRecognized(x, z) -> y = z . hasRecognizing(x, y) -> (Recognition(x)) . Recognition(x) & hasRecognizing(x, y) -> Activity(y) . Recognition(x) -> exists y (hasRecognizing(x, y)) . Recognition(x) & hasRecognizing(x, y) & hasRecognizing(x, z) -> y = z . hasRecordCopyCreated(x, y) -> (Thing(x)) . Thing(x) & hasRecordCopyCreated(x, y) -> RepresentationOfGregorianDateAndUtcTime(y) . Thing(x) & hasRecordCopyCreated(x, y) & hasRecordCopyCreated(x, z) -> y = z . hasRecordCreated(x, y) -> (Thing(x)) . Thing(x) & hasRecordCreated(x, y) -> RepresentationOfGregorianDateAndUtcTime(y) . Thing(x) & hasRecordCreated(x, y) & hasRecordCreated(x, z) -> y = z . hasRecordCreator(x, y) -> (Thing(x)) . Thing(x) & hasRecordCreator(x, y) -> PossibleIndividual(y) . Thing(x) & hasRecordCreator(x, y) & hasRecordCreator(x, z) -> y = z . hasRecordLogicallyDeleted(x, y) -> (Thing(x)) . Thing(x) & hasRecordLogicallyDeleted(x, y) -> RepresentationOfGregorianDateAndUtcTime(y) . Thing(x) & hasRecordLogicallyDeleted(x, y) & hasRecordLogicallyDeleted(x, z) -> y = z . hasRelated(x, y) -> (ClassOfRelationshipWithRelatedEnd1(x) | ClassOfRelationshipWithRelatedEnd2(x)) . ClassOfRelationshipWithRelatedEnd1(x) & hasRelated(x, y) -> Thing(y) . ClassOfRelationshipWithRelatedEnd1(x) -> exists y (hasRelated(x, y)) . ClassOfRelationshipWithRelatedEnd1(x) & hasRelated(x, y) & hasRelated(x, z) -> y = z . ClassOfRelationshipWithRelatedEnd2(x) & hasRelated(x, y) -> Thing(y) . ClassOfRelationshipWithRelatedEnd2(x) -> exists y (hasRelated(x, y)) . ClassOfRelationshipWithRelatedEnd2(x) & hasRelated(x, y) & hasRelated(x, z) -> y = z . hasRepresented(x, y) -> (ClassOfRepresentationOfThing(x) | RepresentationOfThing(x)) . ClassOfRepresentationOfThing(x) & hasRepresented(x, y) -> Thing(y) . ClassOfRepresentationOfThing(x) -> exists y (hasRepresented(x, y)) . ClassOfRepresentationOfThing(x) & hasRepresented(x, y) & hasRepresented(x, z) -> y = z . RepresentationOfThing(x) & hasRepresented(x, y) -> Thing(y) . RepresentationOfThing(x) -> exists y (hasRepresented(x, y)) . RepresentationOfThing(x) & hasRepresented(x, y) & hasRepresented(x, z) -> y = z . hasResult(x, y) -> (FunctionalMapping(x)) . FunctionalMapping(x) & hasResult(x, y) -> Thing(y) . FunctionalMapping(x) -> exists y (hasResult(x, y)) . FunctionalMapping(x) & hasResult(x, y) & hasResult(x, z) -> y = z . hasRoles(x, y) -> (ClassOfMultidimensionalObject(x)) . ClassOfMultidimensionalObject(x) -> exists y (hasRoles(x, y)) . ClassOfMultidimensionalObject(x) & hasRoles(x, y) & hasRoles(x, z) -> y = z . hasSecond(x, y) -> (RepresentationOfGregorianDateAndUtcTime(x)) . RepresentationOfGregorianDateAndUtcTime(x) & hasSecond(x, y) -> REAL(y) . RepresentationOfGregorianDateAndUtcTime(x) & hasSecond(x, y) & hasSecond(x, z) -> y = z . hasShape(x, y) -> (DimensionOfShape(x)) . DimensionOfShape(x) & hasShape(x, y) -> Shape(y) . DimensionOfShape(x) -> exists y (hasShape(x, y)) . DimensionOfShape(x) & hasShape(x, y) & hasShape(x, z) -> y = z . hasShapeDimension(x, y) -> (PropertyForShapeDimension(x)) . PropertyForShapeDimension(x) & hasShapeDimension(x, y) -> ShapeDimension(y) . PropertyForShapeDimension(x) -> exists y (hasShapeDimension(x, y)) . PropertyForShapeDimension(x) & hasShapeDimension(x, y) & hasShapeDimension(x, z) -> y = z . hasSide1(x, y) -> (ConnectionOfIndividual(x)) . ConnectionOfIndividual(x) & hasSide1(x, y) -> PossibleIndividual(y) . ConnectionOfIndividual(x) -> exists y (hasSide1(x, y)) . ConnectionOfIndividual(x) & hasSide1(x, y) & hasSide1(x, z) -> y = z . hasSide2(x, y) -> (ConnectionOfIndividual(x)) . ConnectionOfIndividual(x) & hasSide2(x, y) -> PossibleIndividual(y) . ConnectionOfIndividual(x) -> exists y (hasSide2(x, y)) . ConnectionOfIndividual(x) & hasSide2(x, y) & hasSide2(x, z) -> y = z . hasSign(x, y) -> (RepresentationOfThing(x)) . RepresentationOfThing(x) & hasSign(x, y) -> PossibleIndividual(y) . RepresentationOfThing(x) -> exists y (hasSign(x, y)) . RepresentationOfThing(x) & hasSign(x, y) & hasSign(x, z) -> y = z . hasSubclass(x, y) -> (Specialization(x)) . Specialization(x) & hasSubclass(x, y) -> Class(y) . Specialization(x) -> exists y (hasSubclass(x, y)) . Specialization(x) & hasSubclass(x, y) & hasSubclass(x, z) -> y = z . hasSuccessor(x, y) -> (TemporalSequence(x)) . TemporalSequence(x) & hasSuccessor(x, y) -> PossibleIndividual(y) . TemporalSequence(x) -> exists y (hasSuccessor(x, y)) . TemporalSequence(x) & hasSuccessor(x, y) & hasSuccessor(x, z) -> y = z . hasSuperclass(x, y) -> (Specialization(x)) . Specialization(x) & hasSuperclass(x, y) -> Class(y) . Specialization(x) -> exists y (hasSuperclass(x, y)) . Specialization(x) & hasSuperclass(x, y) & hasSuperclass(x, z) -> y = z . hasUsage(x, y) -> (IndividualUsedInConnection(x)) . IndividualUsedInConnection(x) & hasUsage(x, y) -> PossibleIndividual(y) . IndividualUsedInConnection(x) -> exists y (hasUsage(x, y)) . IndividualUsedInConnection(x) & hasUsage(x, y) & hasUsage(x, z) -> y = z . hasUsed(x, y) -> (UsageOfRepresentation(x)) . UsageOfRepresentation(x) & hasUsed(x, y) -> RepresentationOfThing(y) . UsageOfRepresentation(x) -> exists y (hasUsed(x, y)) . UsageOfRepresentation(x) & hasUsed(x, y) & hasUsed(x, z) -> y = z . hasUser(x, y) -> (ClassOfClassOfUsageOfRepresentation(x) | ClassOfUsageOfRepresentation(x) | UsageOfRepresentation(x)) . ClassOfClassOfUsageOfRepresentation(x) & hasUser(x, y) -> PossibleIndividual(y) . ClassOfClassOfUsageOfRepresentation(x) -> exists y (hasUser(x, y)) . ClassOfClassOfUsageOfRepresentation(x) & hasUser(x, y) & hasUser(x, z) -> y = z . ClassOfUsageOfRepresentation(x) & hasUser(x, y) -> PossibleIndividual(y) . ClassOfUsageOfRepresentation(x) -> exists y (hasUser(x, y)) . ClassOfUsageOfRepresentation(x) & hasUser(x, y) & hasUser(x, z) -> y = z . UsageOfRepresentation(x) & hasUser(x, y) -> PossibleIndividual(y) . UsageOfRepresentation(x) -> exists y (hasUser(x, y)) . UsageOfRepresentation(x) & hasUser(x, y) & hasUser(x, z) -> y = z . hasWhole(x, y) -> (CompositionOfIndividual(x)) . CompositionOfIndividual(x) & hasWhole(x, y) -> PossibleIndividual(y) . CompositionOfIndividual(x) -> exists y (hasWhole(x, y)) . CompositionOfIndividual(x) & hasWhole(x, y) & hasWhole(x, z) -> y = z . hasWhyDeleted(x, y) -> (Thing(x)) . Thing(x) & hasWhyDeleted(x, y) -> ClassOfInformationRepresentation(y) . Thing(x) & hasWhyDeleted(x, y) & hasWhyDeleted(x, z) -> y = z . hasYear(x, y) -> (RepresentationOfGregorianDateAndUtcTime(x)) . RepresentationOfGregorianDateAndUtcTime(x) & hasYear(x, y) -> INTEGER(y) . RepresentationOfGregorianDateAndUtcTime(x) -> exists y (hasYear(x, y)) . RepresentationOfGregorianDateAndUtcTime(x) & hasYear(x, y) & hasYear(x, z) -> y = z . %% %% END Role axioms %% %% %% BEGIN Additional range restriction axioms %% ClassOfParticipation(x) & hasClassOfPart(x, y) -> ParticipatingRoleAndDomain(y) . Namespace(x) & hasClassOfPart(x, y) -> ClassOfInformationRepresentation(y) . ClassOfArrangementOfIndividual(x) & hasClassOfWhole(x, y) -> ClassOfArrangedIndividual(y) . ClassOfParticipation(x) & hasClassOfWhole(x, y) -> ClassOfActivity(y) . Namespace(x) & hasClassOfWhole(x, y) -> ClassOfInformationRepresentation(y) . LowerBoundOfNumberRange(x) & hasClassified(x, y) -> ArithmeticNumber(y) . LowerBoundOfPropertyRange(x) & hasClassified(x, y) -> Property(y) . UpperBoundOfNumberRange(x) & hasClassified(x, y) -> ArithmeticNumber(y) . UpperBoundOfPropertyRange(x) & hasClassified(x, y) -> Property(y) . LowerBoundOfNumberRange(x) & hasClassifier(x, y) -> NumberRange(y) . LowerBoundOfPropertyRange(x) & hasClassifier(x, y) -> PropertyRange(y) . UpperBoundOfNumberRange(x) & hasClassifier(x, y) -> NumberRange(y) . UpperBoundOfPropertyRange(x) & hasClassifier(x, y) -> PropertyRange(y) . ClassOfScaleConversion(x) & hasCodomain(x, y) -> Scale(y) . Scale(x) & hasCodomain(x, y) -> NumberSpace(y) . ClassOfScaleConversion(x) & hasDomain(x, y) -> Scale(y) . Scale(x) & hasDomain(x, y) -> PropertySpace(y) . DifferenceOfSetOfClass(x) & hasInput(x, y) -> EnumeratedSetOfClass(y) . IntersectionOfSetOfClass(x) & hasInput(x, y) -> EnumeratedSetOfClass(y) . PropertyQuantification(x) & hasInput(x, y) -> Property(y) . UnionOfSetOfClass(x) & hasInput(x, y) -> EnumeratedSetOfClass(y) . TemporalBounding(x) & hasPart(x, y) -> Event(y) . ClassOfDefinition(x) & hasRepresented(x, y) -> Class(y) . Definition(x) & hasRepresented(x, y) -> Class(y) . DifferenceOfSetOfClass(x) & hasResult(x, y) -> Class(y) . IntersectionOfSetOfClass(x) & hasResult(x, y) -> Class(y) . PropertyQuantification(x) & hasResult(x, y) -> ArithmeticNumber(y) . UnionOfSetOfClass(x) & hasResult(x, y) -> Class(y) . BoundaryOfNumberSpace(x) & hasSubclass(x, y) -> NumberSpace(y) . BoundaryOfPropertySpace(x) & hasSubclass(x, y) -> PropertySpace(y) . SpecializationByDomain(x) & hasSubclass(x, y) -> RoleAndDomain(y) . SpecializationByRole(x) & hasSubclass(x, y) -> RoleAndDomain(y) . SpecializationOfIndividualDimensionFromProperty(x) & hasSubclass(x, y) -> IndividualDimension(y) . BoundaryOfNumberSpace(x) & hasSuperclass(x, y) -> NumberSpace(y) . BoundaryOfPropertySpace(x) & hasSuperclass(x, y) -> PropertySpace(y) . SpecializationByRole(x) & hasSuperclass(x, y) -> Role(y) . SpecializationOfIndividualDimensionFromProperty(x) & hasSuperclass(x, y) -> Property(y) . ArrangementOfIndividual(x) & hasWhole(x, y) -> ArrangedIndividual(y) . Participation(x) & hasWhole(x, y) -> Activity(y) . %% %% END Additional range restriction axioms %% % % % All templates % % % % % Proto-templates % ApprovalTriple(x,y,z) <-> Approval(x) & hasApproved(x,y) & hasApprover(x,z) . ApprovalTemplate(y,z) <-> exists u(ApprovalTriple(u,y,z)) . BoundaryOfNumberSpaceTriple(x,y,z) <-> BoundaryOfNumberSpace(x) & hasSubclass(x,y) & hasSuperclass(x,z) . BoundaryOfNumberSpaceTemplate(y,z) <-> exists u(BoundaryOfNumberSpaceTriple(u,y,z)) . BoundaryOfPropertySpaceTriple(x,y,z) <-> BoundaryOfPropertySpace(x) & hasSubclass(x,y) & hasSuperclass(x,z) . BoundaryOfPropertySpaceTemplate(y,z) <-> exists u(BoundaryOfPropertySpaceTriple(u,y,z)) . CauseOfEventTriple(x,y,z) <-> CauseOfEvent(x) & hasCaused(x,y) & hasCauser(x,z) . CauseOfEventTemplate(y,z) <-> exists u(CauseOfEventTriple(u,y,z)) . ClassOfApprovalTriple(x,y,z) <-> ClassOfApproval(x) & hasClassOfApproved(x,y) & hasClassOfApprover(x,z) . ClassOfApprovalTemplate(y,z) <-> exists u(ClassOfApprovalTriple(u,y,z)) . ClassOfCauseOfBeginningOfClassOfIndividualTriple(x,y,z) <-> ClassOfCauseOfBeginningOfClassOfIndividual(x) & hasClassOfBegun(x,y) & hasClassOfCauser(x,z) . ClassOfCauseOfBeginningOfClassOfIndividualTemplate(y,z) <-> exists u(ClassOfCauseOfBeginningOfClassOfIndividualTriple(u,y,z)) . ClassOfCauseOfEndingOfClassOfIndividualTriple(x,y,z) <-> ClassOfCauseOfEndingOfClassOfIndividual(x) & hasClassOfCauser(x,y) & hasClassOfEnded(x,z) . ClassOfCauseOfEndingOfClassOfIndividualTemplate(y,z) <-> exists u(ClassOfCauseOfEndingOfClassOfIndividualTriple(u,y,z)) . ClassOfClassOfCompositionTriple(x,y,z) <-> ClassOfClassOfComposition(x) & hasClassOfClassOfPart(x,y) & hasClassOfClassOfWhole(x,z) . ClassOfClassOfCompositionTemplate(y,z) <-> exists u(ClassOfClassOfCompositionTriple(u,y,z)) . ClassOfClassOfRepresentationTriple(x,y,z) <-> ClassOfClassOfRepresentation(x) & hasClassOfPattern(x,y) & hasClassOfRepresented(x,z) . ClassOfClassOfRepresentationTemplate(y,z) <-> exists u(ClassOfClassOfRepresentationTriple(u,y,z)) . ClassOfClassOfRepresentationTranslationTriple(x,y,z) <-> ClassOfClassOfRepresentationTranslation(x) & hasClassOfFirst(x,y) & hasClassOfSecond(x,z) . ClassOfClassOfRepresentationTranslationTemplate(y,z) <-> exists u(ClassOfClassOfRepresentationTranslationTriple(u,y,z)) . ClassOfClassOfResponsibilityForRepresentationTriple(x,y,z) <-> ClassOfClassOfResponsibilityForRepresentation(x) & hasClassOfClassOfControlled(x,y) & hasController(x,z) . ClassOfClassOfResponsibilityForRepresentationTemplate(y,z) <-> exists u(ClassOfClassOfResponsibilityForRepresentationTriple(u,y,z)) . ClassOfClassOfUsageOfRepresentationTriple(x,y,z) <-> ClassOfClassOfUsageOfRepresentation(x) & hasClassOfClassOfUsed(x,y) & hasUser(x,z) . ClassOfClassOfUsageOfRepresentationTemplate(y,z) <-> exists u(ClassOfClassOfUsageOfRepresentationTriple(u,y,z)) . ClassOfClassificationTriple(x,y,z) <-> ClassOfClassification(x) & hasClassOfClassified(x,y) & hasClassOfClassifier(x,z) . ClassOfClassificationTemplate(y,z) <-> exists u(ClassOfClassificationTriple(u,y,z)) . ClassOfCompositionOfIndividualTriple(x,y,z) <-> ClassOfCompositionOfIndividual(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . ClassOfCompositionOfIndividualTemplate(y,z) <-> exists u(ClassOfCompositionOfIndividualTriple(u,y,z)) . ClassOfConnectionOfIndividualTriple(x,y,z) <-> ClassOfConnectionOfIndividual(x) & hasClassOfSide1(x,y) & hasClassOfSide2(x,z) . ClassOfConnectionOfIndividualTemplate(y,z) <-> exists u(ClassOfConnectionOfIndividualTriple(u,y,z)) . ClassOfDimensionForShapeTriple(x,y,z) <-> ClassOfDimensionForShape(x) & hasClassOfDimension(x,y) & hasClassOfShape(x,z) . ClassOfDimensionForShapeTemplate(y,z) <-> exists u(ClassOfDimensionForShapeTriple(u,y,z)) . ClassOfFunctionalMappingTriple(x,y,z) <-> ClassOfFunctionalMapping(x) & hasCodomain(x,y) & hasDomain(x,z) . ClassOfFunctionalMappingTemplate(y,z) <-> exists u(ClassOfFunctionalMappingTriple(u,y,z)) . ClassOfIndirectPropertyTriple(x,y,z) <-> ClassOfIndirectProperty(x) & hasClassOfPossessor(x,y) & hasPropertySpace(x,z) . ClassOfIndirectPropertyTemplate(y,z) <-> exists u(ClassOfIndirectPropertyTriple(u,y,z)) . ClassOfIndividualUsedInConnectionTriple(x,y,z) <-> ClassOfIndividualUsedInConnection(x) & hasClassOfConnection(x,y) & hasClassOfUsage(x,z) . ClassOfIndividualUsedInConnectionTemplate(y,z) <-> exists u(ClassOfIndividualUsedInConnectionTriple(u,y,z)) . ClassOfIntendedRoleAndDomainTriple(x,y,z) <-> ClassOfIntendedRoleAndDomain(x) & hasClassOfPlayer(x,y) & hasPlayed(x,z) . ClassOfIntendedRoleAndDomainTemplate(y,z) <-> exists u(ClassOfIntendedRoleAndDomainTriple(u,y,z)) . ClassOfInvolvementByReferenceTriple(x,y,z) <-> ClassOfInvolvementByReference(x) & hasClassOfInvolved(x,y) & hasClassOfInvolver(x,z) . ClassOfInvolvementByReferenceTemplate(y,z) <-> exists u(ClassOfInvolvementByReferenceTriple(u,y,z)) . ClassOfNamespaceTriple(x,y,z) <-> ClassOfNamespace(x) & hasClassOfClassOfWhole(x,y) & hasClassOfPart(x,z) . ClassOfNamespaceTemplate(y,z) <-> exists u(ClassOfNamespaceTriple(u,y,z)) . ClassOfParticipationTriple(x,y,z) <-> ClassOfParticipation(x) & hasClassOfPart(x,y) & hasClassOfWhole(x,z) . ClassOfParticipationTemplate(y,z) <-> exists u(ClassOfParticipationTriple(u,y,z)) . ClassOfPossibleRoleAndDomainTriple(x,y,z) <-> ClassOfPossibleRoleAndDomain(x) & hasClassOfPlayer(x,y) & hasPlayed(x,z) . ClassOfPossibleRoleAndDomainTemplate(y,z) <-> exists u(ClassOfPossibleRoleAndDomainTriple(u,y,z)) . ClassOfRecognitionTriple(x,y,z) <-> ClassOfRecognition(x) & hasClassOfRecognized(x,y) & hasClassOfRecognizing(x,z) . ClassOfRecognitionTemplate(y,z) <-> exists u(ClassOfRecognitionTriple(u,y,z)) . ClassOfRelationshipWithSignatureTriple(x,y,z) <-> ClassOfRelationshipWithSignature(x) & hasClassOfEnd1(x,y) & hasClassOfEnd2(x,z) . ClassOfRelationshipWithSignatureTemplate(y,z) <-> exists u(ClassOfRelationshipWithSignatureTriple(u,y,z)) . ClassOfRelativeLocationTriple(x,y,z) <-> ClassOfRelativeLocation(x) & hasClassOfLocated(x,y) & hasClassOfLocator(x,z) . ClassOfRelativeLocationTemplate(y,z) <-> exists u(ClassOfRelativeLocationTriple(u,y,z)) . ClassOfRepresentationOfThingTriple(x,y,z) <-> ClassOfRepresentationOfThing(x) & hasPattern(x,y) & hasRepresented(x,z) . ClassOfRepresentationOfThingTemplate(y,z) <-> exists u(ClassOfRepresentationOfThingTriple(u,y,z)) . ClassOfRepresentationTranslationTriple(x,y,z) <-> ClassOfRepresentationTranslation(x) & hasClassOfFirst(x,y) & hasClassOfSecond(x,z) . ClassOfRepresentationTranslationTemplate(y,z) <-> exists u(ClassOfRepresentationTranslationTriple(u,y,z)) . ClassOfResponsibilityForRepresentationTriple(x,y,z) <-> ClassOfResponsibilityForRepresentation(x) & hasClassOfControlled(x,y) & hasController(x,z) . ClassOfResponsibilityForRepresentationTemplate(y,z) <-> exists u(ClassOfResponsibilityForRepresentationTriple(u,y,z)) . ClassOfScaleConversionTriple(x,y,z) <-> ClassOfScaleConversion(x) & hasCodomain(x,y) & hasDomain(x,z) . ClassOfScaleConversionTemplate(y,z) <-> exists u(ClassOfScaleConversionTriple(u,y,z)) . ClassOfSpecializationTriple(x,y,z) <-> ClassOfSpecialization(x) & hasClassOfSubclass(x,y) & hasClassOfSuperclass(x,z) . ClassOfSpecializationTemplate(y,z) <-> exists u(ClassOfSpecializationTriple(u,y,z)) . ClassOfTemporalSequenceTriple(x,y,z) <-> ClassOfTemporalSequence(x) & hasClassOfPredecessor(x,y) & hasClassOfSuccessor(x,z) . ClassOfTemporalSequenceTemplate(y,z) <-> exists u(ClassOfTemporalSequenceTriple(u,y,z)) . ClassOfUsageOfRepresentationTriple(x,y,z) <-> ClassOfUsageOfRepresentation(x) & hasClassOfUsed(x,y) & hasUser(x,z) . ClassOfUsageOfRepresentationTemplate(y,z) <-> exists u(ClassOfUsageOfRepresentationTriple(u,y,z)) . ClassificationTriple(x,y,z) <-> Classification(x) & hasClassified(x,y) & hasClassifier(x,z) . ClassificationTemplate(y,z) <-> exists u(ClassificationTriple(u,y,z)) . ComparisonOfPropertyTriple(x,y,z) <-> ComparisonOfProperty(x) & hasGreaterElement(x,y) & hasLesserElement(x,z) . ComparisonOfPropertyTemplate(y,z) <-> exists u(ComparisonOfPropertyTriple(u,y,z)) . CompositionOfIndividualTriple(x,y,z) <-> CompositionOfIndividual(x) & hasPart(x,y) & hasWhole(x,z) . CompositionOfIndividualTemplate(y,z) <-> exists u(CompositionOfIndividualTriple(u,y,z)) . ConnectionOfIndividualTriple(x,y,z) <-> ConnectionOfIndividual(x) & hasSide1(x,y) & hasSide2(x,z) . ConnectionOfIndividualTemplate(y,z) <-> exists u(ConnectionOfIndividualTriple(u,y,z)) . DifferenceOfSetOfClassTriple(x,y,z) <-> DifferenceOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) . DifferenceOfSetOfClassTemplate(y,z) <-> exists u(DifferenceOfSetOfClassTriple(u,y,z)) . DimensionOfIndividualTriple(x,y,z) <-> DimensionOfIndividual(x) & hasIndividual(x,y) & hasIndividualDimension(x,z) . DimensionOfIndividualTemplate(y,z) <-> exists u(DimensionOfIndividualTriple(u,y,z)) . DimensionOfShapeTriple(x,y,z) <-> DimensionOfShape(x) & hasDimension(x,y) & hasShape(x,z) . DimensionOfShapeTemplate(y,z) <-> exists u(DimensionOfShapeTriple(u,y,z)) . FunctionalMappingTriple(x,y,z) <-> FunctionalMapping(x) & hasInput(x,y) & hasResult(x,z) . FunctionalMappingTemplate(y,z) <-> exists u(FunctionalMappingTriple(u,y,z)) . IndirectPropertyTriple(x,y,z) <-> IndirectProperty(x) & hasPossessor(x,y) & hasProperty(x,z) . IndirectPropertyTemplate(y,z) <-> exists u(IndirectPropertyTriple(u,y,z)) . IndividualUsedInConnectionTriple(x,y,z) <-> IndividualUsedInConnection(x) & hasConnection(x,y) & hasUsage(x,z) . IndividualUsedInConnectionTemplate(y,z) <-> exists u(IndividualUsedInConnectionTriple(u,y,z)) . IntendedRoleAndDomainTriple(x,y,z) <-> IntendedRoleAndDomain(x) & hasPlayed(x,y) & hasPlayer(x,z) . IntendedRoleAndDomainTemplate(y,z) <-> exists u(IntendedRoleAndDomainTriple(u,y,z)) . IntersectionOfSetOfClassTriple(x,y,z) <-> IntersectionOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) . IntersectionOfSetOfClassTemplate(y,z) <-> exists u(IntersectionOfSetOfClassTriple(u,y,z)) . InvolvementByReferenceTriple(x,y,z) <-> InvolvementByReference(x) & hasInvolved(x,y) & hasInvolver(x,z) . InvolvementByReferenceTemplate(y,z) <-> exists u(InvolvementByReferenceTriple(u,y,z)) . LifecycleStageTriple(x,y,z) <-> LifecycleStage(x) & hasInterest(x,y) & hasInterested(x,z) . LifecycleStageTemplate(y,z) <-> exists u(LifecycleStageTriple(u,y,z)) . LowerBoundOfNumberRangeTriple(x,y,z) <-> LowerBoundOfNumberRange(x) & hasClassified(x,y) & hasClassifier(x,z) . LowerBoundOfNumberRangeTemplate(y,z) <-> exists u(LowerBoundOfNumberRangeTriple(u,y,z)) . LowerBoundOfPropertyRangeTriple(x,y,z) <-> LowerBoundOfPropertyRange(x) & hasClassified(x,y) & hasClassifier(x,z) . LowerBoundOfPropertyRangeTemplate(y,z) <-> exists u(LowerBoundOfPropertyRangeTriple(u,y,z)) . OtherRelationshipTriple(x,y,z) <-> OtherRelationship(x) & hasEnd1(x,y) & hasEnd2(x,z) . OtherRelationshipTemplate(y,z) <-> exists u(OtherRelationshipTriple(u,y,z)) . PossibleRoleAndDomainTriple(x,y,z) <-> PossibleRoleAndDomain(x) & hasPlayed(x,y) & hasPlayer(x,z) . PossibleRoleAndDomainTemplate(y,z) <-> exists u(PossibleRoleAndDomainTriple(u,y,z)) . PropertyForShapeDimensionTriple(x,y,z) <-> PropertyForShapeDimension(x) & hasProperty(x,y) & hasShapeDimension(x,z) . PropertyForShapeDimensionTemplate(y,z) <-> exists u(PropertyForShapeDimensionTriple(u,y,z)) . PropertyQuantificationTriple(x,y,z) <-> PropertyQuantification(x) & hasInput(x,y) & hasResult(x,z) . PropertyQuantificationTemplate(y,z) <-> exists u(PropertyQuantificationTriple(u,y,z)) . PropertySpaceForClassOfShapeDimensionTriple(x,y,z) <-> PropertySpaceForClassOfShapeDimension(x) & hasClassOfShapeDimension(x,y) & hasPropertySpace(x,z) . PropertySpaceForClassOfShapeDimensionTemplate(y,z) <-> exists u(PropertySpaceForClassOfShapeDimensionTriple(u,y,z)) . RecognitionTriple(x,y,z) <-> Recognition(x) & hasRecognized(x,y) & hasRecognizing(x,z) . RecognitionTemplate(y,z) <-> exists u(RecognitionTriple(u,y,z)) . RelativeLocationTriple(x,y,z) <-> RelativeLocation(x) & hasLocated(x,y) & hasLocator(x,z) . RelativeLocationTemplate(y,z) <-> exists u(RelativeLocationTriple(u,y,z)) . RepresentationOfThingTriple(x,y,z) <-> RepresentationOfThing(x) & hasRepresented(x,y) & hasSign(x,z) . RepresentationOfThingTemplate(y,z) <-> exists u(RepresentationOfThingTriple(u,y,z)) . ResponsibilityForRepresentationTriple(x,y,z) <-> ResponsibilityForRepresentation(x) & hasControlled(x,y) & hasController(x,z) . ResponsibilityForRepresentationTemplate(y,z) <-> exists u(ResponsibilityForRepresentationTriple(u,y,z)) . ScaleTriple(x,y,z) <-> Scale(x) & hasCodomain(x,y) & hasDomain(x,z) . ScaleTemplate(y,z) <-> exists u(ScaleTriple(u,y,z)) . SpecializationTriple(x,y,z) <-> Specialization(x) & hasSubclass(x,y) & hasSuperclass(x,z) . SpecializationTemplate(y,z) <-> exists u(SpecializationTriple(u,y,z)) . SpecializationByRoleTriple(x,y,z) <-> SpecializationByRole(x) & hasSubclass(x,y) & hasSuperclass(x,z) . SpecializationByRoleTemplate(y,z) <-> exists u(SpecializationByRoleTriple(u,y,z)) . SpecializationOfIndividualDimensionFromPropertyTriple(x,y,z) <-> SpecializationOfIndividualDimensionFromProperty(x) & hasSubclass(x,y) & hasSuperclass(x,z) . SpecializationOfIndividualDimensionFromPropertyTemplate(y,z) <-> exists u(SpecializationOfIndividualDimensionFromPropertyTriple(u,y,z)) . TemporalSequenceTriple(x,y,z) <-> TemporalSequence(x) & hasPredecessor(x,y) & hasSuccessor(x,z) . TemporalSequenceTemplate(y,z) <-> exists u(TemporalSequenceTriple(u,y,z)) . UnionOfSetOfClassTriple(x,y,z) <-> UnionOfSetOfClass(x) & hasInput(x,y) & hasResult(x,z) . UnionOfSetOfClassTemplate(y,z) <-> exists u(UnionOfSetOfClassTriple(u,y,z)) . UpperBoundOfNumberRangeTriple(x,y,z) <-> UpperBoundOfNumberRange(x) & hasClassified(x,y) & hasClassifier(x,z) . UpperBoundOfNumberRangeTemplate(y,z) <-> exists u(UpperBoundOfNumberRangeTriple(u,y,z)) . UpperBoundOfPropertyRangeTriple(x,y,z) <-> UpperBoundOfPropertyRange(x) & hasClassified(x,y) & hasClassifier(x,z) . UpperBoundOfPropertyRangeTemplate(y,z) <-> exists u(UpperBoundOfPropertyRangeTriple(u,y,z)) . UsageOfRepresentationTriple(x,y,z) <-> UsageOfRepresentation(x) & hasUsed(x,y) & hasUser(x,z) . UsageOfRepresentationTemplate(y,z) <-> exists u(UsageOfRepresentationTriple(u,y,z)) . ArrangementOfIndividualTriple(x,y,z) <-> ArrangementOfIndividual(x) & CompositionOfIndividualTriple(x,y,z) . ArrangementOfIndividualTemplate(y,z) <-> exists u(ArrangementOfIndividualTriple(u,y,z)) . AssemblyOfIndividualTriple(x,y,z) <-> AssemblyOfIndividual(x) & ArrangementOfIndividualTriple(x,y,z) . AssemblyOfIndividualTemplate(y,z) <-> exists u(AssemblyOfIndividualTriple(u,y,z)) . BeginningTriple(x,y,z) <-> Beginning(x) & TemporalBoundingTriple(x,y,z) . BeginningTemplate(y,z) <-> exists u(BeginningTriple(u,y,z)) . ClassOfArrangementOfIndividualTriple(x,y,z) <-> ClassOfArrangementOfIndividual(x) & ClassOfCompositionOfIndividualTriple(x,y,z) . ClassOfArrangementOfIndividualTemplate(y,z) <-> exists u(ClassOfArrangementOfIndividualTriple(u,y,z)) . ClassOfAssemblyOfIndividualTriple(x,y,z) <-> ClassOfAssemblyOfIndividual(x) & ClassOfArrangementOfIndividualTriple(x,y,z) . ClassOfAssemblyOfIndividualTemplate(y,z) <-> exists u(ClassOfAssemblyOfIndividualTriple(u,y,z)) . ClassOfClassOfDefinitionTriple(x,y,z) <-> ClassOfClassOfDefinition(x) & ClassOfClassOfRepresentationTriple(x,y,z) . ClassOfClassOfDefinitionTemplate(y,z) <-> exists u(ClassOfClassOfDefinitionTriple(u,y,z)) . ClassOfClassOfDescriptionTriple(x,y,z) <-> ClassOfClassOfDescription(x) & ClassOfClassOfRepresentationTriple(x,y,z) . ClassOfClassOfDescriptionTemplate(y,z) <-> exists u(ClassOfClassOfDescriptionTriple(u,y,z)) . ClassOfClassOfIdentificationTriple(x,y,z) <-> ClassOfClassOfIdentification(x) & ClassOfClassOfRepresentationTriple(x,y,z) . ClassOfClassOfIdentificationTemplate(y,z) <-> exists u(ClassOfClassOfIdentificationTriple(u,y,z)) . ClassOfClassOfRelationshipWithSignatureTriple(x,y,z) <-> ClassOfClassOfRelationshipWithSignature(x) & ClassOfRelationshipWithSignatureTriple(x,y,z) . ClassOfClassOfRelationshipWithSignatureTemplate(y,z) <-> exists u(ClassOfClassOfRelationshipWithSignatureTriple(u,y,z)) . ClassOfContainmentOfIndividualTriple(x,y,z) <-> ClassOfContainmentOfIndividual(x) & ClassOfRelativeLocationTriple(x,y,z) . ClassOfContainmentOfIndividualTemplate(y,z) <-> exists u(ClassOfContainmentOfIndividualTriple(u,y,z)) . ClassOfDefinitionTriple(x,y,z) <-> ClassOfDefinition(x) & ClassOfRepresentationOfThingTriple(x,y,z) . ClassOfDefinitionTemplate(y,z) <-> exists u(ClassOfDefinitionTriple(u,y,z)) . ClassOfDescriptionTriple(x,y,z) <-> ClassOfDescription(x) & ClassOfRepresentationOfThingTriple(x,y,z) . ClassOfDescriptionTemplate(y,z) <-> exists u(ClassOfDescriptionTriple(u,y,z)) . ClassOfDirectConnectionTriple(x,y,z) <-> ClassOfDirectConnection(x) & ClassOfConnectionOfIndividualTriple(x,y,z) . ClassOfDirectConnectionTemplate(y,z) <-> exists u(ClassOfDirectConnectionTriple(u,y,z)) . ClassOfFeatureWholePartTriple(x,y,z) <-> ClassOfFeatureWholePart(x) & ClassOfArrangementOfIndividualTriple(x,y,z) . ClassOfFeatureWholePartTemplate(y,z) <-> exists u(ClassOfFeatureWholePartTriple(u,y,z)) . ClassOfIdentificationTriple(x,y,z) <-> ClassOfIdentification(x) & ClassOfRepresentationOfThingTriple(x,y,z) . ClassOfIdentificationTemplate(y,z) <-> exists u(ClassOfIdentificationTriple(u,y,z)) . ClassOfIndirectConnectionTriple(x,y,z) <-> ClassOfIndirectConnection(x) & ClassOfConnectionOfIndividualTriple(x,y,z) . ClassOfIndirectConnectionTemplate(y,z) <-> exists u(ClassOfIndirectConnectionTriple(u,y,z)) . ClassOfIsomorphicFunctionalMappingTriple(x,y,z) <-> ClassOfIsomorphicFunctionalMapping(x) & ClassOfFunctionalMappingTriple(x,y,z) . ClassOfIsomorphicFunctionalMappingTemplate(y,z) <-> exists u(ClassOfIsomorphicFunctionalMappingTriple(u,y,z)) . ClassOfLeftNamespaceTriple(x,y,z) <-> ClassOfLeftNamespace(x) & ClassOfNamespaceTriple(x,y,z) . ClassOfLeftNamespaceTemplate(y,z) <-> exists u(ClassOfLeftNamespaceTriple(u,y,z)) . ClassOfRightNamespaceTriple(x,y,z) <-> ClassOfRightNamespace(x) & ClassOfNamespaceTriple(x,y,z) . ClassOfRightNamespaceTemplate(y,z) <-> exists u(ClassOfRightNamespaceTriple(u,y,z)) . ClassOfTemporalWholePartTriple(x,y,z) <-> ClassOfTemporalWholePart(x) & ClassOfCompositionOfIndividualTriple(x,y,z) . ClassOfTemporalWholePartTemplate(y,z) <-> exists u(ClassOfTemporalWholePartTriple(u,y,z)) . ContainmentOfIndividualTriple(x,y,z) <-> ContainmentOfIndividual(x) & RelativeLocationTriple(x,y,z) . ContainmentOfIndividualTemplate(y,z) <-> exists u(ContainmentOfIndividualTriple(u,y,z)) . CoordinateSystemTriple(x,y,z) <-> CoordinateSystem(x) & MultidimensionalScaleTriple(x,y,z) . CoordinateSystemTemplate(y,z) <-> exists u(CoordinateSystemTriple(u,y,z)) . DefinitionTriple(x,y,z) <-> Definition(x) & RepresentationOfThingTriple(x,y,z) . DefinitionTemplate(y,z) <-> exists u(DefinitionTriple(u,y,z)) . DescriptionTriple(x,y,z) <-> Description(x) & RepresentationOfThingTriple(x,y,z) . DescriptionTemplate(y,z) <-> exists u(DescriptionTriple(u,y,z)) . DirectConnectionTriple(x,y,z) <-> DirectConnection(x) & ConnectionOfIndividualTriple(x,y,z) . DirectConnectionTemplate(y,z) <-> exists u(DirectConnectionTriple(u,y,z)) . EndingTriple(x,y,z) <-> Ending(x) & TemporalBoundingTriple(x,y,z) . EndingTemplate(y,z) <-> exists u(EndingTriple(u,y,z)) . FeatureWholePartTriple(x,y,z) <-> FeatureWholePart(x) & ArrangementOfIndividualTriple(x,y,z) . FeatureWholePartTemplate(y,z) <-> exists u(FeatureWholePartTriple(u,y,z)) . IdentificationTriple(x,y,z) <-> Identification(x) & RepresentationOfThingTriple(x,y,z) . IdentificationTemplate(y,z) <-> exists u(IdentificationTriple(u,y,z)) . IndirectConnectionTriple(x,y,z) <-> IndirectConnection(x) & ConnectionOfIndividualTriple(x,y,z) . IndirectConnectionTemplate(y,z) <-> exists u(IndirectConnectionTriple(u,y,z)) . LeftNamespaceTriple(x,y,z) <-> LeftNamespace(x) & NamespaceTriple(x,y,z) . LeftNamespaceTemplate(y,z) <-> exists u(LeftNamespaceTriple(u,y,z)) . MultidimensionalScaleTriple(x,y,z) <-> MultidimensionalScale(x) & ScaleTriple(x,y,z) . MultidimensionalScaleTemplate(y,z) <-> exists u(MultidimensionalScaleTriple(u,y,z)) . NamespaceTriple(x,y,z) <-> Namespace(x) & ClassOfArrangementOfIndividualTriple(x,y,z) . NamespaceTemplate(y,z) <-> exists u(NamespaceTriple(u,y,z)) . ParticipationTriple(x,y,z) <-> Participation(x) & CompositionOfIndividualTriple(x,y,z) . ParticipationTemplate(y,z) <-> exists u(ParticipationTriple(u,y,z)) . RightNamespaceTriple(x,y,z) <-> RightNamespace(x) & NamespaceTriple(x,y,z) . RightNamespaceTemplate(y,z) <-> exists u(RightNamespaceTriple(u,y,z)) . SpecializationByDomainTriple(x,y,z) <-> SpecializationByDomain(x) & SpecializationTriple(x,y,z) . SpecializationByDomainTemplate(y,z) <-> exists u(SpecializationByDomainTriple(u,y,z)) . TemporalBoundingTriple(x,y,z) <-> TemporalBounding(x) & CompositionOfIndividualTriple(x,y,z) . TemporalBoundingTemplate(y,z) <-> exists u(TemporalBoundingTriple(u,y,z)) . TemporalWholePartTriple(x,y,z) <-> TemporalWholePart(x) & CompositionOfIndividualTriple(x,y,z) . TemporalWholePartTemplate(y,z) <-> exists u(TemporalWholePartTriple(u,y,z)) . 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) | ClassOfClassOfRepresentationTranslationTriple(x,y,z) | ClassOfClassOfRepresentationTriple(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) | 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) | SpecializationByDomainTriple(x,y,z) | SpecializationByRoleTriple(x,y,z) | SpecializationOfIndividualDimensionFromPropertyTriple(x,y,z) | SpecializationTriple(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)) . % % Templates for individuals % ClassificationOfIndividual(x1, x2) <-> PossibleIndividual(x1) & ClassOfIndividual(x2) & ClassificationTemplate(x1, x2) . ClassificationOfRelationship(x1, x2) <-> Relationship(x1) & ClassOfRelationship(x2) & ClassificationTemplate(x1, x2) . IdentificationByNumber(x1, x2) <-> ExpressReal(x1) & Thing(x2) & ClassOfIdentificationTemplate(x1, x2) . ClassifiedIdentification(x1, x2, x3) <-> Thing(x1) & ExpressString(x2) & ClassOfClassOfIdentification(x3) & exists u (ClassOfIdentificationTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . InstanceOfRelation(x1, x2, x3) <-> ClassOfRelationshipWithSignature(x1) & Thing(x2) & Thing(x3) & exists u ( OtherRelationshipTriple(u, x2, x3) & ClassificationOfRelationship(u, x1) ) . LocationOfActivity(x1, x2) <-> Activity(x1) & SpatialLocation(x2) & InstanceOfRelation(ActivityLocation, x1, x2) . BeginningEndOfIndividual(x1, x2, x3) <-> PossibleIndividual(x1) & RepresentationOfGregorianDateAndUtcTime(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & exists u ( PointInTime(u) & BeginningTemplate(u, x1) & ClassOfRepresentationOfThingTemplate(x2, u) ) & exists u ( PointInTime(u) & EndingTemplate(u, x1) & ClassOfRepresentationOfThingTemplate(x3, u) ) . BeginningEndLocationOfActivity(x1, x2, x3, x4) <-> Activity(x1) & RepresentationOfGregorianDateAndUtcTime(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & SpatialLocation(x4) & BeginningEndOfIndividual(x1, x2, x3) & LocationOfActivity(x1, x4) . % % Templates for classes % ClassificationOfClass(x1, x2) <-> Class(x1) & ClassOfClass(x2) & ClassificationTemplate(x1, x2) . ClassificationOfClassOfIndividual(x1, x2) <-> ClassOfIndividual(x1) & ClassOfClassOfIndividual(x2) & ClassificationOfClass(x1, x2) . ClassificationOfClassOfRelationship(x1, x2) <-> ClassOfRelationship(x1) & ClassOfClassOfRelationship(x2) & ClassificationOfClass(x1, x2) . RelationOfIndividualsToIndividuals(x) <-> ClassOfRelationship(x) & exists y1 exists y2 ( entityTriple(x, y1, y2) & ClassOfIndividual(y1) & ClassOfIndividual(y2)) . SpecializationOfIndividualRelation(x1, x2) <-> ClassOfRelationship(x1) & ClassOfRelationship(x2) & RelationOfIndividualsToIndividuals(x1) & RelationOfIndividualsToIndividuals(x2) & SpecializationTemplate(x1, x2) . PropertyRangeRestrictionOfClass(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfIndirectProperty(x2) & PropertyRange(x3) & exists u ( ClassOfIndirectPropertyTriple(u, x1, x3) & SpecializationAsEnd2UniversalRestriction(u, x2) ) . MagnitudeOfProperty(x1, x2, x3) <-> Property(x1) & ArithmeticNumber(x2) & Scale(x3) & exists u (PropertyQuantificationTriple(u, x1, x2) & ClassificationTemplate(u, x3)) . LowerUpperMagnitudeOfPropertyRange(x1, x2, x3, x4) <-> PropertyRange(x1) & Scale(x2) & ArithmeticNumber(x3) & ArithmeticNumber(x4) & exists y1 exists y2 ( LowerUpperOfPropertyRange(x1, y1, y2) & MagnitudeOfProperty(y1, x3, x2) & MagnitudeOfProperty(y2, x4, x2) ) . LowerUpperOfPropertyRange(x1, x2, x3) <-> PropertyRange(x1) & Property(x2) & Property(x3) & LowerBoundOfPropertyRangeTemplate(x2, x1) & UpperBoundOfPropertyRangeTemplate(x3, x1) . SpecializationAsEnd1UniversalRestriction(x1, x2) <-> ClassOfRelationship(x1) & ClassOfRelationship(x2) & exists y ( SpecializationTriple(y, x1, x2) & ClassificationTemplate(y, End1UniversalRestriction) ) . SpecializationAsEnd2UniversalRestriction(x1, x2) <-> ClassOfRelationship(x1) & ClassOfRelationship(x2) & exists y ( SpecializationTriple(y, x1, x2) & ClassificationTemplate(y, End2UniversalRestriction) ) . CardinalityMin(x1, x2) <-> Cardinality(x1) & INTEGER(x2) & hasMinimumCardinality(x1, x2) . CardinalityMax(x1, x2) <-> Cardinality(x1) & INTEGER(x2) & hasMaximumCardinality(x1, x2) . CardinalityMinMax(x1, x2, x3) <-> Cardinality(x1) & INTEGER(x2) & INTEGER(x3) & CardinalityMin(x1, x2) & CardinalityMax(x1, x3) . CardinalityEnd1Min(x1, x2) <-> ClassOfRelationship(x1) & INTEGER(x2) & exists u(CardinalityMin(u, x2) & hasEnd1Cardinality(x1, u)) . CardinalityEnd1Max(x1, x2) <-> ClassOfRelationship(x1) & INTEGER(x2) & exists u(CardinalityMax(u, x2) & hasEnd1Cardinality(x1, u)) . CardinalityEnd1MinMax(x1, x2, x3) <-> ClassOfRelationship(x1) & INTEGER(x2) & INTEGER(x3) & exists u(CardinalityMinMax(u, x2, x3) & hasEnd1Cardinality(x1, u)) . CardinalityEnd2Min(x1, x2) <-> ClassOfRelationship(x1) & INTEGER(x2) & exists u(CardinalityMin(u, x2) & hasEnd2Cardinality(x1, u)) . CardinalityEnd2Max(x1, x2) <-> ClassOfRelationship(x1) & INTEGER(x2) & exists u(CardinalityMax(u, x2) & hasEnd2Cardinality(x1, u)) . CardinalityEnd2MinMax(x1, x2, x3) <-> ClassOfRelationship(x1) & INTEGER(x2) & INTEGER(x3) & exists u(CardinalityMinMax(u, x2, x3) & hasEnd2Cardinality(x1, u)) . SymbolOfScale(x1,x2) <-> Scale(x1) & ExpressString(x2) & ClassifiedIdentification(x1, x2, UomSymbolAssignment) . DimensionUnitNumberRangeOfScale(x1, x2, x3, x4) <-> Scale(x1) & ExpressString(x2) & SinglePropertyDimension(x3) & NumberRange(x4) & SymbolOfScale(x1, x2) & ScaleTriple(x1, x4, x3) . LowerUpperOfNumberRange(x1, x2, x3) <-> NumberRange(x1) & ArithmeticNumber(x2) & ArithmeticNumber(x3) & LowerBoundOfNumberRangeTemplate(x2, x1) & UpperBoundOfNumberRangeTemplate(x3, x1) . % % Additional templates % PropertyRangeMagnitudeRestrictionOfClass(x1, x2, x3, x4, x5) <-> ClassOfIndividual(x1) & ClassOfIndirectProperty(x2) & Scale(x3) & ExpressReal(x4) & ExpressReal(x5) & exists u (PropertyRangeRestrictionOfClass(x1, x2, u) & exists y1 exists y2 ( IdentificationByNumber(x4, y1) & IdentificationByNumber(x5, y2) & LowerUpperMagnitudeOfPropertyRange(u, x3, y1, y2))) . TimeRepresentation(x1, x2, x3, x4, x5, x6, x7) <-> RepresentationOfGregorianDateAndUtcTime(x1) & INTEGER(x2) & INTEGER(x3) & INTEGER(x4) & INTEGER(x5) & INTEGER(x6) & REAL(x7) & hasYear(x1, x2) & hasMonth(x1, x3) & hasDay(x1, x4) & hasHour(x1, x5) & hasMinute(x1, x6) & hasSecond(x1, x7) .