Deductions
- practice has part class ⇐ (entity is a class), (practice has part entity)
- practice has quality entity ⇐ (physical property is subclass of entity), (practice has quality physical property)
- practice has part class ⇐ (abstract entity is a class), (practice has part abstract entity)
- practice has quality class ⇐ (abstract entity is a class), (practice has quality abstract entity)
- practice has quality entity ⇐ (physical quantity is a entity), (practice has quality physical quantity)
- practice has quality abstract entity ⇐ (physical quantity is a abstract entity), (practice has quality physical quantity)
- practice has part concept ⇐ (metaclass is a concept), (practice has part metaclass)
- practice has part metaclass ⇐ (abstract entity is a metaclass), (practice has part abstract entity)
- practice has part type of object ⇐ (abstract entity is a type of object), (practice has part abstract entity)
- practice is for example copyright ⇐ (copyright is a practice), (is a is inverse of is for example)
- practice has quality physical property ⇐ (practice is subclass of activity), (activity has quality physical property)
- practice has quality general quantity ⇐ (practice is subclass of activity), (activity has quality general quantity)
- practice has quality physical quantity ⇐ (practice is subclass of activity), (activity has quality physical quantity)
- practice has quality kind of quantity ⇐ (practice is subclass of activity), (activity has quality kind of quantity)
- practice has quality physico-chemical property ⇐ (practice is subclass of activity), (activity has quality physico-chemical property)
- practice has quality quantity value ⇐ (practice is subclass of activity), (activity has quality quantity value)
- practice has quality duration ⇐ (practice is subclass of activity), (activity has quality duration)
- practice has quality intensity ⇐ (practice is subclass of activity), (activity has quality intensity)
- practice has part abstract entity ⇐ (action is a abstract entity), (practice has part action)
- practice has part variable-order class ⇐ (entity is a variable-order class), (practice has part entity)
- practice has part entity ⇐ (action is a entity), (practice has part action)
- practice has part action ⇐ (practice is subclass of activity), (activity has part action)
- copyright is a practice ⇐ (copyleft is a practice), (copyleft is opposite of copyright)
- practice is for example copyleft ⇐ (copyleft is a practice), (is a is inverse of is for example)