inPolishSpace
P161883
predicate
Indicates that an entity exists or is located within a Polish (complete, separable metric) space.