Deductions
- metaclass is for example type of contract ⇐ (type of contract is a metaclass), (is a is inverse of is for example)
- type of contract has quality superclass ⇐ (type of contract is a metaclass), (metaclass has quality superclass)
- type of contract has quality entity ⇐ (type of contract is a metaclass), (metaclass has quality entity)
- type of contract has quality abstract entity ⇐ (type of contract is a metaclass), (metaclass has quality abstract entity)
- type of contract has quality class ⇐ (type of contract is a metaclass), (metaclass has quality class)
- type of contract has quality property ⇐ (type of contract is a metaclass), (metaclass has quality property)
- type of contract has quality type of property ⇐ (type of contract is a metaclass), (metaclass has quality type of property)
- type of contract has quality existence ⇐ (type of contract is a metaclass), (metaclass has quality existence)
- type of contract has quality quality ⇐ (type of contract is a metaclass), (metaclass has quality quality)
- type of contract has quality criterion ⇐ (type of contract is a metaclass), (metaclass has quality criterion)
- type of contract has quality taxonomic rank ⇐ (type of contract is a metaclass), (metaclass has quality taxonomic rank)
- free license has quality type of contract ⇐ (free license is subclass of contract), (contract has quality type of contract)
- proprietary license has quality type of contract ⇐ (proprietary license is subclass of contract), (contract has quality type of contract)