Deductions
- class is for example private school ⇐ (private school is a class), (is a is inverse of is for example)
- entity is for example private school ⇐ (private school is a entity), (is a is inverse of is for example)
- private school has quality existence ⇐ (private school is a entity), (entity has quality existence)
- private school is a entity ⇐ (type of educational institution is subclass of entity), (private school is a type of educational institution)
- private school is a class ⇐ (type of educational institution is subclass of class), (private school is a type of educational institution)
- type of educational institution is for example private school ⇐ (private school is a type of educational institution), (is a is inverse of is for example)
- private school is subclass of educational institution ⇐ (private school is subclass of school), (school is subclass of educational institution), (is subclass of is a transitive relation)
- independent school is subclass of private school ⇐ (independent school is subclass of independent school), (independent school is subclass of private school), (is subclass of is a transitive relation)