hasDistanceFormula

3 triples
GPTKB property

Random triples
Subject Object
gptkb:2-dimensional_Euclidean_space sqrt((x2-x1)^2 + (y2-y1)^2)
gptkb:Euclidean_space distance = sqrt(sum((xi-yi)^2))
gptkb:Euclidean_space_(where_the_metric_is_positive-definite) square root of sum of squares of differences