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… See the full description on the dataset page: https://huggingface.co/datasets/HannaAbiAkl/P-FOLIO-KR.