| appearance as argument number 1 |
|
| (disjoint FunctionKeyHoldDown AltKeyHoldDown) | ComputerInput.kif 1335-1335 | Function key hold down is disjoint from alt key hold down |
| (disjoint FunctionKeyHoldDown ControlKeyHoldDown) | ComputerInput.kif 1337-1337 | Function key hold down is disjoint from control key hold down |
| (disjoint FunctionKeyHoldDown ShiftKeyHoldDown) | ComputerInput.kif 1336-1336 | Function key hold down is disjoint from shift key hold down |
| (documentation FunctionKeyHoldDown EnglishLanguage "A FunctionKeyHoldDown is a UserDirectAction of pressing and holding down the FunctionKey on a keyboard.") | ComputerInput.kif 1331-1333 | |
| (subclass FunctionKeyHoldDown KeyHoldDown) | ComputerInput.kif 1329-1329 | Function key hold down is a subclass of holding down a key |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FunctionKeyHoldDown "function key hold down") | domainEnglishFormat.kif 64900-64900 |
| antecedent |
|
|
| (=> (and (instance ?ACT FunctionKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY FunctionKey)) |
ComputerInput.kif 1346-1351 |
|
| (=> (instance ?ACT FunctionKeyHoldDown) (exists (?KEY) (and (instance ?KEY FunctionKey) (patient ?ACT ?KEY)))) |
ComputerInput.kif 1339-1344 |
|
|
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