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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerKeyboard
ComputerKeyboard

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
(havePartTypes ComputerKeyboard ComputerKeyboardKey) ComputerInput.kif 375-375
(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 29463-29463
(lexicon ComputerKeyboard LexNoun "keyboard") QoSontology.kif 475-475
(subclass ComputerKeyboard ComputerInputDevice) QoSontology.kif 471-471
(subclass ComputerKeyboard ComputerKeyboard_Generic) ComputerInput.kif 369-369
(subclass ComputerKeyboard Keyboard) ComputerInput.kif 370-370

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


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

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


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


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