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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Skylight

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 14490-14491
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Skylight_looking_from_senate.jpg") pictureList.kif 11885-11885
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ ClerestorywindowUSDOE.jpg") pictureList.kif 10271-10271
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Skylight_ontop_of_parliament.jpg") pictureList.kif 11886-11886
(externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Gull_on_skylight.jpg") pictureList.kif 11884-11884
(subclass Skylight Window) Mid-level-ontology.kif 14489-14489

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 14493-14498


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

Show without tree


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