\begin{longtable}{r@{$\;\;$}c@{$\;\;$}l}
\axiom{\top}{\sqsubseteq}{\forall \property{workTypeID}^{-1}.\concept{WorkType}}
\axiom{\top}{\sqsubseteq}{\forall \property{languageCode}^{-1}.\concept{Language}}
\axiom{\top}{\sqsubseteq}{\forall \property{countryCode}^{-1}.\concept{Country}}
\axiom{\top}{\sqsubseteq}{\forall \property{manifestationTypeID}^{-1}.\concept{ManifestationType}}
\axiom{\top}{\sqsubseteq}{\forall \property{xsdDate}^{-1}.\concept{Date}}
\axiom{\top}{\sqsubseteq}{\forall \property{issueID}^{-1}.\concept{Issue}}
\axiom{\top}{\sqsubseteq}{\forall \property{workTypeID}.\property{xsd:string}}
\axiom{\top}{\sqsubseteq}{\forall \property{languageCode}.\property{xsd:language}}
\axiom{\top}{\sqsubseteq}{\forall \property{countryCode}.\property{xsd:string}}
\axiom{\top}{\sqsubseteq}{\forall \property{manifestationTypeID}.\property{xsd:string}}
\axiom{\top}{\sqsubseteq}{\forall \property{xsdDate}.\property{xsd:date}}
\axiom{\top}{\sqsubseteq}{\forall \property{issueID}.\property{xsd:string}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{identifierComponent}^{-1}.\concept{BibliographicIdentifier}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{result}^{-1}.\concept{Event}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{realizes}^{-1}.\concept{BibliographicExpression}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{exemplifies}^{-1}.\concept{BibliographicItem}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{embodies}^{-1}.\concept{BibliographicManifestation}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{patient}^{-1}.\concept{Event}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{instrument}^{-1}.\concept{Event}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{cites}^{-1}.\concept{BibliographicCitation}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{recipient}^{-1}.\concept{Event}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{records}^{-1}.\concept{BibliographicObject}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{fragment}^{-1}.\concept{Document}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{part}^{-1}.\concept{BibliographicThing}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{represents}^{-1}.\concept{BibliographicObject}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{variant}^{-1}.\concept{BibliographicExpression}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{date}^{-1}.\concept{Event}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{participant}^{-1}.\concept{Event}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{thisRealizes}^{-1}.\concept{BibliographicItem}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{refersTo}^{-1}.\concept{BibliographicReference}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{thisEmbodies}^{-1}.\concept{BibliographicItem}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{temporalFictionOf}^{-1}.\concept{FictionalExpressionCreation}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{component}^{-1}.\concept{CompoundObject}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{agent}^{-1}.\concept{Event}}
\axiom{\concept{Country}}{\equiv}{\exists \property{countryCode}.null}
\axiom{\concept{Author}}{\equiv}{\exists \property{agentOf}.\concept{BibliographicCreation}}
\axiom{\concept{BibliographicModification}}{\equiv}{\exists \property{matter}.\concept{BibliographicObject}}
\axiom{\concept{Editor}}{\equiv}{\exists \property{agentOf}.\concept{Edit}}
\axiom{\concept{EventParticipant}}{\equiv}{\exists \property{participantOf}.\concept{Event}}
\axiom{\concept{BibliographicManifestation}}{\equiv}{\exists \property{exemplifiedBy}.\concept{BibliographicItem}}
\axiom{\concept{BibliographicManifestation}}{\equiv}{\exists \property{embodies}.\concept{BibliographicExpression}}
\axiom{\concept{Matter}}{\equiv}{\exists \property{matterOf}.\concept{BibliographicModification}}
\axiom{\concept{Patient}}{\equiv}{\exists \property{patientOf}.\concept{Event}}
\axiom{\concept{Addressee}}{\equiv}{\exists \property{recipientOf}.\concept{LegislativeCreation}}
\axiom{\concept{BibliographicExpression}}{\equiv}{\exists \property{embodiedBy}.\concept{BibliographicManifestation}}
\axiom{\concept{BibliographicExpression}}{\equiv}{\exists \property{realizes}.\concept{BibliographicWork}}
\axiom{\concept{LegislativeCompetenceGround}}{\equiv}{\exists \property{legislativeCompetenceGroundOf}.\concept{LegislativeCreation}}
\axiom{\concept{WorkType}}{\equiv}{\exists \property{workTypeID}.null}
\axiom{\concept{Legislator}}{\equiv}{\exists \property{agentOf}.\concept{LegislativeCreation}}
\axiom{\concept{BibliographicItem}}{\equiv}{\exists \property{exemplifies}.\concept{BibliographicManifestation}}
\axiom{\concept{BibliographicCitation}}{\equiv}{\exists \property{represents}.\concept{BibliographicIdentifier}}
\axiom{\concept{BibliographicCitation}}{\equiv}{\exists \property{cites}.\concept{CitableBibliographicObject}}
\axiom{\concept{Edit}}{\equiv}{\exists \property{matter}.\concept{BibliographicManifestation}}
\axiom{\concept{Edit}}{\equiv}{\exists \property{result}.\concept{BibliographicManifestation}}
\axiom{\concept{BibliographicCreation}}{\equiv}{\exists \property{result}.\concept{BibliographicObject}}
\axiom{\concept{Recipient}}{\equiv}{\exists \property{recipientOf}.\concept{Event}}
\axiom{\concept{Instrument}}{\equiv}{\exists \property{instrumentOf}.\concept{Event}}
\axiom{\concept{ManifestationType}}{\equiv}{\exists \property{manifestationTypeID}.null}
\axiom{\concept{WorkCreationDate}}{\equiv}{\exists \property{dateOf}.\concept{BibliographicWorkCreation}}
\axiom{\concept{ExpressionCreationDate}}{\equiv}{\exists \property{dateOf}.\concept{BibliographicExpressionCreation}}
\axiom{\concept{Copy}}{\equiv}{\exists \property{result}.\concept{BibliographicItem}}
\axiom{\concept{Copy}}{\equiv}{\exists \property{matter}.\concept{BibliographicItem}}
\axiom{\concept{Event}}{\equiv}{\exists \property{date}.\concept{Date}}
\axiom{\concept{Translator}}{\equiv}{\exists \property{agentOf}.\concept{Translation}}
\axiom{\concept{BibliographicObject}}{\equiv}{\exists \property{resultOf}.\concept{BibliographicCreation}}
\axiom{\concept{LegislativeCreation}}{\equiv}{\exists \property{result}.\concept{BibliographicSourceOfLaw}}
\axiom{\concept{BibliographicWorkCreation}}{\equiv}{\exists \property{result}.\concept{BibliographicWork}}
\axiom{\concept{Language}}{\equiv}{\exists \property{languageCode}.null}
\axiom{\concept{BibliographicReference}}{\equiv}{\exists \property{refersTo}.\concept{Thing}}
\axiom{\concept{Agent}}{\equiv}{\exists \property{agentOf}.\concept{Action}}
\axiom{\concept{Date}}{\equiv}{\exists \property{xsdDate}.null}
\axiom{\concept{Date}}{\equiv}{\exists \property{dateOf}.\concept{Event}}
\axiom{\concept{Issue}}{\equiv}{\exists \property{issueID}.null}
\axiom{\concept{BibliographicWork}}{\equiv}{\exists \property{resultOf}.\concept{BibliographicWorkCreation}}
\axiom{\concept{BibliographicWork}}{\equiv}{\exists \property{realizedBy}.\concept{BibliographicExpression}}
\axiom{\concept{BibliographicIdentifierComponent}}{\equiv}{\exists \property{identifierComponentOf}.\concept{BibliographicIdentifier}}
\axiom{\concept{Result}}{\equiv}{\exists \property{resultOf}.\concept{Event}}
\axiom{\concept{BibliographicSourceOfLaw}}{\equiv}{\exists \property{resultOf}.\concept{LegislativeCreation}}
\axiom{\top }{ \sqsubseteq }{ \leq1~\property{realizes}.\top}
\axiom{\top }{ \sqsubseteq }{ \leq1~\property{exemplifies}.\top}
\axiom{\top }{ \sqsubseteq }{ \leq1~\property{embodies}.\top}
\axiom{\top }{ \sqsubseteq }{ \leq1~\property{cites}.\top}
\axiom{\property{variant}}{ \equiv }{\property{variant}^{-1}}
\axiom{\top }{ \sqsubseteq }{ \leq1~\property{temporalFictionOf}.\top}
\axiom{\concept{CompoundObject}}{ \sqsubseteq }{\concept{BibliographicObject}}
\axiom{\concept{MainComponent}}{ \sqsubseteq }{\forall \property{componentOf}.\concept{Folder}}
\axiom{\concept{MainComponent}}{ \sqsubseteq }{\concept{Component}}
\axiom{\concept{Country}}{ \sqsubseteq }{\concept{BibliographicIdentifierComponent}}
\axiom{\concept{Action}}{ \sqsubseteq }{\exists \property{agent}.\concept{Agent}}
\axiom{\concept{Action}}{ \sqsubseteq }{\concept{Event}}
\axiom{\concept{LegislativePublication}}{ \sqsubseteq }{\exists \property{patient}.\concept{BibliographicSourceOfLaw}}
\axiom{\concept{LegislativePublication}}{ \sqsubseteq }{\concept{LegislativeEvent}}
\axiom{\concept{Author}}{ \sqsubseteq }{\concept{Agent}}
\axiom{\concept{BibliographicModification}}{ \sqsubseteq }{\concept{BibliographicCreation}}
\axiom{\concept{LegislativeEvent}}{ \sqsubseteq }{\concept{Event}}
\axiom{\concept{Editor}}{ \sqsubseteq }{\concept{Author}}
\axiom{\concept{EventParticipant}}{ \sqsubseteq }{\concept{Thing}}
\axiom{\concept{BibliographicManifestation}}{ \sqsubseteq }{\concept{BibliographicObject}}
\axiom{\concept{BibliographicIdentifier}}{ \sqsubseteq }{\concept{BibliographicThing}}
\axiom{\concept{Matter}}{ \sqsubseteq }{\concept{Instrument}}
\axiom{\concept{Patient}}{ \sqsubseteq }{\concept{EventParticipant}}
\axiom{\concept{Addressee}}{ \sqsubseteq }{\concept{Recipient}}
\axiom{\concept{BibliographicExpression}}{ \sqsubseteq }{\concept{CitableBibliographicObject}}
\axiom{\concept{LegislativeCompetenceGround}}{ \sqsubseteq }{\concept{Instrument}}
\axiom{\concept{WorkType}}{ \sqsubseteq }{\concept{BibliographicIdentifierComponent}}
\axiom{\concept{Legislator}}{ \sqsubseteq }{\concept{Author}}
\axiom{\concept{LegislativeModification}}{ \sqsubseteq }{\concept{LegislativeCreation}}
\axiom{\concept{LegislativeModification}}{ \sqsubseteq }{\concept{BibliographicModification}}
\axiom{\concept{LegislativeModification}}{ \sqsubseteq }{\concept{BibliographicExpressionCreation}}
\axiom{\concept{CitableBibliographicObject}}{ \sqsubseteq }{\concept{BibliographicObject}}
\axiom{\concept{LegislativeDelivery}}{ \sqsubseteq }{\concept{LegislativeCreation}}
\axiom{\concept{LegislativeDelivery}}{ \sqsubseteq }{\concept{BibliographicWorkCreation}}
\axiom{\concept{BibliographicItem}}{ \sqsubseteq }{\concept{BibliographicObject}}
\axiom{\concept{FictionalExpressionCreation}}{ \sqsubseteq }{\exists \property{temporalFictionOf}.\concept{Event}}
\axiom{\concept{FictionalExpressionCreation}}{ \sqsubseteq }{\concept{BibliographicExpressionCreation}}
\axiom{\concept{Document}}{ \sqsubseteq }{\concept{BibliographicObject}}
\axiom{\concept{BibliographicCitation}}{ \sqsubseteq }{\concept{BibliographicReference}}
\axiom{\concept{BibliographicExpressionCreation}}{ \sqsubseteq }{\concept{BibliographicCreation}}
\axiom{\concept{BibliographicThing}}{ \sqsubseteq }{\concept{Thing}}
\axiom{\concept{LegislativeCommencement}}{ \sqsubseteq }{\exists \property{patient}.\concept{BibliographicSourceOfLaw}}
\axiom{\concept{LegislativeCommencement}}{ \sqsubseteq }{\concept{LegislativeEvent}}
\axiom{\concept{LegislativeTransposition}}{ \sqsubseteq }{\exists \property{patient}.\concept{BibliographicSourceOfLaw}}
\axiom{\concept{LegislativeTransposition}}{ \sqsubseteq }{\concept{LegislativeEvent}}
\axiom{\concept{Thing}}{ \sqsubseteq }{\top}
\axiom{\concept{Edit}}{ \sqsubseteq }{\concept{BibliographicModification}}
\axiom{\concept{InlineFragment}}{ \sqsubseteq }{\concept{Fragment}}
\axiom{\concept{Fragment}}{ \sqsubseteq }{\exists \property{partOf}.\concept{BibliographicObject}}
\axiom{\concept{Fragment}}{ \sqsubseteq }{\concept{BibliographicObject}}
\axiom{\concept{BibliographicCreation}}{ \sqsubseteq }{\exists \property{agent}.\concept{Author}}
\axiom{\concept{BibliographicCreation}}{ \sqsubseteq }{\concept{Action}}
\axiom{\concept{Recipient}}{ \sqsubseteq }{\concept{EventParticipant}}
\axiom{\concept{Instrument}}{ \sqsubseteq }{\concept{EventParticipant}}
\axiom{\concept{ManifestationType}}{ \sqsubseteq }{\concept{BibliographicIdentifierComponent}}
\axiom{\concept{WorkCreationDate}}{ \sqsubseteq }{\concept{Date}}
\axiom{\concept{WorkCreationDate}}{ \sqsubseteq }{\concept{BibliographicIdentifierComponent}}
\axiom{\concept{ExpressionCreationDate}}{ \sqsubseteq }{\concept{Date}}
\axiom{\concept{ExpressionCreationDate}}{ \sqsubseteq }{\concept{BibliographicIdentifierComponent}}
\axiom{\concept{ExpressionCreationExTunc}}{ \sqsubseteq }{\concept{FictionalExpressionCreation}}
\axiom{\concept{Copy}}{ \sqsubseteq }{\concept{BibliographicModification}}
\axiom{\concept{Event}}{ \sqsubseteq }{\concept{Thing}}
\axiom{\concept{Translator}}{ \sqsubseteq }{\concept{Author}}
\axiom{\concept{BibliographicObject}}{ \sqsubseteq }{\exists \property{represents}.\top}
\axiom{\concept{BibliographicObject}}{ \sqsubseteq }{\concept{BibliographicThing}}
\axiom{\concept{LegislativeCreation}}{ \sqsubseteq }{\exists \property{agent}.\concept{Legislator}}
\axiom{\concept{LegislativeCreation}}{ \sqsubseteq }{\concept{LegislativeEvent}}
\axiom{\concept{LegislativeCreation}}{ \sqsubseteq }{\concept{BibliographicCreation}}
\axiom{\concept{BibliographicWorkCreation}}{ \sqsubseteq }{\concept{BibliographicCreation}}
\axiom{\concept{Language}}{ \sqsubseteq }{\concept{BibliographicIdentifierComponent}}
\axiom{\concept{Translation}}{ \sqsubseteq }{\exists \property{matter}.\concept{BibliographicExpression}}
\axiom{\concept{Translation}}{ \sqsubseteq }{\exists \property{result}.\concept{BibliographicExpression}}
\axiom{\concept{Translation}}{ \sqsubseteq }{\concept{BibliographicModification}}
\axiom{\concept{Folder}}{ \sqsubseteq }{\concept{CompoundObject}}
\axiom{\concept{BibliographicReference}}{ \sqsubseteq }{\concept{BibliographicObject}}
\axiom{\concept{Agent}}{ \sqsubseteq }{\concept{EventParticipant}}
\axiom{\concept{Date}}{ \sqsubseteq }{\concept{EventParticipant}}
\axiom{\concept{ContainerFragment}}{ \sqsubseteq }{\concept{Fragment}}
\axiom{\concept{Issue}}{ \sqsubseteq }{\concept{BibliographicIdentifierComponent}}
\axiom{\concept{BibliographicWork}}{ \sqsubseteq }{\concept{CitableBibliographicObject}}
\axiom{\concept{BibliographicIdentifierComponent}}{ \sqsubseteq }{\concept{BibliographicThing}}
\axiom{\concept{Result}}{ \sqsubseteq }{\concept{EventParticipant}}
\axiom{\concept{BlockFragment}}{ \sqsubseteq }{\concept{Fragment}}
\axiom{\concept{Component}}{ \sqsubseteq }{\exists \property{componentOf}.\concept{CompoundObject}}
\axiom{\concept{Component}}{ \sqsubseteq }{\concept{BibliographicObject}}
\axiom{\concept{BibliographicSourceOfLaw}}{ \sqsubseteq }{\concept{CitableBibliographicObject}}
\axiom{\concept{CompoundDocument}}{ \sqsubseteq }{\concept{Document}}
\axiom{\concept{CompoundDocument}}{ \sqsubseteq }{\concept{CompoundObject}}
\axiom{\concept{MetalexIdentifier}}{ \sqsubseteq }{\concept{BibliographicIdentifier}}
\axiom{\property{legislativeCompetenceGroundOf}}{ \equiv }{\property{legislativeCompetenceGround}^{-1}}
\axiom{\property{resultOf}}{ \equiv }{\property{result}^{-1}}
\axiom{\property{embodiedBy}}{ \equiv }{\property{embodies}^{-1}}
\axiom{\property{instrumentOf}}{ \equiv }{\property{instrument}^{-1}}
\axiom{\property{agentOf}}{ \equiv }{\property{agent}^{-1}}
\axiom{\property{componentOf}}{ \equiv }{\property{component}^{-1}}
\axiom{\property{fragmentOf}}{ \equiv }{\property{fragment}^{-1}}
\axiom{\property{recordedBy}}{ \equiv }{\property{records}^{-1}}
\axiom{\property{partOf}}{ \equiv }{\property{part}^{-1}}
\axiom{\property{exemplifiedBy}}{ \equiv }{\property{exemplifies}^{-1}}
\axiom{\property{patientOf}}{ \equiv }{\property{patient}^{-1}}
\axiom{\property{realizedBy}}{ \equiv }{\property{realizes}^{-1}}
\axiom{\property{matterOf}}{ \equiv }{\property{matter}^{-1}}
\axiom{\property{identifierComponentOf}}{ \equiv }{\property{identifierComponent}^{-1}}
\axiom{\property{recipientOf}}{ \equiv }{\property{recipient}^{-1}}
\axiom{\property{dateOf}}{ \equiv }{\property{date}^{-1}}
\axiom{\property{participantOf}}{ \equiv }{\property{participant}^{-1}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{identifierComponent}.\concept{BibliographicIdentifierComponent}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{result}.\concept{Result}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{realizes}.\concept{BibliographicWork}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{exemplifies}.\concept{BibliographicManifestation}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{embodies}.\concept{BibliographicExpression}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{patient}.\concept{Patient}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{instrument}.\concept{Instrument}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{cites}.\concept{CitableBibliographicObject}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{recipient}.\concept{Recipient}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{records}.\concept{BibliographicObject}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{fragment}.\concept{Fragment}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{part}.\concept{BibliographicThing}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{variant}.\concept{BibliographicExpression}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{date}.\concept{Date}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{participant}.\concept{EventParticipant}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{thisRealizes}.\concept{BibliographicWork}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{thisEmbodies}.\concept{BibliographicExpression}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{temporalFictionOf}.\concept{Event}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{component}.\concept{Component}}
\axiom{\top }{ \sqsubseteq }{ \forall \property{agent}.\concept{Action}}
\axiom{\bot}{\sqsubseteq}{\concept{BibliographicExpression}\sqcap\concept{BibliographicWork}}
\axiom{\bot}{\sqsubseteq}{\concept{CitableBibliographicObject}\sqcap\concept{BibliographicManifestation}}
\axiom{\bot}{\sqsubseteq}{\concept{CitableBibliographicObject}\sqcap\concept{BibliographicItem}}
\axiom{\bot}{\sqsubseteq}{\concept{Fragment}\sqcap\concept{Document}}
\axiom{\bot}{\sqsubseteq}{\concept{Folder}\sqcap\concept{CompoundDocument}}
\axiom{\top}{\sqsubseteq}{\leq 1 \property{workTypeID}.\top}
\axiom{\top}{\sqsubseteq}{\leq 1 \property{languageCode}.\top}
\axiom{\top}{\sqsubseteq}{\leq 1 \property{countryCode}.\top}
\axiom{\top}{\sqsubseteq}{\leq 1 \property{manifestationTypeID}.\top}
\axiom{\top}{\sqsubseteq}{\leq 1 \property{xsdDate}.\top}
\axiom{\top}{\sqsubseteq}{\leq 1 \property{issueID}.\top}
\axiom{\property{legislativeCompetenceGroundOf}}{ \sqsubseteq }{\property{instrumentOf}}
\axiom{\property{identifierComponent}}{ \sqsubseteq }{\property{part}}
\axiom{\property{result}}{ \sqsubseteq }{\property{participant}}
\axiom{\property{resultOf}}{ \sqsubseteq }{\property{participantOf}}
\axiom{\property{embodiedBy}}{ \sqsubseteq }{\property{recordedBy}}
\axiom{\property{instrumentOf}}{ \sqsubseteq }{\property{participantOf}}
\axiom{\property{realizes}}{ \sqsubseteq }{\property{records}}
\axiom{\property{agentOf}}{ \sqsubseteq }{\property{participantOf}}
\axiom{\property{exemplifies}}{ \sqsubseteq }{\property{records}}
\axiom{\property{predecessor}}{ \sqsubseteq }{\property{variant}}
\axiom{\property{embodies}}{ \sqsubseteq }{\property{records}}
\axiom{\property{patient}}{ \sqsubseteq }{\property{participant}}
\axiom{\property{instrument}}{ \sqsubseteq }{\property{participant}}
\axiom{\property{componentOf}}{ \sqsubseteq }{\property{partOf}}
\axiom{\property{fragmentOf}}{ \sqsubseteq }{\property{partOf}}
\axiom{\property{cites}}{ \sqsubseteq }{\property{refersTo}}
\axiom{\property{recipient}}{ \sqsubseteq }{\property{participant}}
\axiom{\property{languageVariant}}{ \sqsubseteq }{\property{variant}}
\axiom{\property{fragment}}{ \sqsubseteq }{\property{part}}
\axiom{\property{matter}}{ \sqsubseteq }{\property{instrument}}
\axiom{\property{legislativeCompetenceGround}}{ \sqsubseteq }{\property{instrument}}
\axiom{\property{successor}}{ \sqsubseteq }{\property{variant}}
\axiom{\property{exemplifiedBy}}{ \sqsubseteq }{\property{recordedBy}}
\axiom{\property{patientOf}}{ \sqsubseteq }{\property{participantOf}}
\axiom{\property{date}}{ \sqsubseteq }{\property{participant}}
\axiom{\property{realizedBy}}{ \sqsubseteq }{\property{recordedBy}}
\axiom{\property{matterOf}}{ \sqsubseteq }{\property{instrumentOf}}
\axiom{\property{thisRealizes}}{ \sqsubseteq }{\property{records}}
\axiom{\property{identifierComponentOf}}{ \sqsubseteq }{\property{partOf}}
\axiom{\property{recipientOf}}{ \sqsubseteq }{\property{participantOf}}
\axiom{\property{thisEmbodies}}{ \sqsubseteq }{\property{records}}
\axiom{\property{component}}{ \sqsubseteq }{\property{part}}
\axiom{\property{agent}}{ \sqsubseteq }{\property{participant}}
\axiom{\property{dateOf}}{ \sqsubseteq }{\property{participantOf}}
\end{longtable}