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