is part of the doctrine of

1 triples
GPTKB property