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


KB Term:  Term intersection
English Word: 

  ComputerKeyboard_Generic

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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