No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1723-1723 | MovingCursor e' uma sub-classe de UserSignifiedGraphicalAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1724-1724 | MovingCursor e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1725-1725 | MovingCursor e' uma sub-classe de Guiar |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1744-1744 | DraggingWithCursor e' uma sub-classe de MovingCursor |
![]() |