|
|
   LaptopKeyboardPart
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LaptopKeyboardPart EnglishLanguage "The half of a laptop that contains the keyboard and possibly other electronics such as a trackpad. Note that although not every laptop has a keyboard part, every laptop should have a screen.") | ComputingBrands.kif 3777-3780 | |
| (subclass LaptopKeyboardPart Device) | ComputingBrands.kif 3775-3775 | LaptopKeyboardPart ist eine teilkategorie von Device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LaptopKeyboardPart "keyboard") | ComputingBrands.kif 3782-3782 |
| antecedent |
|
|
| (=> (instance ?LSP LaptopKeyboardPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3784-3790 |
|
|
|
|