Deductions
- female given name is subclass of anthroponym ⇐ (male given name is subclass of anthroponym), (male given name is opposite of female given name)
- female given name is subclass of bionym ⇐ (male given name is subclass of bionym), (male given name is opposite of female given name)
- George is a female given name ⇐ (George is a female given name), (George is opposite of George)
- female given name is for example George ⇐ (George is a female given name), (is a is inverse of is for example)
- female given name is for example Janet ⇐ (Janet is a female given name), (is a is inverse of is for example)
- female given name is for example Fanny ⇐ (Fanny is a female given name), (is a is inverse of is for example)
- female given name is for example Susan ⇐ (Susan is a female given name), (is a is inverse of is for example)
- female given name is for example Leopoldine ⇐ (Leopoldine is a female given name), (is a is inverse of is for example)
- female given name is for example Polly ⇐ (Polly is a female given name), (is a is inverse of is for example)
- sister has quality female given name ⇐ (sister has quality female), (female has quality female given name), (has quality is a transitive relation)