Deductions
- data source has quality class ⇐ (abstract entity is a class), (data source has quality abstract entity)
- data source has quality abstract entity ⇐ (type is a abstract entity), (data source has quality type)
- data source has quality existence ⇐ (data source has quality entity), (entity has quality existence), (has quality is a transitive relation)
- data source has quality entity ⇐ (type is a entity), (data source has quality type)
- type of object is for example data source ⇐ (data source is a type of object), (is a is inverse of is for example)
- source type is for example data source ⇐ (data source is a source type), (is a is inverse of is for example)
- type is for example data source ⇐ (data source is a type), (is a is inverse of is for example)
- data source is subclass of entity ⇐ (data source is subclass of source), (source is subclass of entity), (is subclass of is a transitive relation)
- data source is a type ⇐ (type of object is subclass of type), (data source is a type of object)
- data source is a type of object ⇐ (source type is subclass of type of object), (data source is a source type)
- data source has quality type ⇐ (type of object is subclass of type), (data source has quality type of object)
- data source has quality type of object ⇐ (source type is subclass of type of object), (data source has quality source type)
- data source has quality source type ⇐ (data source is subclass of source), (source has quality source type)