Random triples
Subject | Object |
---|---|
gptkb:Second-order_logic | sets |
gptkb:Second-order_logic | predicates |
gptkb:second-order_logic | relations |
gptkb:second-order_logic | functions |
gptkb:Second-order_logic | relations |
gptkb:second-order_logic | individuals |