Deductions
- rights has part member of a group ⇐ (rights is subclass of class), (class has part member of a group)
- rights is subclass of class ⇐ (duty is subclass of class), (duty is opposite of rights)
- rights has quality class ⇐ (quality is a class), (rights has quality quality)
- rights has quality abstract entity ⇐ (type is a abstract entity), (rights has quality type)
- exception to copyright is subclass of rights ⇐ (exclusive right is subclass of rights), (exclusive right is opposite of exception to copyright)
- rights has quality existence ⇐ (rights has quality entity), (entity has quality existence), (has quality is a transitive relation)
- rights has quality entity ⇐ (taxonomic rank is a entity), (rights has quality taxonomic rank)
- relation is for example rights ⇐ (rights is a relation), (is a is inverse of is for example)
- rights has quality class ⇐ (rights is a relation), (relation has quality class)
- rights has quality type of relation ⇐ (rights is a relation), (relation has quality type of relation)
- rights has quality type ⇐ (rights is a relation), (relation has quality type)
- rights has quality property ⇐ (rights is a relation), (relation has quality property)
- rights has quality quality ⇐ (rights is a relation), (relation has quality quality)
- rights has quality criterion ⇐ (rights is a relation), (relation has quality criterion)
- rights has quality superclass ⇐ (rights is a relation), (relation has quality superclass)
- rights has quality type of property ⇐ (rights is a relation), (relation has quality type of property)
- rights has quality taxonomic rank ⇐ (rights is a relation), (relation has quality taxonomic rank)
- rights is a relation ⇐ (legal relationship is subclass of relation), (rights is a legal relationship)
- legal relationship is for example rights ⇐ (rights is a legal relationship), (is a is inverse of is for example)
- rights is subclass of concept ⇐ (rights is subclass of legal concept), (legal concept is subclass of concept), (is subclass of is a transitive relation)
- rights is subclass of abstract entity ⇐ (rights is subclass of legal concept), (legal concept is subclass of abstract entity), (is subclass of is a transitive relation)
- rights is subclass of entity ⇐ (rights is subclass of legal concept), (legal concept is subclass of entity), (is subclass of is a transitive relation)
- ownership is subclass of rights ⇐ (ownership is subclass of exclusive right), (exclusive right is subclass of rights), (is subclass of is a transitive relation)