connectedPeripheral - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - connectedPeripheral

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 3530-3534
(domain connectedPeripheral 1 ComputerHardware)	ComputingBrands.kif 3527-3527	domain connectedPeripheral, 1 and ComputerHardware
(domain connectedPeripheral 2 Computer)	ComputingBrands.kif 3528-3528	domain connectedPeripheral, 2 and Computer
(instance connectedPeripheral BinaryPredicate)	ComputingBrands.kif 3526-3526	instance connectedPeripheral and BinaryPredicate

appearance as argument number 2

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

antecedent

(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice)) (capability ?COD origin DataTransfer))	ComputingBrands.kif 3545-3549	connectedPeripheral Process and Computer instance Process and ComputerInputDevice capability Process, origin and DataTransfer
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice)) (capability ?COD destination DataTransfer))	ComputingBrands.kif 3539-3543	connectedPeripheral Process and Computer instance Process and ComputerOutputDevice capability Process, destination and DataTransfer

consequent

(=> (and (instance ?SU SoftwareUpgrading) (patient ?SU ?C) (instance ?C Computer) (objectTransferred ?SU ?P) (instance ?P ComputerProgram)) (exists (?POLD ?DSD) (and (instance ?POLD ComputerProgram) (instance ?DSD DataStorageDevice) (connectedPeripheral ?DSD ?C) (stored ?POLD ?DSD) (softwareVersion ?P ?POLD))))	ComputingBrands.kif 3830-3843	instance Transfer and ソフトウェアの更新 patient Transfer and Computer instance Computer and Computer objectTransferred Transfer and Object instance Object and ComputerProgram ObjectOLD DataStorageDevice instance ObjectOLD and ComputerProgram instance DataStorageDevice and DataStorageDevice connectedPeripheral DataStorageDevice and Computer stored ObjectOLD and DataStorageDevice softwareVersion Object and ObjectOLD
(=> (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 3779-3790	instance Process and MountingADevice Entity Entity instance Entity and Computer instance Entity and ComputerIODevice patient Process and Entity patient Process and Entity holdsDuring WhenFn Process and connectedEngineeringComponents Entity and Entity holdsDuring ImmediateFutureFn WhenFn Process and connectedPeripheral Entity and Entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners