LaptopKeyboardPart - Sigma Knowledge base Browser

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 3772-3775
(subclass LaptopKeyboardPart Device)	ComputingBrands.kif 3770-3770	Keyboard is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage LaptopKeyboardPart "keyboard")

ComputingBrands.kif 3777-3777

antecedent

(=>
    (instance ?LSP LaptopKeyboardPart)
    (hasPurpose ?LSP
        (exists (?L)
            (and
                (instance ?L Laptop)
                (part ?LSP ?L)))))

ComputingBrands.kif 3779-3785