scopeCondition

P165180
predicate

Indicates the specific conditions or constraints under which something is valid, applicable, or in effect within a given scope.

All labels observed (3)

Label Occurrences
scopeCondition canonical 2
conditionForSkolemConstant 1
conditionForSkolemFunction 1

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: scopeCondition
Generated description
Indicates the specific conditions or constraints under which something is valid, applicable, or in effect within a given scope.

Sample triples (4)

Subject Object
Directive 94/45/EC at least 1000 employees in the EU or EEA
Directive 94/45/EC at least 150 employees in each of at least two Member States
Skolemization existential quantifier within scope of universal quantifiers via predicate surface "conditionForSkolemFunction"
Skolemization existential quantifier not within scope of universal quantifiers via predicate surface "conditionForSkolemConstant"