Index - N
| negateTwice | Data.Type.Predicate.Logic |
| NEHead | Data.Type.Universe |
| NEIndex | Data.Type.Universe |
| NETail | Data.Type.Universe |
| None | Data.Type.Universe, Data.Type.Predicate.Quantification |
| noneAllNot | Data.Type.Predicate.Quantification |
| Not | Data.Type.Predicate, Data.Type.Predicate.Logic |
| NotAll | Data.Type.Universe, Data.Type.Predicate.Quantification |
| notAllAnyNot | Data.Type.Predicate.Quantification |
| NotFound | Data.Type.Predicate.Param |
| NotNull | Data.Type.Universe |
| notNullInP | Data.Type.Predicate.Param |
| Null | Data.Type.Universe |