Deductions
- work is for example computer ⇐ (computer is a work), (is a is inverse of is for example)
- computer is a work ⇐ (invention is subclass of work), (computer is a invention)
- computer has quality genre ⇐ (computer is a invention), (invention has quality genre)
- computer has quality entity ⇐ (computer is a invention), (invention has quality entity)
- computer has quality taxonomic rank ⇐ (computer is a invention), (invention has quality taxonomic rank)
- computer has quality artificiality ⇐ (computer is a invention), (invention has quality artificiality)
- computer has quality superclass ⇐ (computer is a invention), (invention has quality superclass)
- computer has quality type of property ⇐ (computer is a invention), (invention has quality type of property)
- computer has quality type ⇐ (computer is a invention), (invention has quality type)
- computer has quality type of object ⇐ (computer is a invention), (invention has quality type of object)
- computer has quality property ⇐ (computer is a invention), (invention has quality property)
- computer has quality first of its kind ⇐ (computer is a invention), (invention has quality first of its kind)
- computer has quality criterion ⇐ (computer is a invention), (invention has quality criterion)
- computer has quality existence ⇐ (computer is a invention), (invention has quality existence)
- computer has quality class ⇐ (computer is a invention), (invention has quality class)
- computer has quality quality ⇐ (computer is a invention), (invention has quality quality)
- computer has quality abstract entity ⇐ (computer is a invention), (invention has quality abstract entity)
- invention is for example computer ⇐ (computer is a invention), (is a is inverse of is for example)
- software extension is part of computer ⇐ (software extension is part of software), (software is part of computer), (is part of is a transitive relation)