Featured Dataset
P-FOLIO-KR
P-FOLIO-KR P-FOLIO-KR (P-FOLIO Knowledge Representation) is a dataset generated from the original P-FOLIO dataset spanning several KR notations from First-Order Logic (FOL). The gold train split is provided. Syllogisms with multiple concl
File Size712.7 KB
Data TypeDataset
Published2026
Licensecc-by-4.0
Total Views112
Total Downloads60
P-FOLIO-KR
P-FOLIO-KR (P-FOLIO Knowledge Representation) is a dataset generated from the original P-FOLIO dataset spanning several KR notations from First-Order Logic (FOL).
The gold train split is provided. Syllogisms with multiple conclusions (stories) have been split into rows of single conclusions.
Notations
The dataset currently supports the following KR notations:
- Common Logic Interchange Format (CLIF)
- Concept Graph Interchange Format (CGIF)
- CLINGO
- Tensor Function Logic (TFL+)
- Custom languages (e.g. MINIFOL2)
References
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.
Abi Akl, Hanna (2026). P-FOLIO-KR. https://doi.org/10.5281/zenodo.19920402