Deductions
- Sista has quality abstract entity ⇐ (type is a abstract entity), (Sista has quality type)
- Sista has quality existence ⇐ (Sista has quality entity), (entity has quality existence), (has quality is a transitive relation)
- Sista has quality entity ⇐ (taxonomic rank is a entity), (Sista has quality taxonomic rank)
- Sista has quality class ⇐ (type of property is subclass of class), (Sista has quality type of property)
- watercourse is for example Sista ⇐ (Sista is a watercourse), (is a is inverse of is for example)
- Sista has quality fluid flow ⇐ (Sista is a watercourse), (watercourse has quality fluid flow)
- Sista has quality taxonomic rank ⇐ (Sista is a watercourse), (watercourse has quality taxonomic rank)
- Sista has quality class ⇐ (Sista is a watercourse), (watercourse has quality class)
- Sista has quality type ⇐ (Sista is a watercourse), (watercourse has quality type)
- Sista has quality type of property ⇐ (Sista is a watercourse), (watercourse has quality type of property)
- Sista has quality quality ⇐ (Sista is a watercourse), (watercourse has quality quality)
- Sista has quality property ⇐ (Sista is a watercourse), (watercourse has quality property)
- Sista has quality superclass ⇐ (Sista is a watercourse), (watercourse has quality superclass)
- Sista has quality criterion ⇐ (Sista is a watercourse), (watercourse has quality criterion)
- Sista is a watercourse ⇐ (stream is subclass of watercourse), (Sista is a stream)
- stream is for example Sista ⇐ (Sista is a stream), (is a is inverse of is for example)
- Sista is a stream ⇐ (river is subclass of stream), (Sista is a river)
- river is for example Sista ⇐ (Sista is a river), (is a is inverse of is for example)