more pictures...
| Rug(rug)
more pictures... | | mat |
| appearance as argument number 1 |
|
|
| (subclass Rug Fabric) | Mid-level-ontology.kif 6302-6302 | Rug is a subclass of fabric |
| (documentation Rug EnglishLanguage "A piece of Fabric whose purpose is to cover a Floor.") | Mid-level-ontology.kif 6303-6303 | Rug is a subclass of fabric |
| (externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/d/d0/Swatches_of_berber_carpet.jpg") | pictureList.kif 10234-10234 | Rug is a subclass of fabric |
| (externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/4/44/Red_carpet.JPG") | pictureList.kif 11762-11762 | Rug is a subclass of fabric |
| (externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/9/98/Carpet_pattern.jpg") | pictureList.kif 11763-11763 | Rug is a subclass of fabric |
| (externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/d/d1/Tapis_Kairouan.jpg") | pictureList.kif 11765-11765 | Rug is a subclass of fabric |
| (externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/c/ca/Farsh_Qom.JPG") | pictureList.kif 11766-11766 | Rug is a subclass of fabric |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?R Rug) (hasPurpose ?R (exists (?C ?F) (and (instance ?C Covering) (instrument ?C ?R) (patient ?C ?F) (instance ?F Floor))))) |
Mid-level-ontology.kif 6305-6313 | If X is an instance of rug, then X has the purpose there exist Y, Z such that Y is an instance of covering, X is an instrument for Y, Z is a patient of Y, and Z is an instance of floor |
|
|
|