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