Deductions
- class is for example service type ⇐ (service type is a class), (is a is inverse of is for example)
- service type is a class ⇐ (abstract entity is subclass of class), (service type is a abstract entity)
- abstract entity is for example service type ⇐ (service type is a abstract entity), (is a is inverse of is for example)
- service type has quality entity ⇐ (service type is a abstract entity), (abstract entity has quality entity)
- service type has quality existence ⇐ (service type is a abstract entity), (abstract entity has quality existence)
- service type has quality superclass ⇐ (service type is a abstract entity), (abstract entity has quality superclass)
- service type has quality taxonomic rank ⇐ (service type is a abstract entity), (abstract entity has quality taxonomic rank)
- service type is a abstract entity ⇐ (metaclass is subclass of abstract entity), (service type is a metaclass)
- service type is for example civil service ⇐ (civil service is a service type), (is a is inverse of is for example)
- entity is for example service type ⇐ (service type is a entity), (is a is inverse of is for example)
- metaclass is for example service type ⇐ (service type is a metaclass), (is a is inverse of is for example)
- service type is a entity ⇐ (metaclass is subclass of entity), (service type is a metaclass)
- service type is for example online service ⇐ (online service is a service type), (is a is inverse of is for example)