Deductions
- service provider has quality class ⇐ (abstract entity is a class), (service provider has quality abstract entity)
- service provider has quality type ⇐ (organizational structure is a type), (service provider has quality organizational structure)
- service provider has quality entity ⇐ (service provider has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- service provider has quality superclass ⇐ (service provider has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- service provider has quality taxonomic rank ⇐ (service provider has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- service provider has quality abstract entity ⇐ (organizational structure is a abstract entity), (service provider has quality organizational structure)
- service provider has quality organizational structure ⇐ (service provider is subclass of organization), (organization has quality organizational structure)
- service provider has quality structure ⇐ (service provider is subclass of organization), (organization has quality structure)
- service provider has quality existence ⇐ (service provider is subclass of entity), (entity has quality existence)
- service provider has quality agency ⇐ (service provider is subclass of agent), (agent has quality agency)
- service provider has quality aptitude ⇐ (service provider is subclass of agent), (agent has quality aptitude)
- service provider is subclass of agent ⇐ (service provider is subclass of organization), (organization is subclass of agent), (is subclass of is a transitive relation)
- service provider is subclass of person or organization ⇐ (service provider is subclass of organization), (organization is subclass of person or organization), (is subclass of is a transitive relation)
- service provider is subclass of continuant ⇐ (service provider is subclass of organization), (organization is subclass of continuant), (is subclass of is a transitive relation)
- service provider is subclass of independent continuant ⇐ (service provider is subclass of organization), (organization is subclass of independent continuant), (is subclass of is a transitive relation)
- service provider is subclass of entity ⇐ (service provider is subclass of organization), (organization is subclass of entity), (is subclass of is a transitive relation)
- public research university is subclass of service provider ⇐ (public research university is subclass of educational institution), (educational institution is subclass of service provider), (is subclass of is a transitive relation)
- university is subclass of service provider ⇐ (university is subclass of educational institution), (educational institution is subclass of service provider), (is subclass of is a transitive relation)
- alma mater is subclass of service provider ⇐ (alma mater is subclass of educational institution), (educational institution is subclass of service provider), (is subclass of is a transitive relation)