Deductions
- transport infrastructure has quality class ⇐ (existence is a class), (transport infrastructure has quality existence)
- transport infrastructure has quality existence ⇐ (transport infrastructure is a class), (class has quality existence)
- transport infrastructure has quality entity ⇐ (transport infrastructure is a class), (class has quality entity)
- transport infrastructure has quality taxonomic rank ⇐ (transport infrastructure is a class), (class has quality taxonomic rank)
- transport infrastructure has quality superclass ⇐ (transport infrastructure is a class), (class has quality superclass)
- abstract entity is for example transport infrastructure ⇐ (transport infrastructure is a abstract entity), (is a is inverse of is for example)
- entity is for example transport infrastructure ⇐ (transport infrastructure is a entity), (is a is inverse of is for example)
- class is for example transport infrastructure ⇐ (transport infrastructure is a class), (is a is inverse of is for example)
- transport infrastructure is a abstract entity ⇐ (type of infrastructure is subclass of abstract entity), (transport infrastructure is a type of infrastructure)
- transport infrastructure is a entity ⇐ (type of infrastructure is subclass of entity), (transport infrastructure is a type of infrastructure)
- transport infrastructure is a class ⇐ (type of infrastructure is subclass of class), (transport infrastructure is a type of infrastructure)
- type is for example transport infrastructure ⇐ (transport infrastructure is a type), (is a is inverse of is for example)
- transport infrastructure is a type ⇐ (type of infrastructure is subclass of type), (transport infrastructure is a type of infrastructure)
- type of infrastructure is for example transport infrastructure ⇐ (transport infrastructure is a type of infrastructure), (is a is inverse of is for example)
- transport infrastructure is for example East Capitol Street ⇐ (East Capitol Street is a transport infrastructure), (is a is inverse of is for example)
- East Capitol Street is a transport infrastructure ⇐ (street is subclass of transport infrastructure), (East Capitol Street is a street)