Deductions
- open-source software has quality class ⇐ (open-source software has quality quality), (quality has quality class), (has quality is a transitive relation)
- open-source software has quality artificiality ⇐ (open-source software has quality intellectual work), (intellectual work has quality artificiality), (has quality is a transitive relation)
- open-source software has quality type of object ⇐ (open-source software has quality intellectual work), (intellectual work has quality type of object), (has quality is a transitive relation)
- open-source software has quality genre ⇐ (open-source software has quality intellectual work), (intellectual work has quality genre), (has quality is a transitive relation)
- open-source software has quality intellectual work ⇐ (contract is subclass of intellectual work), (open-source software has quality contract)
- open-source software has quality creativity ⇐ (open-source software is subclass of freely redistributable software), (freely redistributable software has quality creativity)
- open-source software has quality license ⇐ (free license is subclass of license), (open-source software has quality free license)
- open-source software has quality contract ⇐ (free license is subclass of contract), (open-source software has quality free license)
- open-source software is subclass of software ⇐ (open-source software is subclass of freely redistributable software), (freely redistributable software is subclass of software), (is subclass of is a transitive relation)
- open-source software is subclass of freely redistributable software ⇐ (proprietary software is subclass of freely redistributable software), (proprietary software is opposite of open-source software)
- open-source software has quality type of property ⇐ (open-source software has quality quality), (quality has quality type of property), (has quality is a transitive relation)
- open-source software has quality type ⇐ (open-source software has quality quality), (quality has quality type), (has quality is a transitive relation)
- open-source software has quality class ⇐ (open-source software has quality quality), (quality has quality class), (has quality is a transitive relation)
- open-source software has quality abstract entity ⇐ (property is a abstract entity), (open-source software has quality property)
- open-source software has quality copyright license ⇐ (free license is a copyright license), (open-source software has quality free license)
- open-source software has quality criterion ⇐ (open-source software is a software category), (software category has quality criterion)
- open-source software has quality existence ⇐ (open-source software is a software category), (software category has quality existence)
- open-source software has quality quality ⇐ (open-source software is a software category), (software category has quality quality)
- open-source software has quality property ⇐ (open-source software is a software category), (software category has quality property)
- open-source software has quality entity ⇐ (taxonomic rank is a entity), (open-source software has quality taxonomic rank)
- software category is for example open-source software ⇐ (open-source software is a software category), (is a is inverse of is for example)
- entity is for example open-source software ⇐ (open-source software is a entity), (is a is inverse of is for example)
- abstract entity is for example open-source software ⇐ (open-source software is a abstract entity), (is a is inverse of is for example)
- class is for example open-source software ⇐ (open-source software is a class), (is a is inverse of is for example)
- open-source software has quality superclass ⇐ (open-source software is a class), (class has quality superclass)
- open-source software has quality taxonomic rank ⇐ (open-source software is a class), (class has quality taxonomic rank)
- open-source software is a class ⇐ (proprietary software is a class), (proprietary software is opposite of open-source software)
- open-source software is a abstract entity ⇐ (proprietary software is a abstract entity), (proprietary software is opposite of open-source software)
- open-source software is a software category ⇐ (proprietary software is a software category), (proprietary software is opposite of open-source software)
- open-source software is a entity ⇐ (proprietary software is a entity), (proprietary software is opposite of open-source software)
- open-source software is subclass of creative work ⇐ (proprietary software is subclass of creative work), (proprietary software is opposite of open-source software)