Deductions
- rural settlement has quality toponym ⇐ (oeconym is subclass of toponym), (rural settlement has quality oeconym)
- rural settlement has quality oeconym ⇐ (rural settlement is subclass of human settlement), (human settlement has quality oeconym)
- rural settlement is for example Skjolden ⇐ (Skjolden is a rural settlement), (is a is inverse of is for example)
- rural settlement is for example Qunu ⇐ (Qunu is a rural settlement), (is a is inverse of is for example)
- rural settlement is for example Mvezo ⇐ (Mvezo is a rural settlement), (is a is inverse of is for example)
- rural settlement is subclass of geographical feature ⇐ (rural settlement is subclass of human settlement), (human settlement is subclass of geographical feature), (is subclass of is a transitive relation)
- Mvezo is a rural settlement ⇐ (village is subclass of rural settlement), (Mvezo is a village)
- Skjolden is a rural settlement ⇐ (village is subclass of rural settlement), (Skjolden is a village)
- Qunu is a rural settlement ⇐ (village is subclass of rural settlement), (Qunu is a village)