LaptopScreenPart - Sigma Knowledge base Browser

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 3755-3758
(subclass LaptopScreenPart Device)	ComputingBrands.kif 3753-3753	Clamshell is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage LaptopScreenPart "clamshell")

ComputingBrands.kif 3760-3760

antecedent

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

ComputingBrands.kif 3762-3768