Deductions
- VIAF component has quality class ⇐ (abstract entity is a class), (VIAF component has quality abstract entity)
- VIAF component has quality abstract entity ⇐ (property is a abstract entity), (VIAF component has quality property)
- VIAF component has quality entity ⇐ (property is a entity), (VIAF component has quality property)
- VIAF component has quality existence ⇐ (VIAF component is subclass of part), (part has quality existence)
- VIAF component has quality mereological relation ⇐ (VIAF component is subclass of part), (part has quality mereological relation)
- VIAF component has quality property ⇐ (VIAF component is subclass of part), (part has quality property)
- VIAF component has quality relation ⇐ (VIAF component is subclass of part), (part has quality relation)
- VIAF component is subclass of part ⇐ (VIAF component is subclass of component), (component is subclass of part), (is subclass of is a transitive relation)
- VIAF component is subclass of entity ⇐ (VIAF component is subclass of component), (component is subclass of entity), (is subclass of is a transitive relation)
- VIAF component is subclass of component ⇐ (VIAF component is subclass of immaterial component), (immaterial component is subclass of component), (is subclass of is a transitive relation)