No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1723-1723 | Moving cursor is a subclass of user signified graphical action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1724-1724 | Moving cursor is a subclass of translocation |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1725-1725 | Moving cursor is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1744-1744 | Dragging with cursor is a subclass of moving cursor |