is not isomorphic to

9 triples
GPTKB property