allowsFiniteQuantification
1
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:L_{ω_1,ω}_logic | true |
Subject | Object |
---|---|
gptkb:L_{ω_1,ω}_logic | true |