No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1533-1533 | Touch surface action is a subclass of user direct action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1534-1534 | Touch surface action is a subclass of touching |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1552-1552 | Touch surface slide is a subclass of touch surface action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1557-1557 | Touch surface tap is a subclass of touch surface action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1563-1563 | Touch surface double finger slide is a subclass of touch surface action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1577-1577 | Screen touch action is a subclass of touch surface action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1615-1615 | Touch pad action is a subclass of touch surface action |