Bantoid Deductions language family is for example Bantoid ⇐ (Bantoid 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)