| ComputerKeyboard(computer keyboard) | | computer_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 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 | Instance of computer keyboard are always initially part of instances of laptop |
| (lexicon ComputerKeyboard LexNoun "keyboard") | QoSontology.kif 475-475 | Instance of computer keyboard are always initially part of instances of laptop |
| (partTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 375-375 | Every computer keyboard is a part of a computer keyboard key |
| (subclass ComputerKeyboard ComputerInputDevice) | QoSontology.kif 471-471 | Computer keyboard is a subclass of computer input device |
| (subclass ComputerKeyboard ComputerKeyboard_Generic) | ComputerInput.kif 369-369 | Computer keyboard is a subclass of generic computer keyboard |
| (subclass ComputerKeyboard Keyboard) | ComputerInput.kif 370-370 | Computer keyboard is a subclass of keyboard |
| appearance as argument number 2 |
|
|
| (disjoint ComputerMouse ComputerKeyboard) | ComputerInput.kif 398-398 | Computer mouse is disjoint from computer keyboard |
| (disjoint TouchSensitiveComputerInputDevice ComputerKeyboard) | ComputerInput.kif 424-424 | Touch sensitive computer input device is disjoint from computer keyboard |
| (termFormat EnglishLanguage ComputerKeyboard "computer keyboard") | domainEnglishFormat.kif 64723-64723 | Touch sensitive computer input device is disjoint from computer keyboard |
| consequent |
|
|
| (=> (instance ?T TabletComputer) (not (exists (?K) (and (instance ?K ComputerKeyboard) (part ?K ?T))))) |
Mid-level-ontology.kif 29839-29845 |
|
|
|
|