Deductions
- type of problem has quality class ⇐ (quality is a class), (type of problem has quality quality)
- type of problem has quality abstract entity ⇐ (type is a abstract entity), (type of problem has quality type)
- type of problem has quality entity ⇐ (type is a entity), (type of problem has quality type)
- metaclass is for example type of problem ⇐ (type of problem is a metaclass), (is a is inverse of is for example)
- entity is for example type of problem ⇐ (type of problem is a entity), (is a is inverse of is for example)
- type of problem has quality existence ⇐ (type of problem is a entity), (entity has quality existence)
- type of problem is a entity ⇐ (metaclass is subclass of entity), (type of problem is a metaclass)
- type of problem has quality type ⇐ (criterion is a type), (type of problem has quality criterion)
- type of problem has quality class ⇐ (type of property is a class), (type of problem has quality type of property)
- type of problem has quality type of property ⇐ (type of problem is subclass of type), (type has quality type of property)
- type of problem has quality criterion ⇐ (type of problem is subclass of type), (type has quality criterion)
- type of problem has quality quality ⇐ (type of problem is subclass of type), (type has quality quality)
- type of problem has quality property ⇐ (type of problem is subclass of type), (type has quality property)
- type of problem is for example social issue ⇐ (social issue is a type of problem), (is a is inverse of is for example)
- type of problem is for example health problem ⇐ (health problem is a type of problem), (is a is inverse of is for example)