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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FunctionKeyHoldDown
FunctionKeyHoldDown

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


(disjoint FunctionKeyHoldDown AltKeyHoldDown) ComputerInput.kif 1362-1362 FunctionKeyHoldDown is disjoint from AltKeyHoldDown
(disjoint FunctionKeyHoldDown ControlKeyHoldDown) ComputerInput.kif 1364-1364 FunctionKeyHoldDown is disjoint from ControlKeyHoldDown
(disjoint FunctionKeyHoldDown ShiftKeyHoldDown) ComputerInput.kif 1363-1363 FunctionKeyHoldDown is disjoint from ShiftKeyHoldDown
(documentation FunctionKeyHoldDown EnglishLanguage "A FunctionKeyHoldDown is a UserDirectAction of pressing and holding down the FunctionKey on a keyboard.") ComputerInput.kif 1358-1360
(subclass FunctionKeyHoldDown KeyHoldDown) ComputerInput.kif 1356-1356 FunctionKeyHoldDown is a subclass of KeyHoldDown

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


(=>
    (and
        (instance ?ACT FunctionKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY FunctionKey))
ComputerInput.kif 1373-1378
(=>
    (instance ?ACT FunctionKeyHoldDown)
    (exists (?KEY)
        (and
            (instance ?KEY FunctionKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1366-1371


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