No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1436-1436 |
子類 DoubleClicking and Clicking |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1469-1469 |
子類 LeftClicking and Clicking |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1482-1482 |
子類 MiddleClicking and Clicking |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1504-1504 |
子類 MouseButtonHoldDown and Clicking |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1453-1453 |
子類 RightClicking and Clicking |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1493-1493 |
子類 ShiftClicking and Clicking |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1558-1558 |
子類 TouchSurfaceTap and Clicking |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64650-64650 |
|