time interval

Deductions

• time interval is subclass of object ⇐ (time interval is subclass of spatio-temporal entity), (spatio-temporal entity is subclass of object), (is subclass of is a transitive relation)
• time interval is subclass of spatio-temporal entity ⇐ (time interval is subclass of temporal entity), (temporal entity is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
• calendar month is subclass of time interval ⇐ (calendar month is subclass of month), (month is subclass of time interval), (is subclass of is a transitive relation)