Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerKeyboardKey
ComputerKeyboardKey

appearance as argument number 1
-------------------------


(disjoint ComputerKeyboardKey LeftCIButton) ComputerInput.kif 243-243
(disjoint ComputerKeyboardKey MiddleCIButton) ComputerInput.kif 242-242
(disjoint ComputerKeyboardKey MouseButton) ComputerInput.kif 244-244
(disjoint ComputerKeyboardKey RightCIButton) ComputerInput.kif 241-241
(disjoint ComputerKeyboardKey TouchpadKey) ComputerInput.kif 367-367
(documentation ComputerKeyboardKey EnglishLanguage "A ComputerInputButton on a ComputerKeyboard.") ComputerInput.kif 240-240
(subclass ComputerKeyboardKey ComputerInputButton) ComputerInput.kif 239-239
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic) ComputerInput.kif 247-247

appearance as argument number 2
-------------------------


(disjoint GUIButton ComputerKeyboardKey) ComputerInput.kif 935-935
(havePartTypes ComputerKeyboard ComputerKeyboardKey) ComputerInput.kif 375-375
(subclass CharacterKey ComputerKeyboardKey) ComputerInput.kif 269-269
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey) ComputerInput.kif 273-273

appearance as argument number 3
-------------------------


(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) ComputerInput.kif 1356-1356

antecedent
-------------------------


(=>
    (and
        (instance ?ACT AltKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY AltKey))
ComputerInput.kif 1319-1324
(=>
    (and
        (instance ?ACT CharacterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY CharacterKey))
ComputerInput.kif 1374-1379
(=>
    (and
        (instance ?ACT ControlKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ControlKey))
ComputerInput.kif 1296-1301
(=>
    (and
        (instance ?ACT EnterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY EnterKey))
ComputerInput.kif 1418-1423
(=>
    (and
        (instance ?ACT FunctionKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY FunctionKey))
ComputerInput.kif 1343-1348
(=>
    (and
        (instance ?ACT ShiftKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ShiftKey))
ComputerInput.kif 1275-1280
(=>
    (and
        (instance ?ACT SpecialCharacterPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY SpecialComputerKeyboardKey))
ComputerInput.kif 1399-1404
(=>
    (and
        (instance ?KEY ComputerKeyboardKey)
        (instance ?KEYBOARD1 ComputerKeyboard_Generic)
        (component ?KEY ?KEYBOARD1)
        (instance ?KEYBOARD2 ComputerKeyboard_Generic)
        (component ?KEY ?KEYBOARD2))
    (equal ?KEYBOARD1 ?KEYBOARD2))
ComputerInput.kif 251-258

consequent
-------------------------


(=>
    (instance ?ACT KeyboardAction)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1227-1232
(=>
    (instance ?ACT MultikeyAction)
    (exists (?KEY1 ?KEY2)
        (and
            (patient ?ACT ?KEY1)
            (patient ?ACT ?KEY2)
            (not
                (equal ?KEY1 ?KEY2))
            (instance ?KEY1 ComputerKeyboardKey)
            (instance ?KEY2 ComputerKeyboardKey))))
ComputerInput.kif 1241-1249
(=>
    (instance ?KEYBOARD ComputerKeyboard_Generic)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (component ?KEY ?KEYBOARD))))
ComputerInput.kif 262-267


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