Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Writer
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Wallpaper ArtWork) | Mid-level-ontology.kif 3728-3728 | Wallpaper is a subclass of art work |
| (documentation Wallpaper EnglishLanguage "Any decorative paper that is used to cover the Walls of Rooms.") | Mid-level-ontology.kif 3729-3730 | Wallpaper is a subclass of art work |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?W Wallpaper) (part ?P ?W)) (instance ?P Paper)) |
Mid-level-ontology.kif 3732-3736 | If X is an instance of wallpaper and Y is a part of X, then Y is an instance of paper |
| (=> (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 3738-3748 | If X is an instance of wallpaper, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of wall (3) Y is a part of Z (4) Z is an instance of room (5) W is an instance of covering (6) Y is a patient of W (7) X is an instrument for W |
|