Deductions
- infimum is for example end time ⇐ (end time is a infimum), (is a is inverse of is for example)
- end time is a infimum ⇐ (start time is a infimum), (start time is opposite of end time)
- quality is for example end time ⇐ (end time is a quality), (is a is inverse of is for example)
- end time is a quality ⇐ (supremum is subclass of quality), (end time is a supremum)
- end time has quality quality ⇐ (end time has quality type), (type has quality quality), (has quality is a transitive relation)
- end time has quality criterion ⇐ (end time has quality type), (type has quality criterion), (has quality is a transitive relation)
- end time has quality property ⇐ (end time has quality type), (type has quality property), (has quality is a transitive relation)
- end time has quality class ⇐ (end time is a supremum), (supremum has quality class)
- end time has quality type of property ⇐ (end time is a supremum), (supremum has quality type of property)
- end time has quality taxonomic rank ⇐ (end time is a supremum), (supremum has quality taxonomic rank)
- end time has quality abstract entity ⇐ (end time is a supremum), (supremum has quality abstract entity)
- end time has quality entity ⇐ (end time is a supremum), (supremum has quality entity)
- end time has quality type ⇐ (end time is a supremum), (supremum has quality type)
- end time has quality superclass ⇐ (end time is a supremum), (supremum has quality superclass)
- end time has quality existence ⇐ (end time is subclass of point in time), (point in time has quality existence)
- mandate has quality end time ⇐ (date of establishment is subclass of end time), (mandate has quality date of establishment)
- anniversary has quality end time ⇐ (date of establishment is subclass of end time), (anniversary has quality date of establishment)
- legal instrument has quality end time ⇐ (date of establishment is subclass of end time), (legal instrument has quality date of establishment)
- supremum is for example end time ⇐ (end time is a supremum), (is a is inverse of is for example)
- 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)