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 3531-3535 | |
(domain connectedPeripheral 1 ComputerHardware) | ComputingBrands.kif 3528-3528 | connectedPeripheral の数値 1 引数は ComputerHardware の instance では |
(domain connectedPeripheral 2 Computer) | ComputingBrands.kif 3529-3529 | connectedPeripheral の数値 2 引数は Computer の instance では |
(instance connectedPeripheral BinaryPredicate) | ComputingBrands.kif 3527-3527 | connectedPeripheral は 2進述語 の instance では |
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 |
|
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice) (instance ?COD ?CLASS)) (capability ?CLASS destination DataTransfer)) |
ComputingBrands.kif 3540-3545 |
|
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 |
|
![]() |
![]() |