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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerKeyboard

Sigma KEE - ComputerKeyboard
ComputerKeyboard(computer keyboard)computer_keyboard, keypad

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


(documentation ComputerKeyboard EnglishLanguage "A ComputerInputDevice containing a set of keys and used to input different characters.") QoSontology.kif 472-473
(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 371-374
(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 29548-29548 Instance of computer keyboard are always initially part of instances of laptop
(lexicon ComputerKeyboard LexNoun "keyboard") QoSontology.kif 475-475
(partTypes ComputerKeyboard ComputerKeyboardKey) ComputerInput.kif 375-375 Every computer keyboard is a part of a computer keyboard key
(subclass ComputerKeyboard ComputerInputDevice) QoSontology.kif 471-471 Computer keyboard is a subclass of computer input device
(subclass ComputerKeyboard ComputerKeyboard_Generic) ComputerInput.kif 369-369 Computer keyboard is a subclass of generic computer keyboard
(subclass ComputerKeyboard Keyboard) ComputerInput.kif 370-370 Computer keyboard is a subclass of keyboard

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


(disjoint ComputerMouse ComputerKeyboard) ComputerInput.kif 398-398 Computer mouse is disjoint from computer keyboard
(disjoint TouchSensitiveComputerInputDevice ComputerKeyboard) ComputerInput.kif 424-424 Touch sensitive computer input device is disjoint from computer keyboard
(termFormat EnglishLanguage ComputerKeyboard "computer keyboard") domainEnglishFormat.kif 64675-64675

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


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


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