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