isMaximalIn

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Sym(8) gptkb:S_9
gptkb:symmetric_group_S11 no larger symmetric group
gptkb:S_5 gptkb:S_6