connectedPeripheral - Sigma Knowledge base Browser

appearance as argument number 1

(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 3531-3535
(domain connectedPeripheral 1 ComputerHardware)	ComputingBrands.kif 3528-3528	The number 1 argument of connected peripheral is an instance of computer hardware
(domain connectedPeripheral 2 Computer)	ComputingBrands.kif 3529-3529	The number 2 argument of connected peripheral is an instance of computer
(instance connectedPeripheral BinaryPredicate)	ComputingBrands.kif 3527-3527	connected peripheral is an instance of binary predicate

appearance as argument number 2

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

antecedent

(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice) (instance ?COD ?CLASS)) (capability ?CLASS origin DataTransfer))	ComputingBrands.kif 3547-3552	If a computer hardware is a connected peripheral of a computer and the computer hardware is an instance of computer input device and the computer hardware is an instance of the computerLASS, then data transfer is capable of doing the computerLASS as a origin
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice) (instance ?COD ?CLASS)) (capability ?CLASS destination DataTransfer))	ComputingBrands.kif 3540-3545	If a computer hardware is a connected peripheral of a computer and the computer hardware is an instance of computer output device and the computer hardware is an instance of the computerLASS, then data transfer is capable of doing the computerLASS as a destination

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 3796-3807