town

Deductions

• classification scheme is for example town ⇐ (town is a classification scheme), (is a is inverse of is for example)
• town is a classification scheme ⇐ (classification of human settlements is subclass of classification scheme), (town is a classification of human settlements)
• town is for example Brentwood ⇐ (Brentwood is a town), (is a is inverse of is for example)
• classification of human settlements is for example town ⇐ (town is a classification of human settlements), (is a is inverse of is for example)
• town is for example Houghton Estate ⇐ (Houghton Estate is a town), (is a is inverse of is for example)
• town is subclass of geographical feature ⇐ (town is subclass of human settlement), (human settlement is subclass of geographical feature), (is subclass of is a transitive relation)
• town is subclass of human settlement ⇐ (town is subclass of urban settlement), (urban settlement is subclass of human settlement), (is subclass of is a transitive relation)