Deductions
- social relation has quality arity ⇐ (social relation has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- social relation has quality number of entities ⇐ (social relation has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- social relation has quality concept ⇐ (competence is a concept), (social relation has quality competence)
- social relation has quality type of property ⇐ (social relation has quality social skill), (social skill has quality type of property), (has quality is a transitive relation)
- social relation has quality taxonomic rank ⇐ (social relation has quality social skill), (social skill has quality taxonomic rank), (has quality is a transitive relation)
- social relation has quality class ⇐ (social relation has quality social skill), (social skill has quality class), (has quality is a transitive relation)
- social relation has quality relation ⇐ (social relation has quality social skill), (social skill has quality relation), (has quality is a transitive relation)
- social relation has quality set ⇐ (social relation has quality social skill), (social skill has quality set), (has quality is a transitive relation)
- social relation has quality mathematical property ⇐ (social relation has quality social skill), (social skill has quality mathematical property), (has quality is a transitive relation)
- social relation has quality mathematical object ⇐ (social relation has quality social skill), (social skill has quality mathematical object), (has quality is a transitive relation)
- social relation has quality extension of a concept ⇐ (social relation has quality social skill), (social skill has quality extension of a concept), (has quality is a transitive relation)
- social relation has quality superclass ⇐ (social relation has quality social skill), (social skill has quality superclass), (has quality is a transitive relation)
- social relation has quality competence ⇐ (social skill is a competence), (social relation has quality social skill)
- social relation has quality social skill ⇐ (empathy is subclass of social skill), (social relation has quality empathy)
- nominal kinship is subclass of social relation ⇐ (consanguinity is subclass of social relation), (consanguinity is opposite of nominal kinship)
- consanguinity is subclass of social relation ⇐ (consanguinity is subclass of kinship), (kinship is subclass of social relation), (is subclass of is a transitive relation)
- affinity is subclass of social relation ⇐ (affinity is subclass of kinship), (kinship is subclass of social relation), (is subclass of is a transitive relation)
- social relation has quality class ⇐ (quality is a class), (social relation has quality quality)
- social relation has quality abstract entity ⇐ (type is a abstract entity), (social relation has quality type)
- social relation has quality existence ⇐ (social relation has quality entity), (entity has quality existence), (has quality is a transitive relation)
- social relation has quality entity ⇐ (type is a entity), (social relation has quality type)
- social relation has quality type ⇐ (criterion is a type), (social relation has quality criterion)
- type of relation is for example social relation ⇐ (social relation is a type of relation), (is a is inverse of is for example)
- social relation has quality quality ⇐ (social relation is a type of relation), (type of relation has quality quality)
- social relation has quality property ⇐ (social relation is a type of relation), (type of relation has quality property)
- social relation has quality criterion ⇐ (social relation is a type of relation), (type of relation has quality criterion)
- kinship is subclass of social relation ⇐ (kinship is subclass of interpersonal relationship), (interpersonal relationship is subclass of social relation), (is subclass of is a transitive relation)