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 3536-3540
(domain connectedPeripheral 1 ComputerHardware) ComputingBrands.kif 3533-3533 connectedPeripheral 的 1 数量 是 电脑硬件instance
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3534-3534 connectedPeripheral 的 2 数量 是 电脑instance
(instance connectedPeripheral BinaryPredicate) ComputingBrands.kif 3532-3532 connectedPeripheral二元谓语instance

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


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 3.0 is open source software produced by Articulate Software and its partners