is theoretical concept in

10 triples
GPTKB property