village

Deductions

• classification scheme is for example village ⇐ (village is a classification scheme), (is a is inverse of is for example)
• village is a classification scheme ⇐ (classification of human settlements is subclass of classification scheme), (village is a classification of human settlements)
• village is for example Qunu ⇐ (Qunu is a village), (is a is inverse of is for example)
• classification of human settlements is for example village ⇐ (village is a classification of human settlements), (is a is inverse of is for example)
• village is for example Skjolden ⇐ (Skjolden is a village), (is a is inverse of is for example)
• village is for example Mvezo ⇐ (Mvezo is a village), (is a is inverse of is for example)
• village is subclass of human settlement ⇐ (village is subclass of rural settlement), (rural settlement is subclass of human settlement), (is subclass of is a transitive relation)