ComputerIODevice - Sigma Knowledge base Browser

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 est une sous-classe de ComputerInputDevice
(subclass ComputerIODevice ComputerOutputDevice)	ComputerInput.kif 118-118	ComputerIODevice est une sous-classe de ComputerOutputDevice

appearance as argument number 2

(subclass ComputerTerminal ComputerIODevice)	ComputerInput.kif 123-123	ComputerTerminal est une sous-classe de ComputerIODevice
(subclass DiskDrive ComputerIODevice)	ComputerInput.kif 731-731	DiskDrive est une sous-classe de ComputerIODevice
(subclass FlashDrive ComputerIODevice)	ComputerInput.kif 794-794	FlashDrive est une sous-classe de ComputerIODevice
(subclass GameIODevice ComputerIODevice)	ComputerInput.kif 615-615	GameIODevice est une sous-classe de ComputerIODevice
(subclass MemoryCard ComputerIODevice)	ComputerInput.kif 802-802	MemoryCard est une sous-classe de ComputerIODevice
(subclass Modem ComputerIODevice)	ComputerInput.kif 562-562	Modem est une sous-classe de ComputerIODevice
(termFormat EnglishLanguage ComputerIODevice "computer I/O device")	domainEnglishFormat.kif 64685-64685

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