Deductions
- capitol building has quality class ⇐ (quality is a class), (capitol building has quality quality)
- capitol building has quality abstract entity ⇐ (type is a abstract entity), (capitol building has quality type)
- capitol building has quality entity ⇐ (type is a entity), (capitol building has quality type)
- entity is for example capitol building ⇐ (capitol building is a entity), (is a is inverse of is for example)
- class is for example capitol building ⇐ (capitol building is a class), (is a is inverse of is for example)
- capitol building has quality type ⇐ (capitol building is a class), (class has quality type)
- capitol building has quality property ⇐ (capitol building is a class), (class has quality property)
- capitol building has quality quality ⇐ (capitol building is a class), (class has quality quality)
- capitol building has quality criterion ⇐ (capitol building is a class), (class has quality criterion)
- capitol building has quality existence ⇐ (capitol building is a class), (class has quality existence)
- capitol building is a entity ⇐ (class is subclass of entity), (capitol building is a class)
- capitol building is a class ⇐ (building type is subclass of class), (capitol building is a building type)
- United States Capitol Complex has part capitol building ⇐ (United States Capitol is a capitol building), (United States Capitol Complex has part United States Capitol)
- building type is for example capitol building ⇐ (capitol building is a building type), (is a is inverse of is for example)
- capitol building is for example United States Capitol ⇐ (United States Capitol is a capitol building), (is a is inverse of is for example)