Deductions
- legal instrument has quality infimum ⇐ (end time is a infimum), (legal instrument has quality end time)
- legal instrument has quality point in time ⇐ (end time is subclass of point in time), (legal instrument has quality end time)
- legal instrument has quality supremum ⇐ (end time is a supremum), (legal instrument has quality end time)
- legal instrument has quality end time ⇐ (date of establishment is subclass of end time), (legal instrument has quality date of establishment)
- legal instrument has quality taxonomic rank ⇐ (legal instrument has quality type), (type has quality taxonomic rank), (has quality is a transitive relation)
- legal instrument has quality class ⇐ (legal instrument has quality type), (type has quality class), (has quality is a transitive relation)
- legal instrument has quality quality ⇐ (legal instrument has quality type), (type has quality quality), (has quality is a transitive relation)
- legal instrument has quality type of property ⇐ (legal instrument has quality type), (type has quality type of property), (has quality is a transitive relation)
- legal instrument has quality criterion ⇐ (legal instrument has quality type), (type has quality criterion), (has quality is a transitive relation)
- legal instrument has quality property ⇐ (legal instrument has quality type), (type has quality property), (has quality is a transitive relation)
- legal instrument has quality superclass ⇐ (legal instrument has quality type), (type has quality superclass), (has quality is a transitive relation)
- legal instrument has quality class ⇐ (abstract entity is a class), (legal instrument has quality abstract entity)
- legal instrument has quality taxonomic rank ⇐ (legal instrument has quality object), (object has quality taxonomic rank), (has quality is a transitive relation)
- legal instrument has quality type ⇐ (legal instrument has quality object), (object has quality type), (has quality is a transitive relation)
- legal instrument has quality type of object ⇐ (legal instrument has quality object), (object has quality type of object), (has quality is a transitive relation)
- legal instrument has quality existence ⇐ (legal instrument has quality object), (object has quality existence), (has quality is a transitive relation)
- legal instrument has quality entity ⇐ (legal instrument has quality object), (object has quality entity), (has quality is a transitive relation)
- legal instrument has quality superclass ⇐ (legal instrument has quality object), (object has quality superclass), (has quality is a transitive relation)
- legal instrument has quality object ⇐ (date of establishment is a object), (legal instrument has quality date of establishment)
- legal instrument has quality key event ⇐ (date of establishment is a key event), (legal instrument has quality date of establishment)
- legal instrument has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (legal instrument has quality metaclass)
- legal instrument has quality occurrence ⇐ (date of establishment is subclass of occurrence), (legal instrument has quality date of establishment)
- information form is for example legal instrument ⇐ (legal instrument is a information form), (is a is inverse of is for example)
- document genre is for example legal instrument ⇐ (legal instrument is a document genre), (is a is inverse of is for example)
- legal instrument is a information form ⇐ (document genre is subclass of information form), (legal instrument is a document genre)
- legal instrument has quality metaclass ⇐ (document genre is a metaclass), (legal instrument has quality document genre)
- legal instrument has quality document genre ⇐ (legal instrument is subclass of document), (document has quality document genre)
- legal instrument has part document-type information ⇐ (legal instrument is subclass of document), (document has part document-type information)
- legal instrument is for example Public Domain Mark 1.0 Universal ⇐ (Public Domain Mark 1.0 Universal is a legal instrument), (is a is inverse of is for example)