holdsAt

P112261
predicate

Indicates that a particular condition or fluent is true and persists at a specified point in time.

All labels observed (1)

Label Occurrences
holdsAt canonical 3

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: holdsAt
Generated description
Indicates that a particular condition or fluent is true and persists at a specified point in time.

Sample triples (3)

Subject Object
Landau–Peierls instability finite temperature
Fritz John conditions local minima under mild regularity assumptions
Fritz John conditions local maxima under mild regularity assumptions