| 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 15409-15410 | |
| (externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Skylight_looking_from_senate.jpg") | pictureList.kif 11869-11869 | |
| (externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ ClerestorywindowUSDOE.jpg") | pictureList.kif 10261-10261 | |
| (externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Skylight_ontop_of_parliament.jpg") | pictureList.kif 11870-11870 | |
| (externalImage Skylight "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Gull_on_skylight.jpg") | pictureList.kif 11868-11868 | |
| (subclass Skylight Window) | Mid-level-ontology.kif 15408-15408 | Skylight is a subclass of window |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Skylight "天空之光") | domainEnglishFormat.kif 53388-53388 | |
| (termFormat ChineseTraditionalLanguage Skylight "天空之光") | domainEnglishFormat.kif 53387-53387 | |
| (termFormat EnglishLanguage Skylight "skylight") | domainEnglishFormat.kif 53386-53386 |
| antecedent |
|
|
| (=> (instance ?W Skylight) (exists (?C) (and (instance ?C Ceiling) (part ?W ?C)))) |
Mid-level-ontology.kif 15412-15417 |
|
|
|
|