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 | |
(initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 29599-29599 | ComputerKeyboard 的例子總是 Laptop 的 initially part 的例子 |
(lexicon ComputerKeyboard LexNoun "keyboard") | QoSontology.kif 475-475 | |
(partTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 375-375 | 每個 ComputerKeyboard 是 ComputerKeyboardKey 的 part |
(subclass ComputerKeyboard ComputerInputDevice) | QoSontology.kif 471-471 | 子類 ComputerKeyboard and 電腦輸入設備 |
(subclass ComputerKeyboard ComputerKeyboard_Generic) | ComputerInput.kif 369-369 | 子類 ComputerKeyboard and ComputerKeyboard_Generic |
(subclass ComputerKeyboard Keyboard) | ComputerInput.kif 370-370 | 子類 ComputerKeyboard and Keyboard |
appearance as argument number 2 |
(disjoint ComputerMouse ComputerKeyboard) | ComputerInput.kif 398-398 | 不相交的 ComputerMouse and ComputerKeyboard |
(disjoint TouchSensitiveComputerInputDevice ComputerKeyboard) | ComputerInput.kif 424-424 | 不相交的 TouchSensitiveComputerInputDevice and ComputerKeyboard |
(termFormat EnglishLanguage ComputerKeyboard "computer keyboard") | domainEnglishFormat.kif 64677-64677 |
consequent |
(=> (instance ?T TabletComputer) (not (exists (?K) (and (instance ?K ComputerKeyboard) (part ?K ?T))))) |
Mid-level-ontology.kif 29606-29612 |
|