Deductions
- male has quality anthroponym ⇐ (given name is a anthroponym), (male has quality given name)
- sex of humans is for example male ⇐ (male is a sex of humans), (is a is inverse of is for example)
- gender identity is for example male ⇐ (male is a gender identity), (is a is inverse of is for example)
- human anatomy is for example male ⇐ (male is a human anatomy), (is a is inverse of is for example)
- male is subclass of abstract entity ⇐ (male is subclass of property), (property is subclass of abstract entity), (is subclass of is a transitive relation)
- male is subclass of entity ⇐ (male is subclass of property), (property is subclass of entity), (is subclass of is a transitive relation)
- male is subclass of identity ⇐ (male is subclass of gendered), (gendered is subclass of identity), (is subclass of is a transitive relation)
- male is subclass of quality ⇐ (male is subclass of gendered), (gendered is subclass of quality), (is subclass of is a transitive relation)
- male is subclass of property ⇐ (male is subclass of gendered), (gendered is subclass of property), (is subclass of is a transitive relation)
- male is a human anatomy ⇐ (sex of humans is subclass of human anatomy), (male is a sex of humans)
- male has quality given name ⇐ (male given name is subclass of given name), (male has quality male given name)
- male is a sex of humans ⇐ (female is a sex of humans), (female is opposite of male)