River Thames

Deductions

• watercourse is for example River Thames ⇐ (River Thames is a watercourse), (is a is inverse of is for example)
• River Thames is a watercourse ⇐ (stream is subclass of watercourse), (River Thames is a stream)
• stream is for example River Thames ⇐ (River Thames is a stream), (is a is inverse of is for example)
• River Thames is a stream ⇐ (river is subclass of stream), (River Thames is a river)
• river is for example River Thames ⇐ (River Thames is a river), (is a is inverse of is for example)