use

Deductions

• use has quality entity ⇐ (physical property is subclass of entity), (use has quality physical property)
• use has quality class ⇐ (abstract entity is a class), (use has quality abstract entity)
• use has quality existence ⇐ (use has quality entity), (entity has quality existence), (has quality is a transitive relation)
• use has quality entity ⇐ (physical quantity is a entity), (use has quality physical quantity)
• use has quality abstract entity ⇐ (physical quantity is a abstract entity), (use has quality physical quantity)
• use is for example accommodations ⇐ (accommodations is a use), (is a is inverse of is for example)
• use is for example domicile ⇐ (domicile is a use), (is a is inverse of is for example)
• use is subclass of spatio-temporal entity ⇐ (use is subclass of activity), (activity is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
• use is subclass of occurrent ⇐ (use is subclass of activity), (activity is subclass of occurrent), (is subclass of is a transitive relation)
• use is subclass of object ⇐ (use is subclass of activity), (activity is subclass of object), (is subclass of is a transitive relation)
• use is subclass of process ⇐ (use is subclass of activity), (activity is subclass of process), (is subclass of is a transitive relation)
• use has quality kind of quantity ⇐ (duration is a kind of quantity), (use has quality duration)
• use has quality general quantity ⇐ (physical quantity is a general quantity), (use has quality physical quantity)
• use has quality physico-chemical property ⇐ (physical property is subclass of physico-chemical property), (use has quality physical property)
• use has quality physical property ⇐ (physical quantity is subclass of physical property), (use has quality physical quantity)
• use has quality physical quantity ⇐ (duration is subclass of physical quantity), (use has quality duration)
• use has quality duration ⇐ (use is subclass of activity), (activity has quality duration)