red

Deductions

• red has quality class ⇐ (quality is a class), (red has quality quality)
• red has quality entity ⇐ (taxonomic rank is a entity), (red has quality taxonomic rank)
• red has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (red has quality metaclass)
• red has quality class ⇐ (type of property is a class), (red has quality type of property)
• red has quality philosophical concept ⇐ (phenomenon is a philosophical concept), (red has quality phenomenon)
• web color is for example red ⇐ (red is a web color), (is a is inverse of is for example)
• red has quality observation ⇐ (red has quality phenomenon), (phenomenon has quality observation), (has quality is a transitive relation)
• red has quality type ⇐ (red has quality property), (property has quality type), (has quality is a transitive relation)
• red has quality type of property ⇐ (red has quality property), (property has quality type of property), (has quality is a transitive relation)
• red has quality criterion ⇐ (red has quality BFO class), (BFO class has quality criterion), (has quality is a transitive relation)
• red has quality quality ⇐ (red has quality BFO class), (BFO class has quality quality), (has quality is a transitive relation)
• red has quality property ⇐ (red has quality BFO class), (BFO class has quality property), (has quality is a transitive relation)
• red has quality extension of a concept ⇐ (red has quality concept), (concept has quality extension of a concept), (has quality is a transitive relation)
• red has quality set ⇐ (red has quality concept), (concept has quality set), (has quality is a transitive relation)
• red has quality superclass ⇐ (red has quality concept), (concept has quality superclass), (has quality is a transitive relation)
• red has quality class ⇐ (red has quality concept), (concept has quality class), (has quality is a transitive relation)
• red has quality mathematical object ⇐ (red has quality concept), (concept has quality mathematical object), (has quality is a transitive relation)
• red has quality taxonomic rank ⇐ (red has quality concept), (concept has quality taxonomic rank), (has quality is a transitive relation)
• red is subclass of wave ⇐ (red is subclass of electromagnetic wave), (electromagnetic wave is subclass of wave), (is subclass of is a transitive relation)
• red is subclass of electromagnetic wave ⇐ (red is subclass of light), (light is subclass of electromagnetic wave), (is subclass of is a transitive relation)
• red has quality concept ⇐ (state is a concept), (red has quality state)
• red has quality metaclass ⇐ (BFO class is a metaclass), (red has quality BFO class)
• red has quality BFO class ⇐ (occurrent is a BFO class), (red has quality occurrent)
• red has quality occurrent ⇐ (phenomenon is subclass of occurrent), (red has quality phenomenon)
• red has quality phenomenon ⇐ (state is subclass of phenomenon), (red has quality state)
• red has quality state ⇐ (condition is subclass of state), (red has quality condition)
• red has quality condition ⇐ (spectrum is subclass of condition), (red has quality spectrum)
• red has quality spectrum ⇐ (red is subclass of light), (light has quality spectrum)