Deductions
- invention has quality abstract entity ⇐ (invention is subclass of work), (work has quality abstract entity)
- invention has quality quality ⇐ (invention is subclass of work), (work has quality quality)
- invention has quality entity ⇐ (invention is subclass of work), (work has quality entity)
- invention has quality type of object ⇐ (invention is subclass of work), (work has quality type of object)
- invention has quality class ⇐ (invention is subclass of work), (work has quality class)
- invention has quality artificiality ⇐ (invention is subclass of work), (work has quality artificiality)
- invention has quality taxonomic rank ⇐ (invention is subclass of work), (work has quality taxonomic rank)
- invention has quality type ⇐ (invention is subclass of work), (work has quality type)
- invention has quality existence ⇐ (invention is subclass of work), (work has quality existence)
- invention has quality genre ⇐ (invention is subclass of work), (work has quality genre)
- invention has quality superclass ⇐ (invention is subclass of work), (work has quality superclass)
- invention has quality type of property ⇐ (invention is subclass of work), (work has quality type of property)
- invention has quality property ⇐ (invention is subclass of work), (work has quality property)
- invention has quality criterion ⇐ (invention is subclass of work), (work has quality criterion)
- invention is for example computer ⇐ (computer is a invention), (is a is inverse of is for example)