mainAxiom

10 triples
GPTKB property