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 |
| isMetricOn | 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" ⓘ |