Indo-European Deductions language family is for example Indo-European ⇐ (Indo-European is a language family), (is a is inverse of is for example) Ruthenian is subclass of Indo-European ⇐ (Ruthenian is subclass of Balto-Slavic), (Balto-Slavic is subclass of Indo-European), (is subclass of is a transitive relation)