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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerKeyboard_Generic

Sigma KEE - ComputerKeyboard_Generic
ComputerKeyboard_Generic

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


(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
(subclass ComputerKeyboard_Generic ComputerInputDevice) ComputerInput.kif 164-164 ComputerKeyboard_Generic est une sous-classe de ComputerInputDevice

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


(disjoint ScrollWheel ComputerKeyboard_Generic) ComputerInput.kif 410-410 ScrollWheel est disjoint de ComputerKeyboard_Generic
(subclass ComputerKeyboard ComputerKeyboard_Generic) ComputerInput.kif 369-369 ComputerKeyboard est une sous-classe de ComputerKeyboard_Generic
(subclass ComputerKeypad ComputerKeyboard_Generic) ComputerInput.kif 377-377 ComputerKeypad est une sous-classe de ComputerKeyboard_Generic
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic) ComputerInput.kif 449-449 ComputerTouchscreenKeyboard est une sous-classe de ComputerKeyboard_Generic
(termFormat EnglishLanguage ComputerKeyboard_Generic "generic computer keyboard") domainEnglishFormat.kif 64677-64677
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic) ComputerInput.kif 247-247 typicalPart ComputerKeyboardKey and ComputerKeyboard_Generic

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


(=>
    (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
(=>
    (instance ?KEYBOARD ComputerKeyboard_Generic)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (component ?KEY ?KEYBOARD))))
ComputerInput.kif 262-267


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 is open source software produced by Articulate Software and its partners