leisure

Deductions

• leisure has quality existence ⇐ (leisure has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
• leisure has quality entity ⇐ (physical property is subclass of entity), (leisure has quality physical property)
• leisure has part class ⇐ (abstract entity is a class), (leisure has part abstract entity)
• leisure has quality observation ⇐ (leisure is subclass of phenomenon), (phenomenon has quality observation)
• leisure is subclass of occurrent ⇐ (leisure is subclass of activity), (activity is subclass of occurrent), (is subclass of is a transitive relation)
• leisure is subclass of absence ⇐ (leisure is subclass of activity), (activity is subclass of absence), (is subclass of is a transitive relation)
• leisure is subclass of phenomenon ⇐ (leisure is subclass of activity), (activity is subclass of phenomenon), (is subclass of is a transitive relation)
• leisure is subclass of condition ⇐ (leisure is subclass of activity), (activity is subclass of condition), (is subclass of is a transitive relation)
• leisure has quality class ⇐ (leisure has quality quality), (quality has quality class), (has quality is a transitive relation)
• leisure has quality number of entities ⇐ (leisure has quality relation), (relation has quality number of entities), (has quality is a transitive relation)
• leisure has quality arity ⇐ (leisure has quality relation), (relation has quality arity), (has quality is a transitive relation)
• leisure has quality property ⇐ (leisure is subclass of activity), (activity has quality property)
• leisure has quality mathematical object ⇐ (leisure is subclass of activity), (activity has quality mathematical object)
• leisure has quality set ⇐ (leisure is subclass of activity), (activity has quality set)
• leisure has quality extension of a concept ⇐ (leisure is subclass of activity), (activity has quality extension of a concept)
• leisure has quality type ⇐ (leisure is subclass of activity), (activity has quality type)
• leisure has quality desirability ⇐ (leisure is subclass of activity), (activity has quality desirability)
• leisure has quality relation ⇐ (leisure is subclass of activity), (activity has quality relation)
• leisure has quality subjective quality ⇐ (leisure is subclass of activity), (activity has quality subjective quality)
• leisure has quality point in time ⇐ (leisure is subclass of activity), (activity has quality point in time)
• leisure has quality type of property ⇐ (leisure is subclass of activity), (activity has quality type of property)
• leisure has quality kind of quantity ⇐ (leisure is subclass of activity), (activity has quality kind of quantity)
• leisure has quality mathematical property ⇐ (leisure is subclass of activity), (activity has quality mathematical property)
• leisure has quality class ⇐ (leisure is subclass of activity), (activity has quality class)
• leisure has quality quantity value ⇐ (leisure is subclass of activity), (activity has quality quantity value)
• leisure has quality social science concept ⇐ (leisure is subclass of activity), (activity has quality social science concept)
• leisure has quality quality ⇐ (leisure is subclass of activity), (activity has quality quality)
• leisure has quality value ⇐ (leisure is subclass of activity), (activity has quality value)
• leisure has quality criterion ⇐ (leisure is subclass of activity), (activity has quality criterion)
• leisure has quality duration ⇐ (leisure is subclass of activity), (activity has quality duration)
• leisure has part class ⇐ (entity is a class), (leisure has part entity)
• leisure has part type of object ⇐ (leisure is subclass of activity), (activity has part type of object)
• leisure has part concept ⇐ (leisure is subclass of activity), (activity has part concept)
• leisure has part variable-order class ⇐ (leisure is subclass of activity), (activity has part variable-order class)
• leisure has part entity ⇐ (leisure is subclass of activity), (activity has part entity)
• leisure has part metaclass ⇐ (leisure is subclass of activity), (activity has part metaclass)
• leisure has part abstract entity ⇐ (leisure is subclass of activity), (activity has part abstract entity)
• leisure has part action ⇐ (leisure is subclass of activity), (activity has part action)
• leisure is subclass of activity ⇐ (work is subclass of activity), (work is opposite of leisure)
• leisure is subclass of economic activity ⇐ (work is subclass of economic activity), (work is opposite of leisure)
• leisure is subclass of human activity ⇐ (work is subclass of human activity), (work is opposite of leisure)
• leisure is subclass of intentional human activity ⇐ (work is subclass of intentional human activity), (work is opposite of leisure)
• leisure has quality superclass ⇐ (leisure has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
• leisure has quality taxonomic rank ⇐ (leisure has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
• leisure has quality existence ⇐ (leisure has quality entity), (entity has quality existence), (has quality is a transitive relation)
• leisure has quality entity ⇐ (physical quantity is a entity), (leisure has quality physical quantity)
• leisure has quality abstract entity ⇐ (physical quantity is a abstract entity), (leisure has quality physical quantity)
• leisure has quality general quantity ⇐ (leisure is subclass of process), (process has quality general quantity)
• leisure has quality physico-chemical property ⇐ (leisure is subclass of process), (process has quality physico-chemical property)
• leisure has quality physical quantity ⇐ (leisure is subclass of process), (process has quality physical quantity)
• leisure has quality physical property ⇐ (leisure is subclass of process), (process has quality physical property)
• leisure has quality intensity ⇐ (leisure is subclass of process), (process has quality intensity)
• sociological concept is for example leisure ⇐ (leisure is a sociological concept), (is a is inverse of is for example)
• leisure is subclass of spatio-temporal entity ⇐ (work is subclass of spatio-temporal entity), (work is opposite of leisure)
• leisure is subclass of object ⇐ (work is subclass of object), (work is opposite of leisure)
• leisure is subclass of process ⇐ (work is subclass of process), (work is opposite of leisure)
• leisure is subclass of entity ⇐ (work is subclass of entity), (work is opposite of leisure)
• leisure is a sociological concept ⇐ (work is a sociological concept), (work is opposite of leisure)