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 13522-13523
(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 13521-13521

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


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

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


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


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