|
|
   ComputerIODevice
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ComputerIODevice EnglishLanguage "A ComputerIODevice is both a ComputerInputDevice and a ComputerOutputDevice.") | ComputerInput.kif 142-143 | |
| (subclass ComputerIODevice ComputerInputDevice) | ComputerInput.kif 141-141 | ComputerIODevice is a subclass of computer input device |
| (subclass ComputerIODevice ComputerOutputDevice) | ComputerInput.kif 140-140 | ComputerIODevice is a subclass of computer output device |
| appearance as argument number 2 |
|
|
| (subclass ComputerTerminal ComputerIODevice) | ComputerInput.kif 145-145 | Computer terminal is a subclass of ComputerIODevice |
| (subclass DiskDrive ComputerIODevice) | ComputerInput.kif 759-759 | DiskDrive is a subclass of ComputerIODevice |
| (subclass FlashDrive ComputerIODevice) | ComputerInput.kif 823-823 | FlashDrive is a subclass of ComputerIODevice |
| (subclass GameIODevice ComputerIODevice) | ComputerInput.kif 643-643 | GameIODevice is a subclass of ComputerIODevice |
| (subclass MemoryCard ComputerIODevice) | ComputerInput.kif 831-831 | MemoryCard is a subclass of ComputerIODevice |
| (subclass Modem ComputerIODevice) | ComputerInput.kif 590-590 | Modem is a subclass of ComputerIODevice |
| consequent |
|
|
| (=> (instance ?MD MountingADevice) (exists (?C ?P) (and (instance ?C Computer) (instance ?P ComputerIODevice) (patient ?MD ?C) (patient ?MD ?P) (holdsDuring (WhenFn ?MD) (connectedEngineeringComponents ?C ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?MD)) (connectedPeripheral ?P ?C))))) |
ComputingBrands.kif 3765-3776 |
|
|
|
|