Deductions
- brother has quality class ⇐ (set is a class), (brother has quality set)
- brother has quality rule ⇐ (social norm is subclass of rule), (brother has quality social norm)
- brother has quality BFO class ⇐ (brother has quality reformism), (reformism has quality BFO class), (has quality is a transitive relation)
- brother has quality spatio-temporal entity ⇐ (brother has quality reformism), (reformism has quality spatio-temporal entity), (has quality is a transitive relation)
- brother has quality agent ⇐ (brother has quality reformism), (reformism has quality agent), (has quality is a transitive relation)
- brother has quality temporal entity ⇐ (brother has quality reformism), (reformism has quality temporal entity), (has quality is a transitive relation)
- brother has quality impermanence ⇐ (brother has quality reformism), (reformism has quality impermanence), (has quality is a transitive relation)
- brother has quality agency ⇐ (brother has quality reformism), (reformism has quality agency), (has quality is a transitive relation)
- brother has quality continuant ⇐ (brother has quality reformism), (reformism has quality continuant), (has quality is a transitive relation)
- brother has quality point in time ⇐ (brother has quality reformism), (reformism has quality point in time), (has quality is a transitive relation)
- brother has quality metaclass ⇐ (brother has quality reformism), (reformism has quality metaclass), (has quality is a transitive relation)
- brother has quality aptitude ⇐ (brother has quality reformism), (reformism has quality aptitude), (has quality is a transitive relation)
- brother has quality independent continuant ⇐ (brother has quality reformism), (reformism has quality independent continuant), (has quality is a transitive relation)
- brother has quality type of object ⇐ (brother has quality social norm), (social norm has quality type of object), (has quality is a transitive relation)
- brother has quality regularity ⇐ (brother has quality social norm), (social norm has quality regularity), (has quality is a transitive relation)
- brother has quality social norm ⇐ (gender is subclass of social norm), (brother has quality gender)
- brother has quality radical feminism ⇐ (gender is subclass of radical feminism), (brother has quality gender)
- brother has quality social science concept ⇐ (gender is a social science concept), (brother has quality gender)
- brother has quality reformism ⇐ (gender is a reformism), (brother has quality gender)
- brother has quality social movement ⇐ (gender is a social movement), (brother has quality gender)
- brother has quality gender ⇐ (non-binary is subclass of gender), (brother has quality non-binary)
- brother has quality non-binary ⇐ (gendered is subclass of non-binary), (brother has quality gendered)
- brother has quality class ⇐ (quality is a class), (brother has quality quality)
- brother has quality criterion ⇐ (brother has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
- brother has quality property ⇐ (brother has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
- brother has quality type ⇐ (brother has quality mathematical object), (mathematical object has quality type), (has quality is a transitive relation)
- brother has quality quality ⇐ (brother has quality mathematical object), (mathematical object has quality quality), (has quality is a transitive relation)
- brother has quality type of property ⇐ (brother has quality mathematical object), (mathematical object has quality type of property), (has quality is a transitive relation)
- brother has quality condition type ⇐ (mental state is a condition type), (brother has quality mental state)
- brother has quality class ⇐ (set is a class), (brother has quality set)
- brother has quality abstract entity ⇐ (set is a abstract entity), (brother has quality set)
- brother has quality existence ⇐ (brother has quality entity), (entity has quality existence), (has quality is a transitive relation)
- brother has quality class ⇐ (brother has quality concept), (concept has quality class), (has quality is a transitive relation)
- brother has quality mathematical property ⇐ (brother has quality concept), (concept has quality mathematical property), (has quality is a transitive relation)
- brother has quality extension of a concept ⇐ (brother has quality concept), (concept has quality extension of a concept), (has quality is a transitive relation)
- brother has quality mathematical object ⇐ (brother has quality concept), (concept has quality mathematical object), (has quality is a transitive relation)
- brother has quality taxonomic rank ⇐ (brother has quality concept), (concept has quality taxonomic rank), (has quality is a transitive relation)
- brother has quality superclass ⇐ (brother has quality concept), (concept has quality superclass), (has quality is a transitive relation)
- brother has quality set ⇐ (brother has quality concept), (concept has quality set), (has quality is a transitive relation)
- brother has quality relation ⇐ (brother has quality concept), (concept has quality relation), (has quality is a transitive relation)
- brother has quality concept ⇐ (sex of humans is a concept), (brother has quality sex of humans)
- brother has quality entity ⇐ (object is a entity), (brother has quality object)
- brother has quality object ⇐ (mental state is subclass of object), (brother has quality mental state)
- brother has quality occurrent ⇐ (mental state is subclass of occurrent), (brother has quality mental state)
- brother has quality gender identity ⇐ (gendered is a gender identity), (brother has quality gendered)
- brother has quality mental state ⇐ (brother is subclass of person), (person has quality mental state)
- brother has quality kinship ⇐ (brother is subclass of relative), (relative has quality kinship)
- brother has quality degree of kinship ⇐ (brother is subclass of relative), (relative has quality degree of kinship)
- kinship is for example brother ⇐ (brother is a kinship), (is a is inverse of is for example)
- interpersonal relationship is for example brother ⇐ (brother is a interpersonal relationship), (is a is inverse of is for example)
- brother is subclass of relative ⇐ (brother is subclass of close relative), (close relative is subclass of relative), (is subclass of is a transitive relation)
- brother is subclass of person ⇐ (brother is subclass of close relative), (close relative is subclass of person), (is subclass of is a transitive relation)
- brother is subclass of individual ⇐ (brother is subclass of close relative), (close 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)
- brother is subclass of close relative ⇐ (brother is subclass of sibling), (sibling is subclass of close relative), (is subclass of is a transitive relation)
- brother is a interpersonal relationship ⇐ (kinship is subclass of interpersonal relationship), (brother is a kinship)
- brother has quality sex of humans ⇐ (male is a sex of humans), (brother has quality male)
- brother has quality gendered ⇐ (male is subclass of gendered), (brother has quality male)