Deductions
- male and female has quality set system ⇐ (dichotomy is subclass of set system), (male and female has quality dichotomy)
- male and female has quality partition of a set ⇐ (dichotomy is subclass of partition of a set), (male and female has quality dichotomy)
- male and female has quality dichotomy ⇐ (gender binary is a dichotomy), (male and female has quality gender binary)
- male and female has part conceptual system ⇐ (human anatomy is a conceptual system), (male and female has part human anatomy)
- male and female has part variable-order class ⇐ (concept is a variable-order class), (male and female has part concept)
- male and female has part concept ⇐ (sex of humans is a concept), (male and female has part sex of humans)
- male and female has part entity ⇐ (human anatomy is a entity), (male and female has part human anatomy)
- male and female has part biological concept ⇐ (sex of humans is a biological concept), (male and female has part sex of humans)
- male and female has part gender identity ⇐ (male is a gender identity), (male and female has part male)
- male and female has part branch of science ⇐ (human anatomy is a branch of science), (male and female has part human anatomy)
- male and female has part human anatomy ⇐ (male is a human anatomy), (male and female has part male)
- binary opposition is for example male and female ⇐ (male and female is a binary opposition), (is a is inverse of is for example)
- male and female has part sex of humans ⇐ (male is a sex of humans), (male and female has part male)