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