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