Deductions
- software extension has quality class ⇐ (abstract entity is a class), (software extension has quality abstract entity)
- software extension is part of computer ⇐ (software extension is part of software), (software is part of computer), (is part of is a transitive relation)
- abstract entity is for example software extension ⇐ (software extension is a abstract entity), (is a is inverse of is for example)
- software extension has quality taxonomic rank ⇐ (software extension is a abstract entity), (abstract entity has quality taxonomic rank)
- software extension has quality superclass ⇐ (software extension is a abstract entity), (abstract entity has quality superclass)
- software extension has quality existence ⇐ (software extension is a abstract entity), (abstract entity has quality existence)
- software extension is a abstract entity ⇐ (software category is subclass of abstract entity), (software extension is a software category)
- software extension has quality type of object ⇐ (abstract entity is a type of object), (software extension has quality abstract entity)
- software extension has quality abstract entity ⇐ (software extension is subclass of immaterial component), (immaterial component has quality abstract entity)
- software extension has quality entity ⇐ (software extension is subclass of immaterial component), (immaterial component has quality entity)
- software category is for example software extension ⇐ (software extension is a software category), (is a is inverse of is for example)
- software extension is subclass of immaterial component ⇐ (software extension is subclass of software component), (software component is subclass of immaterial component), (is subclass of is a transitive relation)
- Wikibase\/Extending is subclass of software extension ⇐ (Wikibase\/Extending is subclass of MediaWiki extension), (MediaWiki extension is subclass of software extension), (is subclass of is a transitive relation)