equalityHoldsWhen

4 triples
GPTKB property

Random triples
Subject Object
gptkb:Weitzenböck's_inequality triangle is equilateral
gptkb:inequality_of_arithmetic_and_geometric_means all numbers are equal
gptkb:Euler's_inequality triangle is equilateral
gptkb:Nesbitt's_inequality a = b = c