Index - S
| SAP | Data.TPTP |
| SAT | Data.TPTP |
| Sat | Data.TPTP |
| SCA | Data.TPTP |
| SCC | Data.TPTP |
| SEE | Data.TPTP |
| Sign | Data.TPTP |
| SIn | Data.TPTP |
| skipWhitespace | Data.TPTP.Parse.Combinators |
| Sln | Data.TPTP |
| SMo | Data.TPTP |
| Sort | |
| 1 (Data Constructor) | Data.TPTP |
| 2 (Type/Class) | Data.TPTP |
| sort | Data.TPTP.Parse.Combinators |
| Sorted | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |
| SortedFirstOrder | Data.TPTP |
| sortedFirstOrder | Data.TPTP.Parse.Combinators |
| sortFirstOrder | Data.TPTP |
| SortVariable | Data.TPTP |
| Source | Data.TPTP |
| source | Data.TPTP.Parse.Combinators |
| Standard | Data.TPTP |
| Status | |
| 1 (Data Constructor) | Data.TPTP |
| 2 (Type/Class) | Data.TPTP |
| STP | Data.TPTP |
| SUC | Data.TPTP |
| Success | Data.TPTP |
| Sum | Data.TPTP |
| SYE | Data.TPTP |
| SZS | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |
| szs | Data.TPTP.Parse.Combinators |
| SZSOntology | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |