Slavic
Deductions
- group is for example Slavic ⇐ (Slavic is a group), (is a is inverse of is for example)
- Slavic has quality number of objects ⇐ (Slavic is a group), (group has quality number of objects)
- Slavic is a group ⇐ (language group is subclass of group), (Slavic is a language group)
- language group is for example Slavic ⇐ (Slavic is a language group), (is a is inverse of is for example)
- Ruthenian is subclass of Slavic ⇐ (Ruthenian is subclass of East Slavic), (East Slavic is subclass of Slavic), (is subclass of is a transitive relation)
- Russian is subclass of Slavic ⇐ (Russian is subclass of East Slavic), (East Slavic is subclass of Slavic), (is subclass of is a transitive relation)