Index - I
| I | Data.TPTP |
| Implication | Data.TPTP |
| Include | Data.TPTP |
| Inference | Data.TPTP |
| Info | Data.TPTP |
| info | Data.TPTP.Parse.Combinators |
| InfoNumber | Data.TPTP |
| Infos | Data.TPTP |
| Int | Data.TPTP |
| IntegerConstant | Data.TPTP |
| Intro | Data.TPTP |
| intro | Data.TPTP.Parse.Combinators |
| Introduced | Data.TPTP |
| Iquote | Data.TPTP |
| isAssociative | Data.TPTP |
| IsInt | Data.TPTP |
| IsRat | Data.TPTP |
| isValidAtom | Data.TPTP |
| isValidDistinctObject | Data.TPTP |
| isValidReserved | Data.TPTP |
| isValidVar | Data.TPTP |