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

s__documentation(s__connectedPeripheral__m,s__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
s__domain(s__connectedPeripheral__m,n__1,s__ComputerHardware)	ComputingBrands.kif 3527-3527	The number 1 argument of %1 is a connected peripheral of 1 is an instance of computer hardware
s__domain(s__connectedPeripheral__m,n__2,s__Computer)	ComputingBrands.kif 3528-3528	The number 2 argument of %1 is a connected peripheral of 2 is an instance of computer
s__instance(s__connectedPeripheral__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	ComputingBrands.kif 3526-3526	%1 is a connected peripheral of &%BinaryPredicate$binary predicate"" is an instance of binary predicate

appearance as argument number 2

s__termFormat(s__EnglishLanguage,s__connectedPeripheral__m,'"%1 is a connected peripheral of %2"')	ComputingBrands.kif 3537-3537
s__termFormat(s__EnglishLanguage,s__connectedPeripheral__m,'"connected peripheral"')	ComputingBrands.kif 3536-3536

antecedent

( ! [V__COD,V__C] : ((s__subclass(V__COD,s__Process) & s__instance(V__C,s__Computer)) => (s__connectedPeripheral(V__COD,V__C) & s__instance(V__COD,s__ComputerInputDevice)) => s__capability(V__COD,s__origin__m,s__DataTransfer) ) )	ComputingBrands.kif 3545-3549	If %1 is a connected peripheral of %2 a kind of process and a computer and a kind of process is an instance of computer input device, then data transfer is capable of doing the kind of process as a origin
( ! [V__COD,V__C] : ((s__subclass(V__COD,s__Process) & s__instance(V__C,s__Computer)) => (s__connectedPeripheral(V__COD,V__C) & s__instance(V__COD,s__ComputerOutputDevice)) => s__capability(V__COD,s__destination__m,s__DataTransfer) ) )	ComputingBrands.kif 3539-3543	If %1 is a connected peripheral of %2 a kind of process and a computer and a kind of process is an instance of computer output device, then data transfer is capable of doing the kind of process as a destination

consequent

( ! [V__SU,V__P,V__C] : ((s__instance(V__SU,s__SoftwareUpgrading) & s__patient(V__SU,V__C) & s__instance(V__C,s__Computer) & s__objectTransferred(V__SU,V__P) & s__instance(V__P,s__ComputerProgram)) => ( ? [V__POLD, V__DSD] : ((s__instance(V__POLD,s__ComputerProgram) & s__instance(V__DSD,s__DataStorageDevice) & s__connectedPeripheral(V__DSD,V__C) & s__stored(V__POLD,V__DSD) & s__softwareVersion(V__P,V__POLD)))) ) )	ComputingBrands.kif 3830-3843	If a transfer is an instance of software upgrade and a computer is a patient of the transfer and the computer is an instance of computer and the object transferred in the transfer is an object and the object is an instance of computer program, then there exist the objectOLD and a DataStorageDevice such that the objectOLD is an instance of computer program and the DataStorageDevice is an instance of DataStorageDevice and %1 is a connected peripheral of %2 the DataStorageDevice and the computer and the objectOLD is stored on the DataStorageDevice and the object is a later software version of the objectOLD
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3779-3790	If a process is an instance of mounting, then there exist an entity and another entity such that the entity is an instance of computer and the other entity is an instance of ComputerIODevice and the entity is a patient of the process and the other entity is a patient of the process and the entity is connected to the other entity holds during the time of existence of the process and %1 is a connected peripheral of %2 the other entity and the entity holds during immediately after the time of existence of the process

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