LaptopScreenPart - Sigma Knowledge base Browser

appearance as argument number 1

(subclass LaptopScreenPart Device)	ComputingBrands.kif 3664-3664	Clamshell is a subclass of device
(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 3666-3669	Clamshell is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage LaptopScreenPart "clamshell")

antecedent

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

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