Skylight
|
|
appearance as argument number 1 |
(documentation Skylight EnglishLanguage "A Window that is part of the Ceiling of a Room.") | Mid-level-ontology.kif 15218-15219 | |
(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 15217-15217 | Skylight est une sous-classe de Window |
appearance as argument number 2 |
(termFormat ChineseLanguage Skylight "天空之光") | domainEnglishFormat.kif 53350-53350 | |
(termFormat ChineseTraditionalLanguage Skylight "天空之光") | domainEnglishFormat.kif 53349-53349 | |
(termFormat EnglishLanguage Skylight "skylight") | domainEnglishFormat.kif 53348-53348 |
antecedent |
(=> (instance ?W Skylight) (exists (?C) (and (instance ?C Ceiling) (part ?W ?C)))) |
Mid-level-ontology.kif 15221-15226 |