fragment of first-order logic
GPTKB entity
Statements (1)
| Predicate | Object |
|---|---|
| https://www.w3.org/2000/01/rdf-schema#label |
fragment of first-order logic
|