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