Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Skylight
Skylight

appearance as argument number 1
-------------------------


(documentation Skylight EnglishLanguage "A Window that is part of the Ceiling of a Room.") Mid-level-ontology.kif 15191-15192
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Skylight_looking_from_senate.jpg") pictureList.kif 11869-11869
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ ClerestorywindowUSDOE.jpg") pictureList.kif 10261-10261
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Skylight_ontop_of_parliament.jpg") pictureList.kif 11870-11870
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Gull_on_skylight.jpg") pictureList.kif 11868-11868
(subclass Skylight Window) Mid-level-ontology.kif 15190-15190

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Skylight "天空之光") domainEnglishFormat.kif 53348-53348
(termFormat ChineseTraditionalLanguage Skylight "天空之光") domainEnglishFormat.kif 53347-53347
(termFormat EnglishLanguage Skylight "skylight") domainEnglishFormat.kif 53346-53346

antecedent
-------------------------


(=>
    (instance ?W Skylight)
    (exists (?C)
        (and
            (instance ?C Ceiling)
            (part ?W ?C))))
Mid-level-ontology.kif 15194-15199


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners