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 true ⓘ
Baire space d(x,y)=2^{-n} where n is first index with x(n)≠y(n) via predicate surface "hasStandardMetric" ⓘ