Deductions
- single person has quality degree of kinship ⇐ (single person is a kinship), (kinship has quality degree of kinship)
- affinity has quality degree of kinship ⇐ (affinity is subclass of kinship), (kinship has quality degree of kinship)
- consanguinity has quality degree of kinship ⇐ (consanguinity is subclass of kinship), (kinship has quality degree of kinship)
- sibling has quality degree of kinship ⇐ (sibling is a kinship), (kinship has quality degree of kinship)
- father has quality degree of kinship ⇐ (father is subclass of relative), (relative has quality degree of kinship)
- brother has quality degree of kinship ⇐ (brother is subclass of relative), (relative has quality degree of kinship)
- sister has quality degree of kinship ⇐ (sister is subclass of relative), (relative has quality degree of kinship)
- distant relative has quality degree of kinship ⇐ (distant relative is subclass of relative), (relative has quality degree of kinship)
- mother has quality degree of kinship ⇐ (mother is subclass of relative), (relative has quality degree of kinship)
- degree of kinship is for example first-degree relative ⇐ (first-degree relative is a degree of kinship), (is a is inverse of is for example)
- relative has quality degree of kinship ⇐ (relative has quality kinship), (kinship has quality degree of kinship), (has quality is a transitive relation)