Deductions
- free software license is subclass of software ⇐ (free software license 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 software ⇐ (open-source software is subclass of freely redistributable software), (freely redistributable software is subclass of software), (is subclass of is a transitive relation)
- software has quality class ⇐ (quality is a class), (software has quality quality)
- software has quality abstract entity ⇐ (type is a abstract entity), (software has quality type)
- software has quality entity ⇐ (taxonomic rank is a entity), (software has quality taxonomic rank)
- electronics is for example software ⇐ (software is a electronics), (is a is inverse of is for example)
- group is for example software ⇐ (software is a group), (is a is inverse of is for example)
- software is subclass of electronic device ⇐ (computer hardware is subclass of electronic device), (computer hardware is opposite of software)
- software has quality number of objects ⇐ (software is a group), (group has quality number of objects)
- software is a group ⇐ (product category is subclass of group), (software is a product category)
- software has quality criterion ⇐ (software is subclass of intellectual work), (intellectual work has quality criterion)
- software has quality superclass ⇐ (software is subclass of intellectual work), (intellectual work has quality superclass)
- software has quality type of property ⇐ (software is subclass of intellectual work), (intellectual work has quality type of property)
- software has quality quality ⇐ (software is subclass of intellectual work), (intellectual work has quality quality)
- software has quality taxonomic rank ⇐ (software is subclass of intellectual work), (intellectual work has quality taxonomic rank)
- software has quality class ⇐ (software is subclass of intellectual work), (intellectual work has quality class)
- software has quality type of object ⇐ (software is subclass of intellectual work), (intellectual work has quality type of object)
- software has quality genre ⇐ (software is subclass of intellectual work), (intellectual work has quality genre)
- software has quality artificiality ⇐ (software is subclass of intellectual work), (intellectual work has quality artificiality)
- software has quality existence ⇐ (software is subclass of intellectual work), (intellectual work has quality existence)
- software has quality type ⇐ (software is subclass of intellectual work), (intellectual work has quality type)
- software has quality property ⇐ (software is subclass of intellectual work), (intellectual work has quality property)
- software is a electronics ⇐ (computer hardware is a electronics), (computer hardware is opposite of software)
- product category is for example software ⇐ (software is a product category), (is a is inverse of is for example)
- software is subclass of intellectual work ⇐ (software is subclass of creative work), (creative work is subclass of intellectual work), (is subclass of is a transitive relation)
- free software is subclass of software ⇐ (free software is subclass of freely redistributable software), (freely redistributable software is subclass of software), (is subclass of is a transitive relation)