No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 202-202 |
RightCIButton est disjoint de LeftCIButton |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 218-218 |
RightCIButton est disjoint de MiddleCIButton |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 216-217 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 192-195 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 191-191 |
RightCIButton est une sous-classe de ComputerInputButton |