Deductions
- Murom has quality class ⇐ (set is a class), (Murom has quality set)
- Murom has quality class ⇐ (abstract entity is a class), (Murom has quality abstract entity)
- Murom has quality class ⇐ (set is a class), (Murom has quality set)
- Murom has quality type of property ⇐ (geographic location is a type of property), (Murom has quality geographic location)
- Murom has quality abstract entity ⇐ (set is a abstract entity), (Murom has quality set)
- Murom has quality entity ⇐ (taxonomic rank is a entity), (Murom has quality taxonomic rank)
- urban settlement is for example Murom ⇐ (Murom is a urban settlement), (is a is inverse of is for example)
- geographical feature is for example Murom ⇐ (Murom is a geographical feature), (is a is inverse of is for example)
- Murom has quality class ⇐ (Murom is a geographical feature), (geographical feature has quality class)
- Murom has quality mathematical object ⇐ (Murom is a geographical feature), (geographical feature has quality mathematical object)
- Murom has quality taxonomic rank ⇐ (Murom is a geographical feature), (geographical feature has quality taxonomic rank)
- Murom has quality extension of a concept ⇐ (Murom is a geographical feature), (geographical feature has quality extension of a concept)
- Murom has quality superclass ⇐ (Murom is a geographical feature), (geographical feature has quality superclass)
- Murom has quality geographic location ⇐ (Murom is a geographical feature), (geographical feature has quality geographic location)
- Murom has quality set ⇐ (Murom is a geographical feature), (geographical feature has quality set)
- Murom has quality mathematical property ⇐ (Murom is a geographical feature), (geographical feature has quality mathematical property)
- Murom has quality relation ⇐ (Murom is a geographical feature), (geographical feature has quality relation)
- Murom is a geographical feature ⇐ (urban settlement is subclass of geographical feature), (Murom is a urban settlement)
- Murom is a urban settlement ⇐ (city or town is subclass of urban settlement), (Murom is a city or town)
- city or town is for example Murom ⇐ (Murom is a city or town), (is a is inverse of is for example)