Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerKeyboard_Generic
ComputerKeyboard_Generic(generic computer keyboard)

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


(subclass ComputerKeyboard_Generic ComputerInputDevice) ComputerInput.kif 164-164 Generic computer keyboard is a subclass of computer input device
(documentation ComputerKeyboard_Generic EnglishLanguage "A ComputerInputDevice for accepting typed input. This could be a keyboard with a typewriter layout, a cell phone keypad or any other similar device. It could be a keyboard displayed upon a ComputerScreen or be a physical Keyboard.") ComputerInput.kif 165-168 Generic computer keyboard is a subclass of computer input device

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


(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic) ComputerInput.kif 263-263 A computer keyboard key is typically a part of a generic computer keyboard
(subclass ComputerKeyboard ComputerKeyboard_Generic) ComputerInput.kif 385-385 Computer keyboard is a subclass of generic computer keyboard
(subclass ComputerKeypad ComputerKeyboard_Generic) ComputerInput.kif 393-393 Computer keypad is a subclass of generic computer keyboard
(disjoint ScrollWheel ComputerKeyboard_Generic) ComputerInput.kif 426-426 Scroll wheel is disjoint from generic computer keyboard
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic) ComputerInput.kif 465-465 Computer touchscreen keyboard is a subclass of generic computer keyboard
(termFormat EnglishLanguage ComputerKeyboard_Generic "generic computer keyboard") domainEnglishFormat.kif 64680-64680 Computer touchscreen keyboard is a subclass of generic computer keyboard

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


(=>
    (and
        (instance ?KEY ComputerKeyboardKey)
        (instance ?KEYBOARD1 ComputerKeyboard_Generic)
        (component ?KEY ?KEYBOARD1)
        (instance ?KEYBOARD2 ComputerKeyboard_Generic)
        (component ?KEY ?KEYBOARD2))
    (equal ?KEYBOARD1 ?KEYBOARD2))		 ComputerInput.kif 267-274 If X is an instance of computer keyboard key, Y is an instance of generic computer keyboard, X is a component of Y, Z is an instance of generic computer keyboard, and X is a component of Z, then equal Y and Z
(=>
    (instance ?KEYBOARD ComputerKeyboard_Generic)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (component ?KEY ?KEYBOARD))))		 ComputerInput.kif 278-283 If X is an instance of generic computer keyboard, then there exists Y such that Y is an instance of computer keyboard key and Y is a component of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners