Deductions
- light has quality class ⇐ (quality is a class), (light has quality quality)
- light has quality existence ⇐ (light has quality entity), (entity has quality existence), (has quality is a transitive relation)
- light has quality entity ⇐ (property is a entity), (light has quality property)
- light has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (light has quality metaclass)
- measurand is for example light ⇐ (light is a measurand), (is a is inverse of is for example)
- light has quality philosophical concept ⇐ (phenomenon is a philosophical concept), (light has quality phenomenon)
- light is a measurand ⇐ (darkness is a measurand), (darkness is opposite of light)
- production environment factor is for example light ⇐ (light is a production environment factor), (is a is inverse of is for example)
- light has quality observation ⇐ (light has quality phenomenon), (phenomenon has quality observation), (has quality is a transitive relation)
- light has quality criterion ⇐ (light has quality BFO class), (BFO class has quality criterion), (has quality is a transitive relation)
- light has quality quality ⇐ (light has quality BFO class), (BFO class has quality quality), (has quality is a transitive relation)
- light has quality property ⇐ (light has quality BFO class), (BFO class has quality property), (has quality is a transitive relation)
- light has quality concept ⇐ (state is a concept), (light has quality state)
- light has quality metaclass ⇐ (BFO class is a metaclass), (light has quality BFO class)
- light has quality BFO class ⇐ (occurrent is a BFO class), (light has quality occurrent)
- light has quality occurrent ⇐ (phenomenon is subclass of occurrent), (light has quality phenomenon)
- light has quality phenomenon ⇐ (state is subclass of phenomenon), (light has quality state)
- light has quality state ⇐ (condition is subclass of state), (light has quality condition)
- light has quality condition ⇐ (spectrum is subclass of condition), (light has quality spectrum)