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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Skylight

appearance as argument number 1

(documentation Skylight EnglishLanguage "A Window that is part of the Ceiling of a Room.") Mid-level-ontology.kif 15190-15191
(externalImage Skylight " 69/ Skylight_looking_from_senate.jpg") pictureList.kif 11869-11869
(externalImage Skylight " 79/ ClerestorywindowUSDOE.jpg") pictureList.kif 10261-10261
(externalImage Skylight " c3/ Skylight_ontop_of_parliament.jpg") pictureList.kif 11870-11870
(externalImage Skylight " d4/ Gull_on_skylight.jpg") pictureList.kif 11868-11868
(subclass Skylight Window) Mid-level-ontology.kif 15189-15189 Skylight est une sous-classe de Window

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


    (instance ?W Skylight)
    (exists (?C)
            (instance ?C Ceiling)
            (part ?W ?C))))
Mid-level-ontology.kif 15193-15198

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