| 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 |
|
|
|