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