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 224-224 ComputerKeyboardKey is disjoint from LeftCIButton
(disjoint ComputerKeyboardKey MiddleCIButton) ComputerInput.kif 223-223 ComputerKeyboardKey is disjoint from MiddleCIButton
(disjoint ComputerKeyboardKey MouseButton) ComputerInput.kif 225-225 ComputerKeyboardKey is disjoint from MouseButton
(disjoint ComputerKeyboardKey RightCIButton) ComputerInput.kif 222-222 ComputerKeyboardKey is disjoint from RightCIButton
(disjoint ComputerKeyboardKey TouchpadKey) ComputerInput.kif 313-313 ComputerKeyboardKey is disjoint from TouchpadKey
(documentation ComputerKeyboardKey EnglishLanguage "A ComputerInputButton on a ComputerKeyboard.") ComputerInput.kif 221-221
(subclass ComputerKeyboardKey ComputerInputButton) ComputerInput.kif 219-219 ComputerKeyboardKey is a subclass of ComputerInputButton
(subclass ComputerKeyboardKey KayboardKey) ComputerInput.kif 220-220 ComputerKeyboardKey is a subclass of KayboardKey
(typicalPart ComputerKeyboardKey ComputerKeyboard-Generic) ComputerInput.kif 228-228 A ComputerKeyboardKey is typically a part of a ComputerKeyboard-Generic

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


(disjoint GUIButton ComputerKeyboardKey) ComputerInput.kif 830-830 GUIButton is disjoint from ComputerKeyboardKey
(havePartTypes ComputerKeyboard ComputerKeyboardKey) ComputerInput.kif 318-318 ComputerKeyboard has parts of type ComputerKeyboardKey
(subclass CharacterKey ComputerKeyboardKey) ComputerInput.kif 250-250 CharacterKey is a subclass of ComputerKeyboardKey
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey) ComputerInput.kif 253-253 SpecialComputerKeyboardKey is a subclass of ComputerKeyboardKey

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


(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) ComputerInput.kif 1184-1184 The number 1 argument of PressingKeyFn is a subclass of ComputerKeyboardKey

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


(=>
    (and
        (instance ?ACT AltKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY AltKey))
ComputerInput.kif 1148-1153
(=>
    (and
        (instance ?ACT CharacterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY CharacterKey))
ComputerInput.kif 1198-1203
(=>
    (and
        (instance ?ACT ControlKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ControlKey))
ComputerInput.kif 1125-1130
(=>
    (and
        (instance ?ACT EnterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY EnterKey))
ComputerInput.kif 1242-1247
(=>
    (and
        (instance ?ACT FunctionKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY FunctionKey))
ComputerInput.kif 1172-1177
(=>
    (and
        (instance ?ACT ShiftKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ShiftKey))
ComputerInput.kif 1104-1109
(=>
    (and
        (instance ?ACT SpecialCharacterPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY SpecialComputerKeyboardKey))
ComputerInput.kif 1223-1228
(=>
    (and
        (instance ?KEY ComputerKeyboardKey)
        (instance ?KEYBOARD1 ComputerKeyboard-Generic)
        (component ?KEY ?KEYBOARD1)
        (instance ?KEYBOARD2 ComputerKeyboard-Generic)
        (component ?KEY ?KEYBOARD2))
    (equal ?KEYBOARD1 ?KEYBOARD2))
ComputerInput.kif 232-239

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


(=>
    (instance ?ACT KeyboardAction)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1056-1061
(=>
    (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 1070-1078
(=>
    (instance ?KEYBOARD ComputerKeyboard-Generic)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (component ?KEY ?KEYBOARD))))
ComputerInput.kif 243-248


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