Deductions
- sex of humans has quality type ⇐ (sex of humans has quality class), (class has quality type), (has quality is a transitive relation)
- sex of humans has quality type of property ⇐ (sex of humans has quality class), (class has quality type of property), (has quality is a transitive relation)
- sex of humans has quality criterion ⇐ (sex of humans has quality class), (class has quality criterion), (has quality is a transitive relation)
- sex of humans has quality quality ⇐ (sex of humans has quality class), (class has quality quality), (has quality is a transitive relation)
- sex of humans has quality property ⇐ (sex of humans has quality class), (class has quality property), (has quality is a transitive relation)
- sex of humans has quality class ⇐ (set is a class), (sex of humans has quality set)
- sex of humans has quality class ⇐ (quality is a class), (sex of humans has quality quality)
- sex of humans has quality type ⇐ (sex of humans has quality class), (class has quality type), (has quality is a transitive relation)
- sex of humans has quality type of property ⇐ (sex of humans has quality class), (class has quality type of property), (has quality is a transitive relation)
- sex of humans has quality criterion ⇐ (sex of humans has quality class), (class has quality criterion), (has quality is a transitive relation)
- sex of humans has quality quality ⇐ (sex of humans has quality class), (class has quality quality), (has quality is a transitive relation)
- sex of humans has quality property ⇐ (sex of humans has quality class), (class has quality property), (has quality is a transitive relation)
- sex of humans has quality existence ⇐ (sex of humans has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- sex of humans has quality class ⇐ (set is a class), (sex of humans has quality set)
- sex of humans has quality abstract entity ⇐ (set is a abstract entity), (sex of humans has quality set)
- sex of humans has part conceptual system ⇐ (human anatomy is a conceptual system), (sex of humans has part human anatomy)
- sex of humans has quality entity ⇐ (taxonomic rank is a entity), (sex of humans has quality taxonomic rank)
- sex of humans has part variable-order class ⇐ (entity is a variable-order class), (sex of humans has part entity)
- sex of humans has part entity ⇐ (human anatomy is a entity), (sex of humans has part human anatomy)
- concept is for example sex of humans ⇐ (sex of humans is a concept), (is a is inverse of is for example)
- sex of humans has quality relation ⇐ (sex of humans is a concept), (concept has quality relation)
- sex of humans has quality set ⇐ (sex of humans is a concept), (concept has quality set)
- sex of humans has quality class ⇐ (sex of humans is a concept), (concept has quality class)
- sex of humans has quality superclass ⇐ (sex of humans is a concept), (concept has quality superclass)
- sex of humans has quality taxonomic rank ⇐ (sex of humans is a concept), (concept has quality taxonomic rank)
- sex of humans has quality mathematical object ⇐ (sex of humans is a concept), (concept has quality mathematical object)
- sex of humans has quality extension of a concept ⇐ (sex of humans is a concept), (concept has quality extension of a concept)
- sex of humans has quality mathematical property ⇐ (sex of humans is a concept), (concept has quality mathematical property)
- sex of humans is a concept ⇐ (biological concept is subclass of concept), (sex of humans is a biological concept)
- sex of humans has part gender identity ⇐ (male is a gender identity), (sex of humans has part male)
- sex of humans has part branch of science ⇐ (human anatomy is a branch of science), (sex of humans has part human anatomy)
- sex of humans has part human anatomy ⇐ (male is a human anatomy), (sex of humans has part male)
- sex of humans is for example male ⇐ (male is a sex of humans), (is a is inverse of is for example)
- biological concept is for example sex of humans ⇐ (sex of humans is a biological concept), (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)
- father has quality sex of humans ⇐ (male is a sex of humans), (father has quality male)
- brother has quality sex of humans ⇐ (male is a sex of humans), (brother has quality male)
- male and female has part sex of humans ⇐ (male is a sex of humans), (male and female has part male)
- male is a sex of humans ⇐ (female is a sex of humans), (female is opposite of male)