TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__ComputerKeyboard, s__EnglishLanguage, "A ComputerInputDevice containing a set of keys and used to input different characters_")	QoSontology.kif 473-474
s__documentation(s__ComputerKeyboard, s__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
s__initiallyContainsPart(s__ComputerKeyboard, s__Laptop)	Mid-level-ontology.kif 31453-31453	initiallyContainsPart ComputerKeyboard and Laptop
s__lexicon(s__ComputerKeyboard, s__LexNoun, "keyboard")	QoSontology.kif 476-476	initiallyContainsPart ComputerKeyboard and Laptop
s__partTypes(s__ComputerKeyboard, s__ComputerKeyboardKey)	ComputerInput.kif 375-375	partTypes ComputerKeyboard and ComputerKeyboardKey
s__subclass(s__ComputerKeyboard, s__ComputerInputDevice)	QoSontology.kif 472-472	ComputerKeyboard is a subclass of ComputerInputDevice
s__subclass(s__ComputerKeyboard, s__ComputerKeyboard_Generic)	ComputerInput.kif 369-369	ComputerKeyboard is a subclass of ComputerKeyboard_Generic
s__subclass(s__ComputerKeyboard, s__Keyboard)	ComputerInput.kif 370-370	ComputerKeyboard is a subclass of Keyboard

appearance as argument number 2

s__disjoint(s__ComputerMouse, s__ComputerKeyboard)	ComputerInput.kif 398-398	ComputerMouse is disjoint from ComputerKeyboard
s__disjoint(s__TouchSensitiveComputerInputDevice, s__ComputerKeyboard)	ComputerInput.kif 424-424	TouchSensitiveComputerInputDevice is disjoint from ComputerKeyboard
s__termFormat(s__EnglishLanguage, s__ComputerKeyboard, "computer keyboard")	domainEnglishFormat.kif 64668-64668	TouchSensitiveComputerInputDevice is disjoint from ComputerKeyboard

consequent

! [V__T : $i] : ((s__instance(V__T, s__TabletComputer) => ~(( ? [V__K:$i] : ((s__instance(V__K, s__ComputerKeyboard) & s__part(V__K, V__T)))))))

Mid-level-ontology.kif 31460-31466