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