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 The number 1 argument of %1 is a connected peripheral of 1 is an instance of computer hardware
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3528-3528 The number 2 argument of %1 is a connected peripheral of 2 is an instance of computer
(instance connectedPeripheral BinaryPredicate) ComputingBrands.kif 3526-3526 %1 is a connected peripheral of &%BinaryPredicate$binary predicate"" is an instance of binary predicate

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
(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerOutputDevice))
    (capability ?COD destination DataTransfer))
ComputingBrands.kif 3539-3543

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 ?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


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