isMetric

P10673
predicate

Indicates that something satisfies the properties required to be considered a metric, such as defining distances that obey non-negativity, identity, symmetry, and the triangle inequality.

All labels observed (4)

Label Occurrences
isMetric canonical 3
typicalMetric 2
hasStandardMetric 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: isMetric
Generated description
Indicates that something satisfies the properties required to be considered a metric, such as defining distances that obey non-negativity, identity, symmetry, and the triangle inequality.

Sample triples (7)

Subject Object
Kullback–Leibler divergence false
Berry–Esseen theorem Kolmogorov distance via predicate surface "typicalMetric"
Berry–Esseen theorem supremum norm of distribution functions via predicate surface "typicalMetric"
Rényi divergence false
Banach–Mazur distance isomorphism classes of finite-dimensional normed spaces via predicate surface "isMetricOn"
Chebyshev distance (L-infinity metric)
surface form: Chebyshev distance
true
Baire space d(x,y)=2^{-n} where n is first index with x(n)≠y(n) via predicate surface "hasStandardMetric"