|
|
   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 è una sottoclasse di ComputerInputDevice |
| (subclass ComputerIODevice ComputerOutputDevice) | ComputerInput.kif 118-118 | ComputerIODevice è una sottoclasse di ComputerOutputDevice |
| appearance as argument number 2 |
|
|
| (subclass ComputerTerminal ComputerIODevice) | ComputerInput.kif 123-123 | ComputerTerminal è una sottoclasse di ComputerIODevice |
| (subclass DiskDrive ComputerIODevice) | ComputerInput.kif 731-731 | DiskDrive è una sottoclasse di ComputerIODevice |
| (subclass FlashDrive ComputerIODevice) | ComputerInput.kif 794-794 | FlashDrive è una sottoclasse di ComputerIODevice |
| (subclass GameIODevice ComputerIODevice) | ComputerInput.kif 615-615 | GameIODevice è una sottoclasse di ComputerIODevice |
| (subclass MemoryCard ComputerIODevice) | ComputerInput.kif 802-802 | MemoryCard è una sottoclasse di ComputerIODevice |
| (subclass Modem ComputerIODevice) | ComputerInput.kif 562-562 | Modem è una sottoclasse di 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 |
|
|
|
|