Index - I
| I | Data.TPTP |
| IAP | Data.TPTP |
| IIn | Data.TPTP |
| Implication | Data.TPTP |
| INC | Data.TPTP |
| Include | Data.TPTP |
| INE | Data.TPTP |
| Inference | Data.TPTP |
| Info | Data.TPTP |
| info | Data.TPTP.Parse.Combinators |
| InfoNumber | Data.TPTP |
| Infos | Data.TPTP |
| INP | Data.TPTP |
| input | Data.TPTP.Parse.Combinators |
| Int | Data.TPTP |
| IntegerConstant | Data.TPTP |
| Intro | Data.TPTP |
| intro | Data.TPTP.Parse.Combinators |
| Introduced | Data.TPTP |
| Int_ | Data.TPTP |
| IPr | 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 |