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 13738-13739
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Skylight_looking_from_senate.jpg") pictureList.kif 11895-11895
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ ClerestorywindowUSDOE.jpg") pictureList.kif 10281-10281
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Skylight_ontop_of_parliament.jpg") pictureList.kif 11896-11896
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Gull_on_skylight.jpg") pictureList.kif 11894-11894
(subclass Skylight Window) Mid-level-ontology.kif 13737-13737

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


(termFormat ChineseLanguage Skylight "天空之光") domainEnglishFormat.kif 53331-53331
(termFormat ChineseTraditionalLanguage Skylight "天空之光") domainEnglishFormat.kif 53330-53330
(termFormat EnglishLanguage Skylight "skylight") domainEnglishFormat.kif 53329-53329

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


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


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