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