Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Rug Fabric) | Mid-level-ontology.kif 6465-6465 | Rug is a subclass of fabric |
| (documentation Rug EnglishLanguage "A piece of Fabric whose purpose is to cover a Floor.") | Mid-level-ontology.kif 6466-6466 | 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 6468-6476 | 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 |
|
