ComputerKeyboard - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ComputerKeyboard ComputerInputDevice)	ComputerInput.kif 170-170	Computer keyboard is a subclass of computer input device
(subclass ComputerKeyboard Keyboard)	ComputerInput.kif 171-171	Computer keyboard is a subclass of keyboard
(documentation ComputerKeyboard EnglishLanguage "A ComputerInputDevice containing a set of keys and used to input different characters.")	ComputerInput.kif 172-173	Computer keyboard is a subclass of keyboard
(lexicon ComputerKeyboard LexNoun "keyboard")	ComputerInput.kif 174-174	Computer keyboard is a subclass of keyboard
(initiallyContainsPart ComputerKeyboard Laptop)	ComputerInput.kif 176-176	Instance of computer keyboard are always initially part of instances of laptop
(subclass ComputerKeyboard ComputerKeyboard_Generic)	ComputerInput.kif 385-385	Computer keyboard is a subclass of generic computer keyboard
(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 387-390	Computer keyboard is a subclass of generic computer keyboard
(partTypes ComputerKeyboard ComputerKeyboardKey)	ComputerInput.kif 391-391	Every computer keyboard is a part of a computer keyboard key

appearance as argument number 2

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

consequent

(=>
    (instance ?T TabletComputer)
    (not
        (exists (?K)
            (and
                (instance ?K ComputerKeyboard)
                (part ?K ?T)))))

If X is an instance of tablet computer, then there doesn't exist Y such that Y is an instance of computer keyboard and Y is a part of X