(=>
(and
(instance ?RIGHT PhysicalRightCIButton)
(component ?RIGHT ?DEV)
(instance ?DEV ComputerInputDevice))
(exists (?LEFT)
(and
(instance ?LEFT PhysicalLeftCIButton)
(component ?LEFT ?DEV)
(orientation ?RIGHT ?LEFT Left)))) |
ComputerInput.kif 204-213 |
If X is an instance of physical right CI button, X is a component of Y, and Y is an instance of computer input device, then there exists Z such that Z is an instance of physical left CI button, Z is a component of Y, and X is left of to Z |
(=>
(and
(instance ?MID MiddleCIButton)
(component ?MID ?DEV)
(instance ?DEV ComputerInputDevice))
(exists (?LEFT ?RIGHT)
(and
(instance ?RIGHT RightCIButton)
(instance ?LEFT LeftCIButton)
(component ?RIGHT ?DEV)
(component ?LEFT ?DEV)
(between ?LEFT ?MID ?RIGHT)
(orientation ?MID ?LEFT Left)
(orientation ?MID ?RIGHT Right)))) |
ComputerInput.kif 224-237 |
If X is an instance of middle CI button, X is a component of Y, and Y is an instance of computer input device, then All of the following hold: (1) there exist Z (2) W such that W is an instance of right CI button (3) Z is an instance of left CI button (4) W is a component of Y (5) Z is a component of Y (6) X is between Z (7) W (8) X is left of to Z (9) X is right of to W |
(=>
(and
(connectedPeripheral ?COD ?C)
(instance ?COD ComputerInputDevice)
(instance ?COD ?CLASS))
(capability ?CLASS origin DataTransfer)) |
ComputingBrands.kif 3458-3463 |
If X is a connected peripheral of Y, X is an instance of computer input device, and X is an instance of Z, then data transfer is capable of doing Z as a origin |
