Deductions
- abstinence has part class ⇐ (abstract entity is a class), (abstinence has part abstract entity)
- abstinence has part type of object ⇐ (abstinence is subclass of activity), (activity has part type of object)
- abstinence has part concept ⇐ (abstinence is subclass of activity), (activity has part concept)
- abstinence has part variable-order class ⇐ (abstinence is subclass of activity), (activity has part variable-order class)
- abstinence has part entity ⇐ (abstinence is subclass of activity), (activity has part entity)
- abstinence has part metaclass ⇐ (abstinence is subclass of activity), (activity has part metaclass)
- abstinence has part abstract entity ⇐ (abstinence is subclass of activity), (activity has part abstract entity)
- abstinence has part action ⇐ (abstinence is subclass of activity), (activity has part action)
- abstinence is subclass of activity ⇐ (human activity is subclass of activity), (human activity is opposite of abstinence)
- voting is subclass of abstinence ⇐ (abstention is subclass of abstinence), (abstention is opposite of voting)
- behavior is for example abstinence ⇐ (abstinence is a behavior), (is a is inverse of is for example)
- human behavior is for example abstinence ⇐ (abstinence is a human behavior), (is a is inverse of is for example)
- abstinence is subclass of entity ⇐ (abstinence is subclass of process), (process is subclass of entity), (is subclass of is a transitive relation)
- abstinence is subclass of object ⇐ (abstinence is subclass of selection), (selection is subclass of object), (is subclass of is a transitive relation)
- abstinence is subclass of spatio-temporal entity ⇐ (abstinence is subclass of selection), (selection is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- abstinence is subclass of occurrent ⇐ (abstinence is subclass of selection), (selection is subclass of occurrent), (is subclass of is a transitive relation)
- abstinence is subclass of process ⇐ (abstinence is subclass of selection), (selection is subclass of process), (is subclass of is a transitive relation)
- abstinence is a behavior ⇐ (human behavior is subclass of behavior), (abstinence is a human behavior)