Deductions
- first-degree relative has quality class ⇐ (abstract entity is a class), (first-degree relative has quality abstract entity)
- first-degree relative has quality abstract entity ⇐ (type of property is a abstract entity), (first-degree relative has quality type of property)
- mother is subclass of first-degree relative ⇐ (father is subclass of first-degree relative), (father is opposite of mother)
- first-degree relative has quality entity ⇐ (class is a entity), (first-degree relative has quality class)
- first-degree relative has quality class ⇐ (type of property is subclass of class), (first-degree relative has quality type of property)
- first-degree relative has quality type of property ⇐ (life cycle is a type of property), (first-degree relative has quality life cycle)
- first-degree relative has quality life cycle ⇐ (first-degree relative is subclass of individual), (individual has quality life cycle)
- 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)
- first-degree relative is subclass of person ⇐ (first-degree relative is subclass of relative), (relative is subclass of person), (is subclass of is a transitive relation)
- first-degree relative is subclass of individual ⇐ (first-degree relative is subclass of relative), (relative is subclass of individual), (is subclass of is a transitive relation)
- brother is subclass of first-degree relative ⇐ (brother is subclass of sibling), (sibling is subclass of first-degree relative), (is subclass of is a transitive relation)
- first-degree relative is subclass of relative ⇐ (first-degree relative is subclass of close relative), (close relative is subclass of relative), (is subclass of is a transitive relation)
- father is subclass of first-degree relative ⇐ (father is subclass of parent), (parent is subclass of first-degree relative), (is subclass of is a transitive relation)