TreeView Knowledge Base Browser

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 29832-29832	ComputerKeyboard 的例子总是 Laptop 的 initially part 的例子
(lexicon ComputerKeyboard LexNoun "keyboard")	QoSontology.kif 475-475	ComputerKeyboard 的例子总是 Laptop 的 initially part 的例子
(partTypes ComputerKeyboard ComputerKeyboardKey)	ComputerInput.kif 375-375	每个 ComputerKeyboard 是 ComputerKeyboardKey 的 part
(subclass ComputerKeyboard ComputerInputDevice)	QoSontology.kif 471-471	ComputerKeyboard 是电脑输入设备的 subclass
(subclass ComputerKeyboard ComputerKeyboard_Generic)	ComputerInput.kif 369-369	ComputerKeyboard 是 ComputerKeyboard_Generic 的 subclass
(subclass ComputerKeyboard Keyboard)	ComputerInput.kif 370-370	ComputerKeyboard 是 Keyboard 的 subclass

appearance as argument number 2

(disjoint ComputerMouse ComputerKeyboard)	ComputerInput.kif 398-398	ComputerMouse 和 % 2 是 disjoint
(disjoint TouchSensitiveComputerInputDevice ComputerKeyboard)	ComputerInput.kif 424-424	TouchSensitiveComputerInputDevice 和 % 2 是 disjoint
(termFormat EnglishLanguage ComputerKeyboard "computer keyboard")	domainEnglishFormat.kif 64723-64723	TouchSensitiveComputerInputDevice 和 % 2 是 disjoint

consequent

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

Mid-level-ontology.kif 29839-29845