connectedPeripheral |
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 3536-3540 | |
(domain connectedPeripheral 1 ComputerHardware) | ComputingBrands.kif 3533-3533 | The number 1 argument of connected peripheral is an instance of computer hardware |
(domain connectedPeripheral 2 Computer) | ComputingBrands.kif 3534-3534 | The number 2 argument of connected peripheral is an instance of computer |
(instance connectedPeripheral BinaryPredicate) | ComputingBrands.kif 3532-3532 | 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 3543-3543 | |
(termFormat EnglishLanguage connectedPeripheral "connected peripheral") | ComputingBrands.kif 3542-3542 |
antecedent |
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice) (instance ?COD ?CLASS)) (capability ?CLASS origin DataTransfer)) |
ComputingBrands.kif 3552-3557 |
|
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice) (instance ?COD ?CLASS)) (capability ?CLASS destination DataTransfer)) |
ComputingBrands.kif 3545-3550 |
|
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 |
|