ISO 15926-2 data model in FOL

latest update: 2019-11-28    

Universe axiom


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)

Abstract axioms

AbstractObject(x) → (Class(x) V MultidimensionalObject(x) V Relationship(x))
ClassOfAbstractObject(x) →
(ClassOfClass(x) V ClassOfMultidimensionalObject(x) V ClassOfRelationship(x))
ClassOfConnectionOfIndividual(x) → (ClassOfDirectConnection(x) V ClassOfIndirectConnection(x))
ClassOfExpressInformationRepresentation(x) → (ExpressBinary(x) V ExpressBoolean(x) V ExpressInteger(x) V ExpressLogical(x) V ExpressReal(x) V ExpressString(x))
Namespace(x) → (LeftNamespace(x) V RightNamespace(x))
Relationship(x) → (Approval(x) V CauseOfEvent(x) V ClassOfRelationshipWithSignature(x) V Classification(x) V ComparisonOfProperty(x) V CompositionOfIndividual(x) V ConnectionOfIndividual(x) V FunctionalMapping(x) V IndirectProperty(x) V IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x))
TemporalBounding(x) → (Beginning(x) V Ending(x))
Thing(x) → (AbstractObject(x) V PossibleIndividual(x))

Disjoint axioms

¬(IntegerNumber(x) Ʌ (MultidimensionalNumber(x)))
¬(RealNumber(x) Ʌ (IntegerNumber(x) V MultidimensionalNumber(x)))
¬(AssemblyOfIndividual(x) Ʌ (FeatureWholePart(x)))
¬(ClassOfIndividual(x) Ʌ (ClassOfAbstractObject(x)))
¬(ClassOfAtom(x) Ʌ (ClassOfBiologicalMatter(x) V ClassOfCompositeMaterial(x) V ClassOfCompound(x) V ClassOfFunctionalObject(x) V ClassOfInformationPresentation(x) V ClassOfInformationRepresentation(x) V ClassOfMolecule(x) V ClassOfParticulateMaterial(x) V ClassOfSubAtomicParticle(x) V CrystallineStructure(x) V Phase(x)))
¬(ClassOfBiologicalMatter(x) Ʌ (ClassOfCompositeMaterial(x) V ClassOfCompound(x) V ClassOfFunctionalObject(x) V ClassOfInformationPresentation(x) V ClassOfInformationRepresentation(x) V ClassOfMolecule(x) V ClassOfParticulateMaterial(x) V ClassOfSubAtomicParticle(x) V CrystallineStructure(x) V Phase(x)))
¬(ClassOfCompositeMaterial(x) Ʌ (ClassOfCompound(x) V ClassOfFunctionalObject(x) V ClassOfInformationPresentation(x) V ClassOfInformationRepresentation(x) V ClassOfMolecule(x) V ClassOfParticulateMaterial(x) V ClassOfSubAtomicParticle(x) V CrystallineStructure(x) V Phase(x)))
¬(ClassOfCompound(x) Ʌ (ClassOfFunctionalObject(x) V ClassOfInformationPresentation(x) V ClassOfInformationRepresentation(x) V ClassOfMolecule(x) V ClassOfParticulateMaterial(x) V ClassOfSubAtomicParticle(x) V CrystallineStructure(x) V Phase(x)))
¬(ClassOfFunctionalObject(x) Ʌ (ClassOfInformationPresentation(x) V ClassOfInformationRepresentation(x) V ClassOfMolecule(x) V ClassOfParticulateMaterial(x) V ClassOfSubAtomicParticle(x) V CrystallineStructure(x) V Phase(x)))
¬(ClassOfInformationPresentation(x) Ʌ (ClassOfInformationRepresentation(x) V ClassOfMolecule(x) V ClassOfParticulateMaterial(x) V ClassOfSubAtomicParticle(x) V CrystallineStructure(x) V Phase(x)))
¬(ClassOfInformationRepresentation(x) Ʌ (ClassOfMolecule(x) V ClassOfParticulateMaterial(x) V ClassOfSubAtomicParticle(x) V CrystallineStructure(x) V Phase(x)))
¬(ClassOfMolecule(x) Ʌ (ClassOfParticulateMaterial(x) V ClassOfSubAtomicParticle(x) V CrystallineStructure(x) V Phase(x)))
¬(ClassOfParticulateMaterial(x) Ʌ (ClassOfSubAtomicParticle(x) V CrystallineStructure(x) V Phase(x)))
¬(ClassOfSubAtomicParticle(x) Ʌ (CrystallineStructure(x) V Phase(x)))
¬(CrystallineStructure(x) Ʌ (Phase(x)))
¬(ClassOfOrganism(x) Ʌ (ClassOfInanimatePhysicalObject(x)))
¬(ClassOfAssemblyOfIndividual(x) Ʌ (Namespace(x)))
¬(ClassOfFeatureWholePart(x) Ʌ (ClassOfAssemblyOfIndividual(x) V Namespace(x)))
¬(ArithmeticNumber(x) Ʌ (ClassOfClassOfIndividual(x) V ClassOfClassOfRelationship(x) V ClassOfNumber(x) V ClassOfPropertySpace(x) V ClassOfShapeDimension(x)))
¬(ClassOfClassOfIndividual(x) Ʌ (ClassOfClassOfRelationship(x) V ClassOfNumber(x) V ClassOfPropertySpace(x) V ClassOfShapeDimension(x)))
¬(ClassOfClassOfRelationship(x) Ʌ (ClassOfNumber(x) V ClassOfPropertySpace(x) V ClassOfShapeDimension(x)))
¬(ClassOfNumber(x) Ʌ (ClassOfPropertySpace(x) V ClassOfShapeDimension(x)))
¬(ClassOfPropertySpace(x) Ʌ (ClassOfShapeDimension(x)))
¬(ClassOfClassOfInformationRepresentation(x) Ʌ (ClassOfProperty(x) V ClassOfStatus(x) V ShapeDimension(x)))
¬(ClassOfProperty(x) Ʌ (ClassOfStatus(x) V ShapeDimension(x)))
¬(ClassOfStatus(x) Ʌ (ShapeDimension(x)))
¬(Language(x) Ʌ (DocumentDefinition(x)))
¬(RepresentationForm(x) Ʌ (DocumentDefinition(x) V Language(x)))
¬(ClassOfClassOfComposition(x) Ʌ (ClassOfClassOfRelationshipWithSignature(x) V ClassOfClassOfRepresentation(x) V ClassOfClassOfRepresentationTranslation(x) V ClassOfClassOfResponsibilityForRepresentation(x) V ClassOfClassOfUsageOfRepresentation(x) V ClassOfDimensionForShape(x) V ClassOfNamespace(x) V ClassOfScale(x) V DimensionOfShape(x) v PropertySpaceForClassOfShapeDimension(x)))
¬(ClassOfClassOfRelationshipWithSignature(x) Ʌ (ClassOfClassOfRepresentation(x) V ClassOfClassOfRepresentationTranslation(x) V ClassOfClassOfResponsibilityForRepresentation(x) V ClassOfClassOfUsageOfRepresentation(x) V ClassOfDimensionForShape(x) V ClassOfNamespace(x) V ClassOfScale(x) V DimensionOfShape(x) V PropertySpaceForClassOfShapeDimension(x)))
¬(ClassOfClassOfRepresentation(x) Ʌ (ClassOfClassOfRepresentationTranslation(x) V ClassOfClassOfResponsibilityForRepresentation(x) V ClassOfClassOfUsageOfRepresentation(x) V ClassOfDimensionForShape(x) V ClassOfNamespace(x) V ClassOfScale(x) V DimensionOfShape(x) V PropertySpaceForClassOfShapeDimension(x)))
¬(ClassOfClassOfRepresentationTranslation(x) Ʌ (ClassOfClassOfResponsibilityForRepresentation(x) V ClassOfClassOfUsageOfRepresentation(x) V ClassOfDimensionForShape(x) V ClassOfNamespace(x) V ClassOfScale(x) V DimensionOfShape(x) V PropertySpaceForClassOfShapeDimension(x)))
¬(ClassOfClassOfResponsibilityForRepresentation(x) Ʌ (ClassOfClassOfUsageOfRepresentation(x) V ClassOfDimensionForShape(x) V ClassOfNamespace(x) V ClassOfScale(x) V DimensionOfShape(x) V PropertySpaceForClassOfShapeDimension(x)))
¬(ClassOfClassOfUsageOfRepresentation(x) Ʌ (ClassOfDimensionForShape(x) V ClassOfNamespace(x) V ClassOfScale(x) V DimensionOfShape(x) V PropertySpaceForClassOfShapeDimension(x)))
¬(ClassOfDimensionForShape(x) Ʌ (ClassOfNamespace(x) V ClassOfScale(x) V DimensionOfShape(x) V PropertySpaceForClassOfShapeDimension(x)))
¬(ClassOfNamespace(x) Ʌ (ClassOfScale(x) V DimensionOfShape(x) V PropertySpaceForClassOfShapeDimension(x)))
¬(ClassOfScale(x) Ʌ (DimensionOfShape(x) V PropertySpaceForClassOfShapeDimension(x)))
¬(DimensionOfShape(x) Ʌ (PropertySpaceForClassOfShapeDimension(x)))
¬(ClassOfArrangementOfIndividual(x) Ʌ (ClassOfParticipation(x) V ClassOfTemporalWholePart(x)))
¬(ClassOfTemporalWholePart(x) Ʌ (ClassOfParticipation(x)))
¬(ClassOfDirectConnection(x) Ʌ (ClassOfIndirectConnection(x)))
¬(ExpressBoolean(x) Ʌ (ExpressBinary(x)))
¬(ExpressInteger(x) Ʌ (ExpressBinary(x) V ExpressBoolean(x) V ExpressLogical(x) V ExpressReal(x)))
¬(ExpressLogical(x) Ʌ (ExpressBinary(x) V ExpressBoolean(x)))
¬(ExpressReal(x) Ʌ (ExpressBinary(x) V ExpressBoolean(x) V ExpressLogical(x)))
¬(ExpressString(x) Ʌ (ExpressBinary(x) V ExpressBoolean(x) V ExpressInteger(x) V ExpressLogical(x) V ExpressReal(x)))
¬(ClassOfArrangedIndividual(x) Ʌ (ClassOfPeriodInTime(x) V IndividualDimension(x) V Property(x) V Status(x)))
¬(ClassOfEvent(x) Ʌ (ClassOfArrangedIndividual(x) V ClassOfPeriodInTime(x) V IndividualDimension(x) V Property(x) V Status(x)))
¬(ClassOfPeriodInTime(x) Ʌ (IndividualDimension(x) V Property(x) V Status(x)))
¬(IndividualDimension(x) Ʌ (Property(x) V 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) V ClassOfAssertion(x) V ClassOfCauseOfBeginningOfClassOfIndividual(x) V ClassOfCauseOfEndingOfClassOfIndividual(x) V ClassOfClassification(x) V ClassOfCompositionOfIndividual(x) V ClassOfConnectionOfIndividual(x) V ClassOfFunctionalMapping(x) V ClassOfIndirectProperty(x) V ClassOfIndividualUsedInConnection(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfApprovalByStatus(x) Ʌ (ClassOfAssertion(x) V ClassOfCauseOfBeginningOfClassOfIndividual(x) V ClassOfCauseOfEndingOfClassOfIndividual(x) V ClassOfClassification(x) V ClassOfCompositionOfIndividual(x) V ClassOfConnectionOfIndividual(x) V ClassOfFunctionalMapping(x) V ClassOfIndirectProperty(x) V ClassOfIndividualUsedInConnection(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfAssertion(x) Ʌ (ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfCauseOfBeginningOfClassOfIndividual(x) Ʌ (ClassOfAssertion(x) V ClassOfCauseOfEndingOfClassOfIndividual(x) V ClassOfClassification(x) V ClassOfCompositionOfIndividual(x) V ClassOfConnectionOfIndividual(x) V ClassOfFunctionalMapping(x) V ClassOfIndirectProperty(x) V ClassOfIndividualUsedInConnection(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfCauseOfEndingOfClassOfIndividual(x) Ʌ (ClassOfAssertion(x) V ClassOfClassification(x) V ClassOfCompositionOfIndividual(x) V ClassOfConnectionOfIndividual(x) V ClassOfFunctionalMapping(x) V ClassOfIndirectProperty(x) V ClassOfIndividualUsedInConnection(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfClassification(x) Ʌ (ClassOfAssertion(x) V ClassOfCompositionOfIndividual(x) V ClassOfConnectionOfIndividual(x) V ClassOfFunctionalMapping(x) V ClassOfIndirectProperty(x) V ClassOfIndividualUsedInConnection(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfCompositionOfIndividual(x) Ʌ (ClassOfAssertion(x) V ClassOfConnectionOfIndividual(x) V ClassOfFunctionalMapping(x) V ClassOfIndirectProperty(x) V ClassOfIndividualUsedInConnection(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V
ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfConnectionOfIndividual(x) Ʌ (ClassOfAssertion(x) V ClassOfFunctionalMapping(x) V ClassOfIndirectProperty(x) V ClassOfIndividualUsedInConnection(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfFunctionalMapping(x) Ʌ (ClassOfAssertion(x) V ClassOfIndirectProperty(x) V ClassOfIndividualUsedInConnection(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfIndirectProperty(x) Ʌ (ClassOfAssertion(x) V ClassOfIndividualUsedInConnection(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V
ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfIndividualUsedInConnection(x) Ʌ (ClassOfAssertion(x) V ClassOfIntendedRoleAndDomain(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V
ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V  ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfIntendedRoleAndDomain(x) Ʌ (ClassOfAssertion(x) V ClassOfInvolvementByReference(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V
ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfInvolvementByReference(x) Ʌ (ClassOfAssertion(x) V ClassOfLifecycleStage(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V
ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V
ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfLifecycleStage(x) Ʌ (ClassOfAssertion(x) V ClassOfPossibleRoleAndDomain(x) V ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V
ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V
ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfPossibleRoleAndDomain(x) Ʌ (ClassOfRecognition(x) V ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V
ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfRecognition(x) Ʌ (ClassOfRelationshipWithSignature(x) V ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfRelationshipWithSignature(x) Ʌ (ClassOfRelativeLocation(x) V ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfRelativeLocation(x)Ʌ(ClassOfRepresentationOfThing(x) V ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V
ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfRepresentationOfThing(x) Ʌ (ClassOfRepresentationTranslation(x) V ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfRepresentationTranslation(x) Ʌ (ClassOfResponsibilityForRepresentation(x) V ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfResponsibilityForRepresentation(x) Ʌ (ClassOfSpecialization(x) V ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfSpecialization(x) Ʌ (ClassOfTemporalSequence(x) V ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfTemporalSequence(x) Ʌ (ClassOfUsageOfRepresentation(x) V DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(ClassOfUsageOfRepresentation(x) Ʌ (DimensionOfIndividual(x) V PropertyForShapeDimension(x)))
¬(DimensionOfIndividual(x) Ʌ (PropertyForShapeDimension(x)))
¬(ClassOfRelationshipWithRelatedEnd1(x) Ʌ (ClassOfRelationshipWithRelatedEnd2(x)))
¬(ArrangementOfIndividual(x) Ʌ (Participation(x) V TemporalBounding(x) V TemporalWholePart(x)))
¬(Participation(x) Ʌ (TemporalBounding(x)))
¬(TemporalWholePart(x) Ʌ (Participation(x) V TemporalBounding(x)))
¬(DirectConnection(x) Ʌ (IndirectConnection(x)))
¬(MultidimensionalNumber(x) Ʌ (MultidimensionalNumberSpace(x) V MultidimensionalProperty(x) V MultidimensionalScale(x)))
¬(MultidimensionalNumberSpace(x) Ʌ (MultidimensionalScale(x)))
¬(MultidimensionalProperty(x) Ʌ (MultidimensionalNumberSpace(x) V MultidimensionalScale(x)))
¬(MultidimensionalPropertySpace(x) Ʌ (MultidimensionalNumber(x) V MultidimensionalNumberSpace(x) V MultidimensionalProperty(x) V MultidimensionalScale(x)))
¬(RightNamespace(x) Ʌ (LeftNamespace(x)))
¬(NumberRange(x) Ʌ (MultidimensionalNumberSpace(x)))
¬(Approval(x) Ʌ (CauseOfEvent(x) V ClassOfRelationshipWithSignature(x) V Classification(x) V ComparisonOfProperty(x) V CompositionOfIndividual(x) V ConnectionOfIndividual(x) V FunctionalMapping(x) V IndirectProperty(x) V IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x)VSpecialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(CauseOfEvent(x) Ʌ (ClassOfRelationshipWithSignature(x) V Classification(x) V ComparisonOfProperty(x) V CompositionOfIndividual(x) V ConnectionOfIndividual(x) V FunctionalMapping(x) V IndirectProperty(x) V IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(ClassOfRelationshipWithSignature(x) Ʌ (Classification(x) V ComparisonOfProperty(x) V CompositionOfIndividual(x) V ConnectionOfIndividual(x) V FunctionalMapping(x) V IndirectProperty(x) V IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(Classification(x)Ʌ(ComparisonOfProperty(x) V CompositionOfIndividual(x) V ConnectionOfIndividual(x) V FunctionalMapping(x) V IndirectProperty(x) V IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) VTemporalSequence(x) V UsageOfRepresentation(x)))
¬(ComparisonOfProperty(x) Ʌ (CompositionOfIndividual(x) V ConnectionOfIndividual(x) V FunctionalMapping(x) V IndirectProperty(x) V IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(CompositionOfIndividual(x) Ʌ (ConnectionOfIndividual(x) V FunctionalMapping(x) V IndirectProperty(x) V IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(ConnectionOfIndividual(x) Ʌ (FunctionalMapping(x) V IndirectProperty(x) V IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(FunctionalMapping(x) Ʌ (IndirectProperty(x) V IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(IndirectProperty(x) Ʌ (IndividualUsedInConnection(x) V IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(IndividualUsedInConnection(x) Ʌ (IntendedRoleAndDomain(x) V InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(IntendedRoleAndDomain(x) Ʌ (InvolvementByReference(x) V LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(InvolvementByReference(x) Ʌ (LifecycleStage(x) V OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V
Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(LifecycleStage(x) Ʌ (OtherRelationship(x) V PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(OtherRelationship(x) Ʌ (PossibleRoleAndDomain(x) V Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(PossibleRoleAndDomain(x) Ʌ (Recognition(x) V RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(Recognition(x) Ʌ (RelativeLocation(x) V RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(RelativeLocation(x) Ʌ (RepresentationOfThing(x) V ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(RepresentationOfThing(x) Ʌ (ResponsibilityForRepresentation(x) V Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(ResponsibilityForRepresentation(x) Ʌ (Specialization(x) V TemporalSequence(x) V UsageOfRepresentation(x)))
¬(Specialization(x) Ʌ (TemporalSequence(x) V UsageOfRepresentation(x)))
¬(TemporalSequence(x) Ʌ (UsageOfRepresentation(x)))
¬(BoundaryOfNumberSpace(x) Ʌ (BoundaryOfPropertySpace(x) V SpecializationByDomain(x) V SpecializationByRole(x) V SpecializationOfIndividualDimensionFromProperty(x)))
¬(BoundaryOfPropertySpace(x) Ʌ (SpecializationByDomain(x) V SpecializationByRole(x) V SpecializationOfIndividualDimensionFromProperty(x)))
¬(SpecializationByDomain(x) Ʌ (SpecializationByRole(x) V SpecializationOfIndividualDimensionFromProperty(x)))
¬(SpecializationByRole(x) Ʌ (SpecializationOfIndividualDimensionFromProperty(x)))
¬(Ending(x) Ʌ (Beginning(x)))
¬(PossibleIndividual(x) Ʌ (AbstractObject(x)))

Role axioms

hasApproved(x; y) → (Approval(x))
Approval(x) Ʌ hasApproved(x; y) → Relationship(y)
Approval(x) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝy(hasClassOfBegun(x; y))
ClassOfCauseOfBeginningOfClassOfIndividual(x) Ʌ hasClassOfBegun(x; y) Ʌ hasClassOfBegun(x; z) → y = z
hasClassOfCauser(x; y) → (ClassOfCauseOfBeginningOfClassOfIndividual(x) V ClassOfCauseOfEndingOfClassOfIndividual(x))
ClassOfCauseOfBeginningOfClassOfIndividual(x) Ʌ hasClassOfCauser(x; y) → ClassOfActivity(y)
ClassOfCauseOfBeginningOfClassOfIndividual(x) → Ǝy(hasClassOfCauser(x; y))
ClassOfCauseOfBeginningOfClassOfIndividual(x)ɅhasClassOfCauser(x; y)ɅhasClassOfCauser(x; z) → y = z
ClassOfCauseOfEndingOfClassOfIndividual(x) Ʌ hasClassOfCauser(x; y) → ClassOfActivity(y)
ClassOfCauseOfEndingOfClassOfIndividual(x) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝy(hasClassOfClassOfUsed(x; y))
ClassOfClassOfUsageOfRepresentation(x) Ʌ hasClassOfClassOfUsed(x; y) Ʌ hasClassOfClassOfUsed(x; z) → y = z
hasClassOfClassOfWhole(x; y) → (ClassOfClassOfComposition(x) V ClassOfNamespace(x))
ClassOfClassOfComposition(x) Ʌ hasClassOfClassOfWhole(x; y) → ClassOfClassOfIndividual(y)
ClassOfClassOfComposition(x) → Ǝy(hasClassOfClassOfWhole(x; y))
ClassOfClassOfComposition(x) Ʌ hasClassOfClassOfWhole(x; y) Ʌ hasClassOfClassOfWhole(x; z) → y = z
ClassOfNamespace(x) Ʌ hasClassOfClassOfWhole(x; y) → ClassOfClassOfInformationRepresentation(y)
ClassOfNamespace(x) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝy(hasClassOfEnded(x; y))
ClassOfCauseOfEndingOfClassOfIndividual(x) Ʌ hasClassOfEnded(x; y) Ʌ hasClassOfEnded(x; z) → y = z
hasClassOfFirst(x; y) → (ClassOfClassOfRepresentationTranslation(x) V ClassOfRepresentationTranslation(x))
ClassOfClassOfRepresentationTranslation(x) Ʌ hasClassOfFirst(x; y) → ClassOfClassOfInformationRepresentation(y)
ClassOfClassOfRepresentationTranslation(x) → Ǝy(hasClassOfFirst(x; y))
ClassOfClassOfRepresentationTranslation(x) Ʌ hasClassOfFirst(x; y) Ʌ hasClassOfFirst(x; z) → y = z
ClassOfRepresentationTranslation(x) Ʌ hasClassOfFirst(x; y) → ClassOfInformationRepresentation(y)
ClassOfRepresentationTranslation(x) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝy(hasClassOfLocator(x; y))
ClassOfRelativeLocation(x) Ʌ hasClassOfLocator(x; y) Ʌ hasClassOfLocator(x; z) → y = z
hasClassOfPart(x; y) → (ClassOfCompositionOfIndividual(x) V ClassOfNamespace(x))
ClassOfCompositionOfIndividual(x) Ʌ hasClassOfPart(x; y) → ClassOfIndividual(y)
ClassOfCompositionOfIndividual(x) → Ǝy(hasClassOfPart(x; y))
ClassOfCompositionOfIndividual(x) Ʌ hasClassOfPart(x; y) Ʌ hasClassOfPart(x; z) → y = z
ClassOfNamespace(x) Ʌ hasClassOfPart(x; y) → ClassOfInformationRepresentation(y)
ClassOfNamespace(x) → Ǝ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) → Ǝy(hasClassOfPattern(x; y))
ClassOfClassOfRepresentation(x) Ʌ hasClassOfPattern(x; y) Ʌ hasClassOfPattern(x; z) → y = z
hasClassOfPlayer(x; y) → (ClassOfIntendedRoleAndDomain(x) V ClassOfPossibleRoleAndDomain(x))
ClassOfIntendedRoleAndDomain(x) Ʌ hasClassOfPlayer(x; y) → ClassOfIndividual(y)
ClassOfIntendedRoleAndDomain(x) → Ǝy(hasClassOfPlayer(x; y))
ClassOfIntendedRoleAndDomain(x) Ʌ hasClassOfPlayer(x; y) Ʌ hasClassOfPlayer(x; z) → y = z
ClassOfPossibleRoleAndDomain(x) Ʌ hasClassOfPlayer(x; y) → ClassOfIndividual(y)
ClassOfPossibleRoleAndDomain(x) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝy(hasClassOfRepresented(x; y))
ClassOfClassOfRepresentation(x) Ʌ hasClassOfRepresented(x; y) Ʌ hasClassOfRepresented(x; z) → y = z
hasClassOfSecond(x; y) → (ClassOfClassOfRepresentationTranslation(x) V ClassOfRepresentationTranslation(x))
ClassOfClassOfRepresentationTranslation(x) Ʌ hasClassOfSecond(x; y) → ClassOfClassOfInformationRepresentation(y)
ClassOfClassOfRepresentationTranslation(x) → Ǝy(hasClassOfSecond(x; y))
ClassOfClassOfRepresentationTranslation(x) Ʌ hasClassOfSecond(x; y) Ʌ hasClassOfSecond(x; z) → y = z
ClassOfRepresentationTranslation(x) Ʌ hasClassOfSecond(x; y) → ClassOfInformationRepresentation(y)
ClassOfRepresentationTranslation(x) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝy(hasConnection(x; y))
IndividualUsedInConnection(x) Ʌ hasConnection(x; y) Ʌ hasConnection(x; z) → y = z
hasContent(x; y) → (ExpressBinary(x) V ExpressBoolean(x) V ExpressInteger(x) V ExpressLogical(x) V ExpressReal(x) V ExpressString(x))
ExpressBinary(x) Ʌ hasContent(x; y) → BINARY(y)
ExpressBinary(x) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝy(hasControlled(x; y))
ResponsibilityForRepresentation(x) Ʌ hasControlled(x; y) Ʌ hasControlled(x; z) → y = z
hasController(x; y) → (ClassOfClassOfResponsibilityForRepresentation(x) V ClassOfResponsibilityForRepresentation(x) V ResponsibilityForRepresentation(x))
ClassOfClassOfResponsibilityForRepresentation(x) Ʌ hasController(x; y) → PossibleIndividual(y)
ClassOfClassOfResponsibilityForRepresentation(x) → Ǝy(hasController(x; y))
ClassOfClassOfResponsibilityForRepresentation(x) Ʌ hasController(x; y) Ʌ hasController(x; z) → y = z
ClassOfResponsibilityForRepresentation(x) Ʌ hasController(x; y) → PossibleIndividual(y)
ClassOfResponsibilityForRepresentation(x) → Ǝy(hasController(x; y))
ClassOfResponsibilityForRepresentation(x) Ʌ hasController(x; y) Ʌ hasController(x; z) → y = z
ResponsibilityForRepresentation(x) Ʌ hasController(x; y) → PossibleIndividual(y)
ResponsibilityForRepresentation(x) → Ǝ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) → Ǝ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) → Ǝy(hasDomain(x; y))
ClassOfFunctionalMapping(x) Ʌ hasDomain(x; y) Ʌ hasDomain(x; z) → y = z
hasElements(x; y) → (MultidimensionalObject(x))
MultidimensionalObject(x) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝy(hasPattern(x; y))
ClassOfRepresentationOfThing(x) Ʌ hasPattern(x; y) Ʌ hasPattern(x; z) → y = z
hasPlayed(x; y) → (ClassOfIntendedRoleAndDomain(x) V ClassOfPossibleRoleAndDomain(x) V IntendedRoleAndDomain(x) V PossibleRoleAndDomain(x))
ClassOfIntendedRoleAndDomain(x) Ʌ hasPlayed(x; y) → RoleAndDomain(y)
ClassOfIntendedRoleAndDomain(x) → Ǝy(hasPlayed(x; y))
ClassOfIntendedRoleAndDomain(x) Ʌ hasPlayed(x; y) Ʌ hasPlayed(x; z) → y = z
ClassOfPossibleRoleAndDomain(x) Ʌ hasPlayed(x; y) → RoleAndDomain(y)
ClassOfPossibleRoleAndDomain(x) → Ǝy(hasPlayed(x; y))
ClassOfPossibleRoleAndDomain(x) Ʌ hasPlayed(x; y) Ʌ hasPlayed(x; z) → y = z
IntendedRoleAndDomain(x) Ʌ hasPlayed(x; y) → RoleAndDomain(y)
IntendedRoleAndDomain(x) → Ǝy(hasPlayed(x; y))
IntendedRoleAndDomain(x) Ʌ hasPlayed(x; y) Ʌ hasPlayed(x; z) → y = z
PossibleRoleAndDomain(x) Ʌ hasPlayed(x; y) → RoleAndDomain(y)
PossibleRoleAndDomain(x) → Ǝy(hasPlayed(x; y))
PossibleRoleAndDomain(x) Ʌ hasPlayed(x; y) Ʌ hasPlayed(x; z) → y = z
hasPlayer(x; y) → (IntendedRoleAndDomain(x) V PossibleRoleAndDomain(x))
IntendedRoleAndDomain(x) Ʌ hasPlayer(x; y) → PossibleIndividual(y)
IntendedRoleAndDomain(x) → Ǝy(hasPlayer(x; y))
IntendedRoleAndDomain(x) Ʌ hasPlayer(x; y) Ʌ hasPlayer(x; z) → y = z
PossibleRoleAndDomain(x) Ʌ hasPlayer(x; y) → PossibleIndividual(y)
PossibleRoleAndDomain(x) → Ǝ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) → Ǝ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) → Ǝy(hasPredecessor(x; y))
TemporalSequence(x) Ʌ hasPredecessor(x; y) Ʌ hasPredecessor(x; z) → y = z
hasProperty(x; y) → (IndirectProperty(x) V PropertyForShapeDimension(x))
IndirectProperty(x) Ʌ hasProperty(x; y) → Property(y)
IndirectProperty(x) → Ǝy(hasProperty(x; y))
IndirectProperty(x) Ʌ hasProperty(x; y) Ʌ hasProperty(x; z) → y = z
PropertyForShapeDimension(x) Ʌ hasProperty(x; y) → Property(y)
PropertyForShapeDimension(x) → Ǝy(hasProperty(x; y))
PropertyForShapeDimension(x) Ʌ hasProperty(x; y) Ʌ hasProperty(x; z) → y = z
hasPropertySpace(x; y) → (ClassOfIndirectProperty(x) V PropertySpaceForClassOfShapeDimension(x))
ClassOfIndirectProperty(x) Ʌ hasPropertySpace(x; y) → PropertySpace(y)
ClassOfIndirectProperty(x) → Ǝy(hasPropertySpace(x; y))
ClassOfIndirectProperty(x) Ʌ hasPropertySpace(x; y) Ʌ hasPropertySpace(x; z) → y = z
PropertySpaceForClassOfShapeDimension(x) Ʌ hasPropertySpace(x; y) → PropertySpace(y)
PropertySpaceForClassOfShapeDimension(x) → Ǝ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) → Ǝ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) → Ǝ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) V ClassOfRelationshipWithRelatedEnd2(x))
ClassOfRelationshipWithRelatedEnd1(x) Ʌ hasRelated(x; y) → Thing(y)
ClassOfRelationshipWithRelatedEnd1(x) → Ǝy(hasRelated(x; y))
ClassOfRelationshipWithRelatedEnd1(x) Ʌ hasRelated(x; y) Ʌ hasRelated(x; z) → y = z
ClassOfRelationshipWithRelatedEnd2(x) Ʌ hasRelated(x; y) → Thing(y)
ClassOfRelationshipWithRelatedEnd2(x) → Ǝy(hasRelated(x; y))
ClassOfRelationshipWithRelatedEnd2(x) Ʌ hasRelated(x; y) Ʌ hasRelated(x; z) → y = z
hasRepresented(x; y) → (ClassOfRepresentationOfThing(x) V RepresentationOfThing(x))
ClassOfRepresentationOfThing(x) Ʌ hasRepresented(x; y) → Thing(y)
ClassOfRepresentationOfThing(x) → Ǝy(hasRepresented(x; y))
ClassOfRepresentationOfThing(x) Ʌ hasRepresented(x; y) Ʌ hasRepresented(x; z) → y = z
RepresentationOfThing(x) Ʌ hasRepresented(x; y) → Thing(y)
RepresentationOfThing(x) → Ǝ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) → Ǝy(hasResult(x; y))
FunctionalMapping(x) Ʌ hasResult(x; y) Ʌ hasResult(x; z) → y = z
hasRoles(x; y) → (ClassOfMultidimensionalObject(x))
ClassOfMultidimensionalObject(x) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝ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) → Ǝy(hasUsed(x; y))
UsageOfRepresentation(x) Ʌ hasUsed(x; y) Ʌ hasUsed(x; z) → y = z
hasUser(x; y) → (ClassOfClassOfUsageOfRepresentation(x) V ClassOfUsageOfRepresentation(x) V UsageOfRepresentation(x))
ClassOfClassOfUsageOfRepresentation(x) Ʌ hasUser(x; y) → PossibleIndividual(y)
ClassOfClassOfUsageOfRepresentation(x) → Ǝy(hasUser(x; y))
ClassOfClassOfUsageOfRepresentation(x) Ʌ hasUser(x; y) Ʌ hasUser(x; z) → y = z
ClassOfUsageOfRepresentation(x) Ʌ hasUser(x; y) → PossibleIndividual(y)
ClassOfUsageOfRepresentation(x) → Ǝy(hasUser(x; y))
ClassOfUsageOfRepresentation(x) Ʌ hasUser(x; y) Ʌ hasUser(x; z) → y = z
UsageOfRepresentation(x) Ʌ hasUser(x; y) → PossibleIndividual(y)
UsageOfRepresentation(x) → Ǝ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) → Ǝ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) → Ǝy(hasYear(x; y))
RepresentationOfGregorianDateAndUtcTime(x) Ʌ hasYear(x; y) Ʌ hasYear(x; z) → y = z
B.7 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)
Di erenceOfSetOfClass(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)
Di erenceOfSetOfClass(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)