Wallpaper |
appearance as argument number 1 |
(documentation Wallpaper EnglishLanguage "Any decorative paper that is used to cover the Walls of Rooms.") | Mid-level-ontology.kif 3122-3123 | |
(subclass Wallpaper ArtWork) | Mid-level-ontology.kif 3121-3121 |
appearance as argument number 2 |
(termFormat ChineseLanguage Wallpaper "墙纸") | domainEnglishFormat.kif 62115-62115 | |
(termFormat ChineseTraditionalLanguage Wallpaper "牆紙") | domainEnglishFormat.kif 62114-62114 | |
(termFormat EnglishLanguage Wallpaper "wallpaper") | domainEnglishFormat.kif 62113-62113 |
antecedent |
(=> (and (instance ?W Wallpaper) (part ?P ?W)) (instance ?P Paper)) |
Mid-level-ontology.kif 3125-3129 | |
(=> (instance ?P Wallpaper) (hasPurpose ?P (exists (?W ?R ?C) (and (instance ?W Wall) (part ?W ?R) (instance ?R Room) (instance ?C Covering) (patient ?C ?W) (instrument ?C ?P))))) |
Mid-level-ontology.kif 3131-3141 |