Index - U
| UCA | Data.TPTP |
| Uminus | Data.TPTP |
| UNC | Data.TPTP |
| Unit | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |
| unit | Data.TPTP.Parse.Combinators |
| unitClause | Data.TPTP |
| UnitName | Data.TPTP |
| units | Data.TPTP |
| UnitSource | Data.TPTP |
| UNK | Data.TPTP |
| Unknown | Data.TPTP |
| UnknownSource | Data.TPTP |
| UNP | Data.TPTP |
| UNS | Data.TPTP |
| Unsorted | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |
| UnsortedFirstOrder | Data.TPTP |
| unsortedFirstOrder | Data.TPTP.Parse.Combinators |
| unsortFirstOrder | Data.TPTP |
| unwrapSZSOntology | Data.TPTP |
| USE | Data.TPTP |
| USR | Data.TPTP |