Deductions
- sister has quality rule ⇐ (social norm is subclass of rule), (sister has quality social norm)
- father has quality rule ⇐ (social norm is subclass of rule), (father has quality social norm)
- mother has quality rule ⇐ (social norm is subclass of rule), (mother has quality social norm)
- brother has quality rule ⇐ (social norm is subclass of rule), (brother has quality social norm)
- androgyne has quality rule ⇐ (social norm is subclass of rule), (androgyne has quality social norm)
- rule has quality class ⇐ (abstract entity is a class), (rule has quality abstract entity)
- gender is subclass of rule ⇐ (gender is subclass of social norm), (social norm is subclass of rule), (is subclass of is a transitive relation)
- rule has quality type of object ⇐ (abstract entity is a type of object), (rule has quality abstract entity)
- rule is for example Wikimedia portal ⇐ (Wikimedia portal is a rule), (is a is inverse of is for example)
- rule is for example Wikimedia category ⇐ (Wikimedia category is a rule), (is a is inverse of is for example)
- rule is subclass of entity ⇐ (rule is subclass of message), (message is subclass of entity), (is subclass of is a transitive relation)
- rule is subclass of information ⇐ (rule is subclass of message), (message is subclass of information), (is subclass of is a transitive relation)
- rule is subclass of abstract entity ⇐ (rule is subclass of message), (message is subclass of abstract entity), (is subclass of is a transitive relation)
- Wikimedia portal is a rule ⇐ (Wikimedia project policies and guidelines is subclass of rule), (Wikimedia portal is a Wikimedia project policies and guidelines)
- Wikimedia category is a rule ⇐ (Wikimedia project policies and guidelines is subclass of rule), (Wikimedia category is a Wikimedia project policies and guidelines)
- rule has quality entity ⇐ (abstract entity is subclass of entity), (rule has quality abstract entity)
- rule has quality abstract entity ⇐ (regularity is subclass of abstract entity), (rule has quality regularity)