is5Transitive

4 triples
GPTKB property