Deductions
- brother has quality social norm ⇐ (gender is subclass of social norm), (brother has quality gender)
- sister has quality social norm ⇐ (gender is subclass of social norm), (sister has quality gender)
- mother has quality social norm ⇐ (gender is subclass of social norm), (mother has quality gender)
- father has quality social norm ⇐ (gender is subclass of social norm), (father has quality gender)
- social norm has quality type of object ⇐ (social norm is subclass of rule), (rule has quality type of object)
- social norm has quality abstract entity ⇐ (social norm is subclass of rule), (rule has quality abstract entity)
- social norm has quality regularity ⇐ (social norm is subclass of rule), (rule has quality regularity)
- social norm has quality class ⇐ (social norm is subclass of rule), (rule has quality class)
- social norm has quality existence ⇐ (social norm is subclass of class), (class has quality existence)
- social norm has quality entity ⇐ (social norm is subclass of class), (class has quality entity)
- social norm has quality taxonomic rank ⇐ (social norm is subclass of class), (class has quality taxonomic rank)
- social norm has quality superclass ⇐ (social norm is subclass of class), (class has quality superclass)
- androgyne has quality social norm ⇐ (gender is subclass of social norm), (androgyne has quality gender)
- human behavior is for example social norm ⇐ (social norm is a human behavior), (is a is inverse of is for example)
- social norm is subclass of class ⇐ (social norm is subclass of abstract entity), (abstract entity is subclass of class), (is subclass of is a transitive relation)
- social norm is subclass of information ⇐ (social norm is subclass of rule), (rule is subclass of information), (is subclass of is a transitive relation)
- social norm is subclass of abstract entity ⇐ (social norm is subclass of rule), (rule is subclass of abstract entity), (is subclass of is a transitive relation)
- social norm is subclass of entity ⇐ (social norm is subclass of rule), (rule is subclass of entity), (is subclass of is a transitive relation)
- social norm is subclass of message ⇐ (social norm is subclass of rule), (rule is subclass of message), (is subclass of is a transitive relation)
- social norm is part of culture ⇐ (social norm is part of human behavior), (human behavior is part of culture), (is part of is a transitive relation)
- gender-critical feminism is subclass of social norm ⇐ (gender is subclass of social norm), (gender is opposite of gender-critical feminism)