Deductions
- anniversary has quality infimum ⇐ (end time is a infimum), (anniversary has quality end time)
- anniversary has quality point in time ⇐ (end time is subclass of point in time), (anniversary has quality end time)
- anniversary has quality supremum ⇐ (end time is a supremum), (anniversary has quality end time)
- anniversary has quality end time ⇐ (date of establishment is subclass of end time), (anniversary has quality date of establishment)
- anniversary has quality superclass ⇐ (anniversary has quality type of object), (type of object has quality superclass), (has quality is a transitive relation)
- anniversary has quality class ⇐ (anniversary has quality type of object), (type of object has quality class), (has quality is a transitive relation)
- anniversary has quality class ⇐ (quality is a class), (anniversary has quality quality)
- anniversary has quality superclass ⇐ (anniversary has quality type of object), (type of object has quality superclass), (has quality is a transitive relation)
- anniversary has quality type of property ⇐ (anniversary has quality type of object), (type of object has quality type of property), (has quality is a transitive relation)
- anniversary has quality quality ⇐ (anniversary has quality type of object), (type of object has quality quality), (has quality is a transitive relation)
- anniversary has quality property ⇐ (anniversary has quality type of object), (type of object has quality property), (has quality is a transitive relation)
- anniversary has quality criterion ⇐ (anniversary has quality type of object), (type of object has quality criterion), (has quality is a transitive relation)
- anniversary has quality taxonomic rank ⇐ (anniversary has quality type of object), (type of object has quality taxonomic rank), (has quality is a transitive relation)
- anniversary has quality class ⇐ (anniversary has quality type of object), (type of object has quality class), (has quality is a transitive relation)
- anniversary has quality type ⇐ (anniversary has quality object), (object has quality type), (has quality is a transitive relation)
- anniversary has quality type of object ⇐ (anniversary has quality object), (object has quality type of object), (has quality is a transitive relation)
- anniversary has quality existence ⇐ (anniversary has quality object), (object has quality existence), (has quality is a transitive relation)
- anniversary has quality entity ⇐ (anniversary has quality object), (object has quality entity), (has quality is a transitive relation)
- anniversary has quality abstract entity ⇐ (anniversary has quality object), (object has quality abstract entity), (has quality is a transitive relation)
- anniversary has quality object ⇐ (date of establishment is a object), (anniversary has quality date of establishment)
- anniversary has quality key event ⇐ (date of establishment is a key event), (anniversary has quality date of establishment)
- anniversary has quality occurrence ⇐ (date of establishment is subclass of occurrence), (anniversary has quality date of establishment)