Deductions
- WikiProject Books has quality class ⇐ (existence is a class), (WikiProject Books has quality existence)
- occurrent is for example WikiProject Books ⇐ (WikiProject Books is a occurrent), (is a is inverse of is for example)
- entity is for example WikiProject Books ⇐ (WikiProject Books is a entity), (is a is inverse of is for example)
- spatio-temporal entity is for example WikiProject Books ⇐ (WikiProject Books is a spatio-temporal entity), (is a is inverse of is for example)
- WikiProject Books has quality existence ⇐ (WikiProject Books is a spatio-temporal entity), (spatio-temporal entity has quality existence)
- WikiProject Books has quality point in time ⇐ (WikiProject Books is a spatio-temporal entity), (spatio-temporal entity has quality point in time)
- WikiProject Books is a spatio-temporal entity ⇐ (WikiProject is subclass of spatio-temporal entity), (WikiProject Books is a WikiProject)
- WikiProject Books is a entity ⇐ (WikiProject is subclass of entity), (WikiProject Books is a WikiProject)
- WikiProject Books is a occurrent ⇐ (WikiProject is subclass of occurrent), (WikiProject Books is a WikiProject)
- WikiProject is for example WikiProject Books ⇐ (WikiProject Books is a WikiProject), (is a is inverse of is for example)
- collaboration is for example WikiProject Books ⇐ (WikiProject Books is a collaboration), (is a is inverse of is for example)
- WikiProject Books is a collaboration ⇐ (WikiProject is subclass of collaboration), (WikiProject Books is a WikiProject)