allowsQuantificationOver
3
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Higher_Order_Logic | sets |
| gptkb:Higher_Order_Logic | predicates |
| gptkb:Higher_Order_Logic | functions |