Deductions
- type of museum has quality class ⇐ (existence is a class), (type of museum has quality existence)
- class is for example type of museum ⇐ (type of museum is a class), (is a is inverse of is for example)
- type of museum is a class ⇐ (abstract entity is subclass of class), (type of museum is a abstract entity)
- abstract entity is for example type of museum ⇐ (type of museum is a abstract entity), (is a is inverse of is for example)
- type of museum has quality entity ⇐ (type of museum is a abstract entity), (abstract entity has quality entity)
- type of museum has quality superclass ⇐ (type of museum is a abstract entity), (abstract entity has quality superclass)
- type of museum has quality taxonomic rank ⇐ (type of museum is a abstract entity), (abstract entity has quality taxonomic rank)
- type of museum is a abstract entity ⇐ (metaclass is subclass of abstract entity), (type of museum is a metaclass)
- type of museum is for example maritime museum ⇐ (maritime museum is a type of museum), (is a is inverse of is for example)
- entity is for example type of museum ⇐ (type of museum is a entity), (is a is inverse of is for example)
- type of museum has quality existence ⇐ (type of museum is a entity), (entity has quality existence)
- type of museum is a entity ⇐ (metaclass is subclass of entity), (type of museum is a metaclass)
- type of museum is for example museum of culture ⇐ (museum of culture is a type of museum), (is a is inverse of is for example)
- metaclass is for example type of museum ⇐ (type of museum is a metaclass), (is a is inverse of is for example)
- type of museum is for example art museum ⇐ (art museum is a type of museum), (is a is inverse of is for example)