Deductions
- Rumford Prize has quality superclass ⇐ (Rumford Prize has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- Rumford Prize has quality class ⇐ (abstract entity is a class), (Rumford Prize has quality abstract entity)
- Rumford Prize has quality superclass ⇐ (Rumford Prize has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- Rumford Prize has quality taxonomic rank ⇐ (Rumford Prize has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- Rumford Prize has quality abstract entity ⇐ (type is a abstract entity), (Rumford Prize has quality type)
- Rumford Prize has quality entity ⇐ (type is a entity), (Rumford Prize has quality type)
- academic award is for example Rumford Prize ⇐ (Rumford Prize is a academic award), (is a is inverse of is for example)
- entity is for example Rumford Prize ⇐ (Rumford Prize is a entity), (is a is inverse of is for example)
- object is for example Rumford Prize ⇐ (Rumford Prize is a object), (is a is inverse of is for example)
- Rumford Prize has quality existence ⇐ (Rumford Prize is a object), (object has quality existence)
- Rumford Prize has quality type ⇐ (Rumford Prize is a object), (object has quality type)
- Rumford Prize has quality type of object ⇐ (Rumford Prize is a object), (object has quality type of object)
- Rumford Prize is a object ⇐ (academic award is subclass of object), (Rumford Prize is a academic award)
- Rumford Prize is a entity ⇐ (academic award is subclass of entity), (Rumford Prize is a academic award)
- Rumford Prize is a academic award ⇐ (science award is subclass of academic award), (Rumford Prize is a science award)
- science award is for example Rumford Prize ⇐ (Rumford Prize is a science award), (is a is inverse of is for example)