| Skylight(skylight)
| | fanlight, skylight |
| appearance as argument number 1 |
|
|
| (documentation Skylight EnglishLanguage "A Window that is part of the Ceiling of a Room.") | Mid-level-ontology.kif 16119-16120 | |
| (externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Skylight_looking_from_senate.jpg") | pictureList.kif 11862-11862 | |
| (externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ ClerestorywindowUSDOE.jpg") | pictureList.kif 10259-10259 | |
| (externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Skylight_ontop_of_parliament.jpg") | pictureList.kif 11863-11863 | |
| (externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Gull_on_skylight.jpg") | pictureList.kif 11861-11861 | |
| (subclass Skylight Window) | Mid-level-ontology.kif 16118-16118 | Skylight is a subclass of window |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Skylight "天空之光") | domainEnglishFormat.kif 53381-53381 | |
| (termFormat ChineseTraditionalLanguage Skylight "天空之光") | domainEnglishFormat.kif 53380-53380 | |
| (termFormat EnglishLanguage Skylight "skylight") | domainEnglishFormat.kif 53379-53379 |
| antecedent |
|
|
| (=> (instance ?W Skylight) (exists (?C) (and (instance ?C Ceiling) (part ?W ?C)))) |
Mid-level-ontology.kif 16122-16127 |
|
|
|
|