Deductions
- foundation has quality superclass ⇐ (foundation has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- foundation has quality class ⇐ (existence is a class), (foundation has quality existence)
- foundation has quality existence ⇐ (foundation has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- foundation has quality superclass ⇐ (foundation has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- foundation has quality taxonomic rank ⇐ (foundation has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- foundation has quality abstract entity ⇐ (property is a abstract entity), (foundation has quality property)
- foundation has quality entity ⇐ (property is a entity), (foundation has quality property)
- legal concept is for example foundation ⇐ (foundation is a legal concept), (is a is inverse of is for example)
- type of business entity is for example foundation ⇐ (foundation is a type of business entity), (is a is inverse of is for example)
- foundation is a type of business entity ⇐ (type of legal entity in Switzerland is subclass of type of business entity), (foundation is a type of legal entity in Switzerland)
- foundation has quality property ⇐ (legal capacity is subclass of property), (foundation has quality legal capacity)
- foundation has quality legal capacity ⇐ (foundation is subclass of legal person), (legal person has quality legal capacity)
- foundation is for example Open Society Foundations ⇐ (Open Society Foundations is a foundation), (is a is inverse of is for example)