hasSubalgebra

21 triples
GPTKB property