finiteAt

P9155
predicate

Indicates that a function, quantity, or value remains finite (not infinite or undefined) at a specified point or under a given condition.

Try in SPARQL

All labels observed (6)

Label Occurrences
finiteAt canonical 1
isFiniteFor 1
isFiniteForEachN 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: finiteAt
Generated description
Indicates that a function, quantity, or value remains finite (not infinite or undefined) at a specified point or under a given condition.

Sample triples (6)

Subject Object
Kretschmann scalar Schwarzschild radius ⓘ
surface form: Schwarzschild event horizon
Heaviside step function 1 via predicate surface "rightLimitAt0" ⓘ
Heaviside step function 0 via predicate surface "leftLimitAt0" ⓘ
Lyapunov time system is chaotic via predicate surface "isFiniteWhen" ⓘ
orthogonal group O(n) no positive integer n via predicate surface "isFiniteFor" ⓘ
OEIS A002851 true via predicate surface "isFiniteForEachN" ⓘ