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