Deductions
- mandate has quality supremum ⇐ (end time is a supremum), (mandate has quality end time)
- legal instrument has quality supremum ⇐ (end time is a supremum), (legal instrument has quality end time)
- anniversary has quality supremum ⇐ (end time is a supremum), (anniversary has quality end time)
- supremum is for example start time ⇐ (start time is a supremum), (is a is inverse of is for example)
- supremum has quality quality ⇐ (supremum has quality type), (type has quality quality), (has quality is a transitive relation)
- supremum has quality criterion ⇐ (supremum has quality type), (type has quality criterion), (has quality is a transitive relation)
- supremum has quality property ⇐ (supremum has quality type), (type has quality property), (has quality is a transitive relation)
- start time is a supremum ⇐ (end time is a supremum), (end time is opposite of start time)
- supremum has quality class ⇐ (supremum is subclass of quality), (quality has quality class)
- supremum has quality type of property ⇐ (supremum is subclass of quality), (quality has quality type of property)
- supremum has quality superclass ⇐ (supremum is subclass of quality), (quality has quality superclass)
- supremum has quality type ⇐ (supremum is subclass of quality), (quality has quality type)
- supremum has quality taxonomic rank ⇐ (supremum is subclass of quality), (quality has quality taxonomic rank)
- supremum has quality entity ⇐ (supremum is subclass of quality), (quality has quality entity)
- supremum has quality existence ⇐ (supremum is subclass of quality), (quality has quality existence)
- supremum has quality abstract entity ⇐ (supremum is subclass of quality), (quality has quality abstract entity)
- function is for example supremum ⇐ (supremum is a function), (is a is inverse of is for example)
- supremum is for example end time ⇐ (end time is a supremum), (is a is inverse of is for example)