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 3115-3116 | |
(subclass Wallpaper ArtWork) | Mid-level-ontology.kif 3114-3114 |
appearance as argument number 2 |
(termFormat ChineseLanguage Wallpaper "墙纸") | domainEnglishFormat.kif 62117-62117 | |
(termFormat ChineseTraditionalLanguage Wallpaper "牆紙") | domainEnglishFormat.kif 62116-62116 | |
(termFormat EnglishLanguage Wallpaper "wallpaper") | domainEnglishFormat.kif 62115-62115 |
antecedent |
(=> (and (instance ?W Wallpaper) (part ?P ?W)) (instance ?P Paper)) |
Mid-level-ontology.kif 3118-3122 | |
(=> (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 3124-3134 |