Deductions
- product category has quality class ⇐ (existence is a class), (product category has quality existence)
- product category has quality superclass ⇐ (product category is a class), (class has quality superclass)
- product category has quality taxonomic rank ⇐ (product category is a class), (class has quality taxonomic rank)
- product category has quality entity ⇐ (product category is a class), (class has quality entity)
- class is for example product category ⇐ (product category is a class), (is a is inverse of is for example)
- product category is a class ⇐ (abstract entity is subclass of class), (product category is a abstract entity)
- abstract entity is for example product category ⇐ (product category is a abstract entity), (is a is inverse of is for example)
- product category is a abstract entity ⇐ (metaclass is subclass of abstract entity), (product category is a metaclass)
- product category is for example computer hardware ⇐ (computer hardware is a product category), (is a is inverse of is for example)
- entity is for example product category ⇐ (product category is a entity), (is a is inverse of is for example)
- product category has quality existence ⇐ (product category is a entity), (entity has quality existence)
- product category is a entity ⇐ (metaclass is subclass of entity), (product category is a metaclass)
- computer hardware is a product category ⇐ (software is a product category), (software is opposite of computer hardware)
- metaclass is for example product category ⇐ (product category is a metaclass), (is a is inverse of is for example)
- product category is for example software ⇐ (software is a product category), (is a is inverse of is for example)
- product category is for example disposable product ⇐ (disposable product is a product category), (is a is inverse of is for example)