| Shelf(shelf)
| | chimneypiece, mantel, mantelpiece, mantle, mantlepiece, shelf |
| appearance as argument number 1 |
|
|
| (subclass Shelf Artifact) | Mid-level-ontology.kif 1790-1790 | Shelf is a subclass of artifact |
| (documentation Shelf EnglishLanguage "An piece of Furniture or part of a piece of Furniture that is used for keeping or displaying things.") | Mid-level-ontology.kif 1791-1792 | Shelf is a subclass of artifact |
| (externalImage Shelf "http://upload.wikimedia.org/wikipedia/commons/6/60/ Shelf.agr.jpg") | pictureList.kif 166-166 | Shelf is a subclass of artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Shelf) (exists (?F) (and (instance ?F Furniture) (part ?S ?F)))) |
Mid-level-ontology.kif 1794-1799 | If X is an instance of shelf, then there exists Y such that Y is an instance of furniture and X is a part of Y |
|
|
|