LaptopKeyboardPart - Sigma Knowledge base Browser

appearance as argument number 1

(subclass LaptopKeyboardPart Device)	ComputingBrands.kif 3681-3681	Keyboard is a subclass of device
(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 3683-3686	Keyboard is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage LaptopKeyboardPart "keyboard")

antecedent

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

If X is an instance of keyboard, then X has the purpose there exists Y such that Y is an instance of laptop and X is a part of Y