addition formula

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Sine_function sin(a+b) = sin(a)cos(b) + cos(a)sin(b)