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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerKeyboard_Generic
ComputerKeyboard_Generic

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


(subclass ComputerKeyboard_Generic ComputerInputDevice) ComputerInput.kif 186-186 ComputerKeyboard_Generic is a subclass of computer input device

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


(disjoint ComputerKeypad ComputerKeyboard_Generic) ComputerInput.kif 402-402 ComputerKeypad is disjoint from ComputerKeyboard_Generic
(disjoint ScrollWheel ComputerKeyboard_Generic) ComputerInput.kif 433-433 ScrollWheel is disjoint from ComputerKeyboard_Generic
(subclass ComputerKeyboard ComputerKeyboard_Generic) ComputerInput.kif 391-391 ComputerKeyboard is a subclass of ComputerKeyboard_Generic
(subclass ComputerKeypad ComputerKeyboard_Generic) ComputerInput.kif 399-399 ComputerKeypad is a subclass of ComputerKeyboard_Generic
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic) ComputerInput.kif 474-474 ComputerTouchscreenKeyboard is a subclass of ComputerKeyboard_Generic
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic) ComputerInput.kif 269-269 A ComputerKeyboardKey is typically a part of a 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 273-280
(=>
    (instance ?KEYBOARD ComputerKeyboard_Generic)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (component ?KEY ?KEYBOARD))))
ComputerInput.kif 284-289


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