Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ArtStudio(art studio)
|  | studio |
| appearance as argument number 1 |
|
|
| (subclass ArtStudio Workshop) | Mid-level-ontology.kif 7817-7817 | Art studio is a subclass of workshop |
| (documentation ArtStudio EnglishLanguage "A Workshop, which is devoted to the creation of ArtWorks.") | Mid-level-ontology.kif 7818-7819 | Art studio is a subclass of workshop |
| (externalImage ArtStudio "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Evstafiev_Sculptor_Jean_Freur_studio.jpg") | pictureList.kif 4510-4510 | Art studio is a subclass of workshop |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork))))) |
Mid-level-ontology.kif 7821-7828 | If X is an instance of art studio, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, and Z is an instance of art work |
|