Index - N
| Name | Data.TPTP |
| name | Data.TPTP |
| Named | Data.TPTP |
| Negated | Data.TPTP |
| NegatedConjecture | Data.TPTP |
| NegatedConjunction | Data.TPTP |
| NegatedDisjunction | Data.TPTP |
| Negative | Data.TPTP |
| NewSymbols | Data.TPTP |
| NOC | Data.TPTP |
| Non | Data.TPTP |
| NOS | Data.TPTP |
| NoSuccess | Data.TPTP |
| NSo | Data.TPTP |
| NTT | Data.TPTP |
| NTY | Data.TPTP |
| Number | |
| 1 (Data Constructor) | Data.TPTP |
| 2 (Type/Class) | Data.TPTP |
| number | Data.TPTP.Parse.Combinators |