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	Computer I/O device is a subclass of computer input device
(subclass ComputerIODevice ComputerOutputDevice)	ComputerInput.kif 118-118	Computer I/O device is a subclass of computer output device

appearance as argument number 2

(subclass ComputerTerminal ComputerIODevice)	ComputerInput.kif 123-123	Computer terminal is a subclass of computer I/O device
(subclass DiskDrive ComputerIODevice)	ComputerInput.kif 731-731	Disk drive is a subclass of computer I/O device
(subclass FlashDrive ComputerIODevice)	ComputerInput.kif 794-794	Flash drive is a subclass of computer I/O device
(subclass GameIODevice ComputerIODevice)	ComputerInput.kif 615-615	Game I/O device is a subclass of computer I/O device
(subclass MemoryCard ComputerIODevice)	ComputerInput.kif 802-802	Memory card is a subclass of computer I/O device
(subclass Modem ComputerIODevice)	ComputerInput.kif 562-562	Modem is a subclass of computer I/O device
(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