Deductions
- human behavior has part class ⇐ (entity is a class), (human behavior has part entity)
- human behavior has part class ⇐ (abstract entity is a class), (human behavior has part abstract entity)
- human behavior is for example social norm ⇐ (social norm is a human behavior), (is a is inverse of is for example)
- human behavior has part concept ⇐ (metaclass is a concept), (human behavior has part metaclass)
- human behavior has part metaclass ⇐ (abstract entity is a metaclass), (human behavior has part abstract entity)
- human behavior has part type of object ⇐ (abstract entity is a type of object), (human behavior has part abstract entity)
- human behavior has part abstract entity ⇐ (action is a abstract entity), (human behavior has part action)
- human behavior has part variable-order class ⇐ (entity is a variable-order class), (human behavior has part entity)
- human behavior has part entity ⇐ (action is a entity), (human behavior has part action)
- human behavior is for example abstinence ⇐ (abstinence is a human behavior), (is a is inverse of is for example)
- human behavior is for example human activity ⇐ (human activity is a human behavior), (is a is inverse of is for example)
- human behavior is subclass of regularity ⇐ (human behavior is subclass of behavior), (behavior is subclass of regularity), (is subclass of is a transitive relation)
- human behavior is subclass of pattern ⇐ (human behavior is subclass of behavior), (behavior is subclass of pattern), (is subclass of is a transitive relation)
- human behavior is subclass of entity ⇐ (human behavior is subclass of behavior), (behavior is subclass of entity), (is subclass of is a transitive relation)
- human behavior is subclass of abstract entity ⇐ (human behavior is subclass of behavior), (behavior is subclass of abstract entity), (is subclass of is a transitive relation)
- human activity is a human behavior ⇐ (abstinence is a human behavior), (abstinence is opposite of human activity)