No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 317-317 |
UpArrowKey e' disjunto de DownArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 309-309 |
UpArrowKey e' disjunto de LeftArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 310-310 |
UpArrowKey e' disjunto 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 e' uma sub-classe de ArrowKey |