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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerKeyboard

Sigma KEE - ComputerKeyboard
ComputerKeyboardcomputer_keyboard, keypad

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


(classIntersection ComputerKeyboard TouchSensitiveComputerInputDevice ComputerTouchscreenKeyboard) ComputerInput.kif 475-476 The intersection of ComputerKeyboard and TouchSensitiveComputerInputDevice is ComputerTouchscreenKeyboard
(documentation ComputerKeyboard EnglishLanguage "A ComputerInputDevice containing a set of keys and used to input different characters.") QoSontology.kif 470-471
(documentation ComputerKeyboard 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 187-190
(documentation ComputerKeyboard EnglishLanguage "A physical (as opposed to displayed) ComputerInputDevice for accepting typed input with a typewriter layout. A ComputerKeyboard may have additional keys and arrays of keys that are not on a typewriter keyboard.") ComputerInput.kif 393-396
(havePartTypes ComputerKeyboard ComputerKeyboardKey) ComputerInput.kif 397-397 ComputerKeyboard has parts of type ComputerKeyboardKey
(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 27748-27748 Instance of ComputerKeyboard are always initially part of instances of Laptop
(lexicon ComputerKeyboard LexNoun "keyboard") QoSontology.kif 473-473
(subclass ComputerKeyboard ComputerInputDevice) QoSontology.kif 469-469 ComputerKeyboard is a subclass of computer input device
(subclass ComputerKeyboard ComputerKeyboard_Generic) ComputerInput.kif 391-391 ComputerKeyboard is a subclass of ComputerKeyboard_Generic
(subclass ComputerKeyboard Keyboard) ComputerInput.kif 392-392 ComputerKeyboard is a subclass of Keyboard

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


(disjoint ComputerMouse ComputerKeyboard) ComputerInput.kif 421-421 ComputerMouse is disjoint from ComputerKeyboard
(disjoint TouchSensitiveComputerInputDevice ComputerKeyboard) ComputerInput.kif 447-447 TouchSensitiveComputerInputDevice is disjoint from ComputerKeyboard

consequent
-------------------------


(=>
    (instance ?T TabletComputer)
    (not
        (exists (?K)
            (and
                (instance ?K ComputerKeyboard)
                (part ?K ?T)))))
Mid-level-ontology.kif 27755-27761


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