quantifiesOver

URI: https://gptkb.org/prop/quantifiesOver
6 triples
GPTKB property
Random triples
Subject Object
gptkb:Second-order_logic sets
gptkb:second-order_logic functions
gptkb:second-order_logic individuals
gptkb:Second-order_logic predicates
gptkb:second-order_logic relations
gptkb:Second-order_logic relations