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


KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerKeyboard
ComputerKeyboardcomputer_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 473-474
(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 31453-31453 initiallyContainsPart ComputerKeyboard and Laptop
(lexicon ComputerKeyboard LexNoun "keyboard") QoSontology.kif 476-476 initiallyContainsPart ComputerKeyboard and Laptop
(partTypes ComputerKeyboard ComputerKeyboardKey) ComputerInput.kif 375-375 partTypes ComputerKeyboard and ComputerKeyboardKey
(subclass ComputerKeyboard ComputerInputDevice) QoSontology.kif 472-472 ComputerKeyboard is a subclass of ComputerInputDevice
(subclass ComputerKeyboard ComputerKeyboard_Generic) ComputerInput.kif 369-369 ComputerKeyboard is a subclass of ComputerKeyboard_Generic
(subclass ComputerKeyboard Keyboard) ComputerInput.kif 370-370 ComputerKeyboard is a subclass of Keyboard

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


(disjoint ComputerMouse ComputerKeyboard) ComputerInput.kif 398-398 ComputerMouse is disjoint from ComputerKeyboard
(disjoint TouchSensitiveComputerInputDevice ComputerKeyboard) ComputerInput.kif 424-424 TouchSensitiveComputerInputDevice is disjoint from ComputerKeyboard
(termFormat EnglishLanguage ComputerKeyboard "computer keyboard") domainEnglishFormat.kif 64668-64668 TouchSensitiveComputerInputDevice is disjoint from ComputerKeyboard

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


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


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