Index - D
| Dataform | Data.TPTP |
| Declaration | Data.TPTP |
| declarationLanguage | Data.TPTP |
| Defined | Data.TPTP |
| Definition | Data.TPTP |
| Der | Data.TPTP |
| Description | Data.TPTP |
| Difference | Data.TPTP |
| DIn | Data.TPTP |
| Disjunction | Data.TPTP |
| Distinct | Data.TPTP |
| DistinctObject | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |
| distinctObject | Data.TPTP.Parse.Combinators |
| DistinctTerm | Data.TPTP |
| DMo | Data.TPTP |
| DPI | Data.TPTP |
| DPM | Data.TPTP |
| DSI | Data.TPTP |
| DSM | Data.TPTP |