Index - O
| O | Jukebox.Form |
| Ok | Jukebox.TPTP.Parsec |
| oneConjecture | Jukebox.Toolbox |
| oneConjectureBox | Jukebox.Toolbox |
| operator | Jukebox.TPTP.Parse.Core |
| OptionParser | Jukebox.Options |
| Or | |
| 1 (Data Constructor) | Jukebox.TPTP.Lexer |
| 2 (Data Constructor) | Jukebox.Form |
| 3 (Data Constructor) | Jukebox.Sat.Easy |
| orCost | Jukebox.Tools.Clausify |
| Other | Jukebox.TPTP.Lexer |
| Overloaded | Jukebox.Name |