LaptopScreenPart |
appearance as argument number 1 |
(documentation LaptopScreenPart EnglishLanguage "The half of a laptop that contains the screen and possibly other electronics such as a camera. Note that a touchscreen laptop might not have a keyboard (at least not permanently attached).") | ComputingBrands.kif 3760-3763 | |
(subclass LaptopScreenPart Device) | ComputingBrands.kif 3758-3758 | LaptopScreenPart 是 设备 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage LaptopScreenPart "clamshell") | ComputingBrands.kif 3765-3765 |
antecedent |
(=> (instance ?LSP LaptopScreenPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3767-3773 |