Skylight - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Skylight Window)	Mid-level-ontology.kif 16765-16765	Skylight is a subclass of window
(documentation Skylight EnglishLanguage "A Window that is part of the Ceiling of a Room.")	Mid-level-ontology.kif 16766-16767	Skylight is a subclass of window
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ ClerestorywindowUSDOE.jpg")	pictureList.kif 10259-10259	Skylight is a subclass of window
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Gull_on_skylight.jpg")	pictureList.kif 11861-11861	Skylight is a subclass of window
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Skylight_looking_from_senate.jpg")	pictureList.kif 11862-11862	Skylight is a subclass of window
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Skylight_ontop_of_parliament.jpg")	pictureList.kif 11863-11863	Skylight is a subclass of window

appearance as argument number 2

(termFormat EnglishLanguage Skylight "skylight")	domainEnglishFormat.kif 53343-53343
(termFormat ChineseTraditionalLanguage Skylight "天空之光")	domainEnglishFormat.kif 53344-53344
(termFormat ChineseLanguage Skylight "天空之光")	domainEnglishFormat.kif 53345-53345

antecedent

(=>
    (instance ?W Skylight)
    (exists (?C)
        (and
            (instance ?C Ceiling)
            (part ?W ?C))))

If X is an instance of skylight, then there exists Y such that Y is an instance of ceiling and X is a part of Y