Index - F
| Falsum | Data.TPTP |
| FiDomain | Data.TPTP |
| FiFunctors | Data.TPTP |
| File | Data.TPTP |
| FIn | Data.TPTP |
| FiPredicates | Data.TPTP |
| FirstOrder | Data.TPTP |
| Floor | Data.TPTP |
| FMo | Data.TPTP |
| FOF | Data.TPTP |
| FOF_ | Data.TPTP |
| FOR | Data.TPTP |
| Forall | Data.TPTP |
| Formula | |
| 1 (Data Constructor) | Data.TPTP |
| 2 (Type/Class) | Data.TPTP |
| formulaLanguage | Data.TPTP |
| FPI | Data.TPTP |
| FPM | Data.TPTP |
| FSA | Data.TPTP |
| FSI | Data.TPTP |
| FSM | Data.TPTP |
| FUN | Data.TPTP |
| Function | |
| 1 (Data Constructor) | Data.TPTP |
| 2 (Type/Class) | Data.TPTP |
| function | Data.TPTP.Parse.Combinators |