isFormulaOf

10 triples
GPTKB property