No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 317-317 |
UpArrowKey est disjoint de DownArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 309-309 |
UpArrowKey est disjoint de LeftArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 310-310 |
UpArrowKey est disjoint de RightArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 307-308 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 306-306 |
UpArrowKey est une sous-classe de ArrowKey |