Deductions
- abstract entity is for example asset type ⇐ (asset type is a abstract entity), (is a is inverse of is for example)
- asset type has quality existence ⇐ (asset type is a abstract entity), (abstract entity has quality existence)
- asset type is a abstract entity ⇐ (metaclass is subclass of abstract entity), (asset type is a metaclass)
- asset type has quality existence ⇐ (asset type has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- asset type has quality abstract entity ⇐ (type is a abstract entity), (asset type has quality type)
- asset type has quality entity ⇐ (taxonomic rank is a entity), (asset type has quality taxonomic rank)
- asset type has quality class ⇐ (type of property is subclass of class), (asset type has quality type of property)
- asset type has quality class ⇐ (asset type is subclass of type of object), (type of object has quality class)
- asset type has quality taxonomic rank ⇐ (asset type is subclass of type of object), (type of object has quality taxonomic rank)
- asset type has quality criterion ⇐ (asset type is subclass of type of object), (type of object has quality criterion)
- asset type has quality superclass ⇐ (asset type is subclass of type of object), (type of object has quality superclass)
- asset type has quality property ⇐ (asset type is subclass of type of object), (type of object has quality property)
- asset type has quality quality ⇐ (asset type is subclass of type of object), (type of object has quality quality)
- asset type has quality type of property ⇐ (asset type is subclass of type of object), (type of object has quality type of property)
- asset type has quality type ⇐ (asset type is subclass of type of object), (type of object has quality type)
- metaclass is for example asset type ⇐ (asset type is a metaclass), (is a is inverse of is for example)
- asset type is for example intellectual property ⇐ (intellectual property is a asset type), (is a is inverse of is for example)