hasDecomposition

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Krein_space direct sum of two Hilbert spaces
gptkb:semisimple_Lie_algebras gptkb:Cartan_decomposition
gptkb:semisimple_Lie_algebras root space decomposition