Deductions
- Philipp von Zesen has characteristic full name ⇐ (Philipp von Zesen instance of human), (human has characteristic full name)
- Charles III has quality full name ⇐ (Charles III is a human), (human has quality full name)
- Saint Barbara has quality full name ⇐ (Saint Barbara is a human), (human has quality full name)
- Laurence Sickman has quality full name ⇐ (Laurence Sickman is a human), (human has quality full name)
- Juliano Verbard has quality full name ⇐ (Juliano Verbard is a human), (human has quality full name)
- Pierre Curie has quality full name ⇐ (Pierre Curie is a human), (human has quality full name)
- full name has part anthroponym ⇐ (family name is a anthroponym), (full name has part family name)
- full name is subclass of bionym ⇐ (full name is subclass of anthroponym), (anthroponym is subclass of bionym), (is subclass of is a transitive relation)
- White British has quality full name ⇐ (White British is subclass of White people), (White people has quality full name)
- White people has quality full name ⇐ (White people is subclass of human), (human has quality full name)
- person of color has quality full name ⇐ (person of color is subclass of human), (human has quality full name)