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 ComputerKeyboardKey と LeftCIButton は disjoint では
(disjoint ComputerKeyboardKey MiddleCIButton) ComputerInput.kif 242-242 ComputerKeyboardKey と MiddleCIButton は disjoint では
(disjoint ComputerKeyboardKey MouseButton) ComputerInput.kif 244-244 ComputerKeyboardKey と MouseButton は disjoint では
(disjoint ComputerKeyboardKey RightCIButton) ComputerInput.kif 241-241 ComputerKeyboardKey と RightCIButton は disjoint では
(disjoint ComputerKeyboardKey TouchpadKey) ComputerInput.kif 367-367 ComputerKeyboardKey と TouchpadKey は disjoint では
(documentation ComputerKeyboardKey EnglishLanguage "A ComputerInputButton on a ComputerKeyboard.") ComputerInput.kif 240-240 ComputerKeyboardKey と TouchpadKey は disjoint では
(subclass ComputerKeyboardKey ComputerInputButton) ComputerInput.kif 239-239 ComputerKeyboardKey は ComputerInputButton の subclass では
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic) ComputerInput.kif 247-247 typicalPart ComputerKeyboardKey and ComputerKeyboard_Generic

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


(disjoint GUIButton ComputerKeyboardKey) ComputerInput.kif 936-936 GUIButton と ComputerKeyboardKey は disjoint では
(partTypes ComputerKeyboard ComputerKeyboardKey) ComputerInput.kif 375-375 partTypes ComputerKeyboard and ComputerKeyboardKey
(subclass CharacterKey ComputerKeyboardKey) ComputerInput.kif 269-269 CharacterKey は ComputerKeyboardKey の subclass では
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey) ComputerInput.kif 273-273 SpecialComputerKeyboardKey は ComputerKeyboardKey の subclass では
(termFormat EnglishLanguage ComputerKeyboardKey "computer keyboard key") domainEnglishFormat.kif 64670-64670 SpecialComputerKeyboardKey は ComputerKeyboardKey の subclass では

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


(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) ComputerInput.kif 1359-1359 PressingKeyFn の数値 1 引数は ComputerKeyboardKey のsubclass では

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


(=>
    (and
        (instance ?ACT AltKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY AltKey))		 ComputerInput.kif 1322-1327
(=>
    (and
        (instance ?ACT CharacterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY CharacterKey))		 ComputerInput.kif 1377-1382
(=>
    (and
        (instance ?ACT ControlKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ControlKey))		 ComputerInput.kif 1299-1304
(=>
    (and
        (instance ?ACT EnterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY EnterKey))		 ComputerInput.kif 1421-1426
(=>
    (and
        (instance ?ACT FunctionKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY FunctionKey))		 ComputerInput.kif 1346-1351
(=>
    (and
        (instance ?ACT ShiftKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ShiftKey))		 ComputerInput.kif 1278-1283
(=>
    (and
        (instance ?ACT SpecialCharacterPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY SpecialComputerKeyboardKey))		 ComputerInput.kif 1402-1407
(=>
    (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 1230-1235
(=>
    (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 1244-1252
(=>
    (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