Deductions
- date of establishment is subclass of end time ⇐ (date of dissolution, abolition or demolition is subclass of end time), (date of dissolution, abolition or demolition is opposite of date of establishment)
- date of establishment has quality class ⇐ (date of establishment has quality type of object), (type of object has quality class), (has quality is a transitive relation)
- date of establishment has quality superclass ⇐ (date of establishment has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- date of establishment has quality class ⇐ (quality is a class), (date of establishment has quality quality)
- date of establishment has quality type of property ⇐ (date of establishment has quality type of object), (type of object has quality type of property), (has quality is a transitive relation)
- date of establishment has quality quality ⇐ (date of establishment has quality type of object), (type of object has quality quality), (has quality is a transitive relation)
- date of establishment has quality property ⇐ (date of establishment has quality type of object), (type of object has quality property), (has quality is a transitive relation)
- date of establishment has quality criterion ⇐ (date of establishment has quality type of object), (type of object has quality criterion), (has quality is a transitive relation)
- date of establishment has quality class ⇐ (date of establishment has quality type of object), (type of object has quality class), (has quality is a transitive relation)
- date of establishment has quality superclass ⇐ (date of establishment has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- date of establishment has quality taxonomic rank ⇐ (date of establishment has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- date of establishment has quality abstract entity ⇐ (type is a abstract entity), (date of establishment has quality type)
- key event is for example date of establishment ⇐ (date of establishment is a key event), (is a is inverse of is for example)
- object is for example date of establishment ⇐ (date of establishment is a object), (is a is inverse of is for example)
- date of establishment has quality type ⇐ (date of establishment is a object), (object has quality type)
- date of establishment has quality type of object ⇐ (date of establishment is a object), (object has quality type of object)
- date of establishment has quality existence ⇐ (date of establishment is a object), (object has quality existence)
- date of establishment has quality entity ⇐ (date of establishment is a object), (object has quality entity)
- date of establishment is a object ⇐ (key event is subclass of object), (date of establishment is a key event)
- mandate has quality date of establishment ⇐ (mandate is subclass of legal instrument), (legal instrument has quality date of establishment)