first formalized by

5 triples
GPTKB property