|
|
   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 is a subclass of 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 |
|
|
|
|
