Deductions
- subsidiary has quality ownership ⇐ (subsidiary is subclass of private company), (private company has quality ownership)
- parent company has quality ownership ⇐ (privately owned is a ownership), (parent company has quality privately owned)
- private university has quality ownership ⇐ (privately owned is a ownership), (private university has quality privately owned)
- private company has quality ownership ⇐ (privately owned is a ownership), (private company has quality privately owned)
- ownership is for example privately owned ⇐ (privately owned is a ownership), (is a is inverse of is for example)
- author's rights has quality ownership ⇐ (author's rights is subclass of intellectual property), (intellectual property has quality ownership)
- ownership has quality class ⇐ (existence is a class), (ownership has quality existence)
- ownership has quality entity ⇐ (taxonomic rank is a entity), (ownership has quality taxonomic rank)
- intellectual property has quality ownership ⇐ (intellectual property is subclass of property), (property has quality ownership)
- private property has quality ownership ⇐ (private property is subclass of property), (property has quality ownership)
- ownership has quality legal concept ⇐ (alienation is a legal concept), (ownership has quality alienation)
- ownership has quality existence ⇐ (ownership is subclass of abstract entity), (abstract entity has quality existence)
- ownership has quality superclass ⇐ (ownership is subclass of abstract entity), (abstract entity has quality superclass)
- ownership has quality taxonomic rank ⇐ (ownership is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- legal concept is for example ownership ⇐ (ownership is a legal concept), (is a is inverse of is for example)
- ownership is subclass of legal concept ⇐ (ownership is subclass of rights), (rights is subclass of legal concept), (is subclass of is a transitive relation)
- ownership is subclass of abstract entity ⇐ (ownership is subclass of rights), (rights is subclass of abstract entity), (is subclass of is a transitive relation)
- ownership is subclass of concept ⇐ (ownership is subclass of rights), (rights is subclass of concept), (is subclass of is a transitive relation)
- ownership is subclass of entity ⇐ (ownership is subclass of rights), (rights 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)
- treasury has quality ownership ⇐ (treasury is subclass of property), (property has quality ownership)