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 "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 15189-15189 |
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 |
antecedent |
(=> (instance ?W Skylight) (exists (?C) (and (instance ?C Ceiling) (part ?W ?C)))) |
Mid-level-ontology.kif 15193-15198 |