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