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