| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 170-170 | ComputerInputButton est une sous-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 176-176 | MouseButton est une sous-classe de ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 179-179 | PhysicalRightCIButton est une sous-classe de ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 185-185 | PhysicalLeftCIButton est une sous-classe de ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 191-191 | RightCIButton est une sous-classe de ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 197-197 | LeftCIButton est une sous-classe de ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 215-215 | MiddleCIButton est une sous-classe de ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 239-239 | ComputerKeyboardKey est une sous-classe de ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 364-364 | TouchpadKey est une sous-classe de ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 929-929 | GUIButton est une sous-classe de ComputerInputButton |
|
|