Deductions
- environment has quality class ⇐ (abstract entity is a class), (environment has quality abstract entity)
- environment has quality entity ⇐ (type is a entity), (environment has quality type)
- environment has quality class ⇐ (type of property is subclass of class), (environment has quality type of property)
- environment has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (environment has quality metaclass)
- environment has quality type ⇐ (relative quality is a type), (environment has quality relative quality)
- environment has quality class ⇐ (type of property is a class), (environment has quality type of property)
- topic is for example environment ⇐ (environment is a topic), (is a is inverse of is for example)
- environment has quality recipient ⇐ (environment has quality effect), (effect has quality recipient), (has quality is a transitive relation)
- environment has quality thematic relation ⇐ (environment has quality effect), (effect has quality thematic relation), (has quality is a transitive relation)
- environment has quality role ⇐ (environment has quality effect), (effect has quality role), (has quality is a transitive relation)
- environment has quality relative quality ⇐ (environment has quality effect), (effect has quality relative quality), (has quality is a transitive relation)
- environment has quality class ⇐ (environment has quality philosophical concept), (philosophical concept has quality class), (has quality is a transitive relation)
- environment has quality set ⇐ (environment has quality philosophical concept), (philosophical concept has quality set), (has quality is a transitive relation)
- environment has quality mathematical object ⇐ (environment has quality philosophical concept), (philosophical concept has quality mathematical object), (has quality is a transitive relation)
- environment has quality extension of a concept ⇐ (environment has quality philosophical concept), (philosophical concept has quality extension of a concept), (has quality is a transitive relation)
- environment has quality property ⇐ (environment has quality metaclass), (metaclass has quality property), (has quality is a transitive relation)
- environment has quality quality ⇐ (environment has quality metaclass), (metaclass has quality quality), (has quality is a transitive relation)
- environment has quality type of property ⇐ (environment has quality metaclass), (metaclass has quality type of property), (has quality is a transitive relation)
- environment has quality criterion ⇐ (environment has quality metaclass), (metaclass has quality criterion), (has quality is a transitive relation)
- environment has quality metaclass ⇐ (BFO class is a metaclass), (environment has quality BFO class)
- environment has quality BFO class ⇐ (occurrent is a BFO class), (environment has quality occurrent)
- environment has quality philosophical concept ⇐ (interaction is a philosophical concept), (environment has quality interaction)
- environment has quality occurrent ⇐ (occurrence is subclass of occurrent), (environment has quality occurrence)
- environment has quality occurrence ⇐ (action is subclass of occurrence), (environment has quality action)
- environment has quality action ⇐ (effect is subclass of action), (environment has quality effect)
- environment has quality effect ⇐ (interaction is subclass of effect), (environment has quality interaction)
- environment has quality existence ⇐ (environment is subclass of environment), (environment has quality existence)
- environment has quality interaction ⇐ (environment is subclass of environment), (environment has quality interaction)
- environment has quality existence ⇐ (environment is subclass of system), (system has quality existence)
- environment has quality interaction ⇐ (environment is subclass of system), (system has quality interaction)