F 1 isomorphicTo

2 triples
GPTKB property