Bantu

Deductions

• language family is for example Bantu ⇐ (Bantu is a language family), (is a is inverse of is for example)
• Bantu is subclass of Bantoid ⇐ (Bantu is subclass of Southern Bantoid), (Southern Bantoid is subclass of Bantoid), (is subclass of is a transitive relation)
• Nguni is subclass of Bantu ⇐ (Nguni is subclass of East Bantu), (East Bantu is subclass of Bantu), (is subclass of is a transitive relation)