No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 474-474 |
The intersection of computer input device and microphone is ComputerMicrophone |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 406-407 |
The intersection of ComputerKeyboard and TouchSensitiveComputerInputDevice is ComputerTouchscreenKeyboard |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 419-419 |
The intersection of ComputerKeypad and ComputerTouchscreen is ComputerTouchscreenKeypad |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 737-737 |
The intersection of ComputerMenu and UIElement is GraphicalComputerMenu |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 915-915 |
The intersection of ComputerMenuItem and GUIActiveArea is GraphicalMenuItem |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 398-399 |
The intersection of ComputerScreen and TouchSensitiveComputerInputDevice is ComputerTouchscreen |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 624-624 |
The intersection of hard disk drive and ExternalDiskDrive is ExternalHardDiskDrive |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 459-459 |
The intersection of Loudspeaker and computer output device is ComputerLoudspeaker |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1232-1233 |
The intersection of TouchSurfaceAction and SlidingComputerInputDeviceAction is TouchSurfaceSlide |