Deductions
- private company has quality type of property ⇐ (private company has quality alienation), (alienation has quality type of property), (has quality is a transitive relation)
- private company has quality criterion ⇐ (private company has quality alienation), (alienation has quality criterion), (has quality is a transitive relation)
- private company has quality quality ⇐ (private company has quality alienation), (alienation has quality quality), (has quality is a transitive relation)
- private company has quality property ⇐ (private company has quality alienation), (alienation has quality property), (has quality is a transitive relation)
- private company has quality abstract entity ⇐ (private company has quality alienation), (alienation has quality abstract entity), (has quality is a transitive relation)
- private company has quality type ⇐ (private company has quality alienation), (alienation has quality type), (has quality is a transitive relation)
- private company has quality extension of a concept ⇐ (private company has quality alienation), (alienation has quality extension of a concept), (has quality is a transitive relation)
- private company has quality set ⇐ (private company has quality alienation), (alienation has quality set), (has quality is a transitive relation)
- private company has quality mathematical object ⇐ (private company has quality alienation), (alienation has quality mathematical object), (has quality is a transitive relation)
- private company has quality intersubjectivity ⇐ (private company has quality alienation), (alienation has quality intersubjectivity), (has quality is a transitive relation)
- private company has quality class ⇐ (private company has quality alienation), (alienation has quality class), (has quality is a transitive relation)
- private company has quality entity ⇐ (private company has quality ownership), (ownership has quality entity), (has quality is a transitive relation)
- private company has quality superclass ⇐ (private company has quality ownership), (ownership has quality superclass), (has quality is a transitive relation)
- private company has quality existence ⇐ (private company has quality ownership), (ownership has quality existence), (has quality is a transitive relation)
- private company has quality legal concept ⇐ (private company has quality ownership), (ownership has quality legal concept), (has quality is a transitive relation)
- private company has quality alienation ⇐ (private company has quality ownership), (ownership has quality alienation), (has quality is a transitive relation)
- private company has quality taxonomic rank ⇐ (private company has quality ownership), (ownership has quality taxonomic rank), (has quality is a transitive relation)
- private company has quality class ⇐ (private company has quality ownership), (ownership has quality class), (has quality is a transitive relation)
- private company has quality ownership ⇐ (privately owned is a ownership), (private company has quality privately owned)
- subsidiary is subclass of private company ⇐ (parent company is subclass of private company), (parent company is opposite of subsidiary)
- parent company is subclass of private company ⇐ (parent company is subclass of commercial company), (commercial company is subclass of private company), (is subclass of is a transitive relation)