|
|
   ComputerIODevice
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ComputerIODevice EnglishLanguage "A ComputerIODevice is both a ComputerInputDevice and a ComputerOutputDevice.") | ComputerInput.kif 120-121 | |
| (subclass ComputerIODevice ComputerInputDevice) | ComputerInput.kif 119-119 | ComputerIODevice e' uma sub-classe de ComputerInputDevice |
| (subclass ComputerIODevice ComputerOutputDevice) | ComputerInput.kif 118-118 | ComputerIODevice e' uma sub-classe de ComputerOutputDevice |
| appearance as argument number 2 |
|
|
| (subclass ComputerTerminal ComputerIODevice) | ComputerInput.kif 123-123 | ComputerTerminal e' uma sub-classe de ComputerIODevice |
| (subclass DiskDrive ComputerIODevice) | ComputerInput.kif 731-731 | DiskDrive e' uma sub-classe de ComputerIODevice |
| (subclass FlashDrive ComputerIODevice) | ComputerInput.kif 794-794 | FlashDrive e' uma sub-classe de ComputerIODevice |
| (subclass GameIODevice ComputerIODevice) | ComputerInput.kif 615-615 | GameIODevice e' uma sub-classe de ComputerIODevice |
| (subclass MemoryCard ComputerIODevice) | ComputerInput.kif 802-802 | MemoryCard e' uma sub-classe de ComputerIODevice |
| (subclass Modem ComputerIODevice) | ComputerInput.kif 562-562 | Modem e' uma sub-classe de ComputerIODevice |
| (termFormat EnglishLanguage ComputerIODevice "computer I/O device") | domainEnglishFormat.kif 64673-64673 |
| 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 3801-3812 |
|
|
|
|