connectedPeripheral - Sigma Knowledge base Browser

appearance as argument number 1

(instance connectedPeripheral BinaryPredicate)	ComputingBrands.kif 3438-3438	connected peripheral is an instance of binary predicate
(domain connectedPeripheral 1 ComputerHardware)	ComputingBrands.kif 3439-3439	The number 1 argument of connected peripheral is an instance of computer hardware
(domain connectedPeripheral 2 Computer)	ComputingBrands.kif 3440-3440	The number 2 argument of connected peripheral is an instance of computer
(documentation connectedPeripheral EnglishLanguage "A relationship between a ComputerOutputDevice and Computer that they are physically and logically connected. They should be able to perform any communication and handshaking functions needed for normal operation. For modern peripherals this includes being 'mounted' or recognized as being present by the computer, with a device ID in a table of available peripheral devices.")	ComputingBrands.kif 3442-3446	The number 2 argument of connected peripheral is an instance of computer

appearance as argument number 2

(termFormat EnglishLanguage connectedPeripheral "connected peripheral")	ComputingBrands.kif 3448-3448
(format EnglishLanguage connectedPeripheral "%1 is a connected peripheral of %2")	ComputingBrands.kif 3449-3449

antecedent

(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice) (instance ?COD ?CLASS)) (capability ?CLASS destination DataTransfer))	ComputingBrands.kif 3451-3456	If X is a connected peripheral of Y, X is an instance of computer output device, and X is an instance of Z, then data transfer is capable of doing Z as a destination
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice) (instance ?COD ?CLASS)) (capability ?CLASS origin DataTransfer))	ComputingBrands.kif 3458-3463	If X is a connected peripheral of Y, X is an instance of computer input device, and X is an instance of Z, then data transfer is capable of doing Z as a origin

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)))))

If X is an instance of mounting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of computer (3) Z is an instance of computer I/O device (4) Y is a patient of X (5) Z is a patient of X (6) Y is connected to Z holds during the time of existence of X (7) Z is a connected peripheral of Y holds during immediately after the time of existence of X