Deductions
- form of television program has quality class ⇐ (quality is a class), (form of television program has quality quality)
- form of television program has quality abstract entity ⇐ (property is a abstract entity), (form of television program has quality property)
- metaclass is for example form of television program ⇐ (form of television program is a metaclass), (is a is inverse of is for example)
- form of television program has quality entity ⇐ (property is a entity), (form of television program has quality property)
- form of television program has quality property ⇐ (form of television program is subclass of type), (type has quality property)
- form of television program has quality criterion ⇐ (form of television program is subclass of type), (type has quality criterion)
- form of television program has quality type of property ⇐ (form of television program is subclass of type), (type has quality type of property)
- form of television program has quality quality ⇐ (form of television program is subclass of type), (type has quality quality)
- form of television program has quality class ⇐ (form of television program is subclass of type), (type has quality class)
- form of television program has quality existence ⇐ (form of television program is subclass of type), (type has quality existence)
- form of television program is for example television series ⇐ (television series is a form of television program), (is a is inverse of is for example)