Deductions
- female has quality class ⇐ (existence is a class), (female has quality existence)
- female has part personal identity ⇐ (female is subclass of identity), (identity has part personal identity)
- female is subclass of property ⇐ (male is subclass of property), (male is opposite of female)
- female is subclass of quality ⇐ (male is subclass of quality), (male is opposite of female)
- female is subclass of identity ⇐ (male is subclass of identity), (male is opposite of female)
- female has quality existence ⇐ (female is subclass of entity), (entity has quality existence)
- gender identity is for example female ⇐ (female is a gender identity), (is a is inverse of is for example)
- sex of humans is for example female ⇐ (female is a sex of humans), (is a is inverse of is for example)
- human anatomy is for example female ⇐ (female is a human anatomy), (is a is inverse of is for example)
- female is subclass of entity ⇐ (male is subclass of entity), (male is opposite of female)
- female is subclass of abstract entity ⇐ (male is subclass of abstract entity), (male is opposite of female)
- female is a human anatomy ⇐ (sex of humans is subclass of human anatomy), (female is a sex of humans)
- female is a gender identity ⇐ (male is a gender identity), (male is opposite of female)