Deductions
- software category is for example system software ⇐ (system software is a software category), (is a is inverse of is for example)
- software category has part concept ⇐ (class is a concept), (software category has part class)
- software category has part class ⇐ (class is a class), (software category has part class)
- software category has quality class ⇐ (quality is a class), (software category has quality quality)
- class is for example software category ⇐ (software category is a class), (is a is inverse of is for example)
- software category is a class ⇐ (abstract entity is subclass of class), (software category is a abstract entity)
- software category has quality abstract entity ⇐ (property is a abstract entity), (software category has quality property)
- software category has part class ⇐ (entity is a class), (software category has part entity)
- software category is for example free software license ⇐ (free software license is a software category), (is a is inverse of is for example)
- abstract entity is for example software category ⇐ (software category is a abstract entity), (is a is inverse of is for example)
- software category has quality superclass ⇐ (software category is a abstract entity), (abstract entity has quality superclass)
- software category has quality taxonomic rank ⇐ (software category is a abstract entity), (abstract entity has quality taxonomic rank)
- software category is a abstract entity ⇐ (metaclass is subclass of abstract entity), (software category is a metaclass)
- software category has quality entity ⇐ (property is a entity), (software category has quality property)
- free software license is a software category ⇐ (proprietary software is a software category), (proprietary software is opposite of free software license)
- 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 software category ⇐ (software category is a entity), (is a is inverse of is for example)
- software category is for example operating system ⇐ (operating system is a software category), (is a is inverse of is for example)
- software category has quality existence ⇐ (software category is a entity), (entity has quality existence)
- software category is a entity ⇐ (metaclass is subclass of entity), (software category is a metaclass)
- software category has part variable-order class ⇐ (entity is a variable-order class), (software category has part entity)
- OpenRefine has part software category ⇐ (free software is a software category), (OpenRefine has part free software)
- open-source software is a software category ⇐ (proprietary software is a software category), (proprietary software is opposite of open-source software)
- software category is for example software extension ⇐ (software extension is a software category), (is a is inverse of is for example)
- software category is for example free software ⇐ (free software is a software category), (is a is inverse of is for example)
- metaclass is for example software category ⇐ (software category is a metaclass), (is a is inverse of is for example)
- software category is for example proprietary software ⇐ (proprietary software is a software category), (is a is inverse of is for example)
- software category is for example MediaWiki extension ⇐ (MediaWiki extension is a software category), (is a is inverse of is for example)
- class is for example software category ⇐ (software category is a class), (is a is inverse of is for example)
- software category is subclass of abstract entity ⇐ (software category is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- software category is subclass of entity ⇐ (software category is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- software category is subclass of class ⇐ (software category is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- software category is a class ⇐ (metaclass is subclass of class), (software category is a metaclass)
- software category has quality property ⇐ (quality is subclass of property), (software category has quality quality)
- software category has quality quality ⇐ (criterion is subclass of quality), (software category has quality criterion)
- software category has quality criterion ⇐ (software category is subclass of class), (class has quality criterion)
- software category has part entity ⇐ (software category is subclass of class), (class has part entity)
- proprietary software is a software category ⇐ (free software is a software category), (free software is opposite of proprietary software)