No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 875-876 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 873-873 |
域 screenOfGUIE, 1 and GUIElement |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 874-874 |
域 screenOfGUIE, 2 and ComputerScreen |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 872-872 |
例 screenOfGUIE and BinaryPredicate |