| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1516-1516 | Sliding computer input device action is a subclass of user direct action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1517-1517 | Sliding computer input device action is a subclass of physical guiding |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1522-1522 | Mouse moving is a subclass of sliding computer input device action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1553-1553 | Touch surface slide is a subclass of sliding computer input device action |
|
|