| ArtWork(objet d'art) | |
| appearance as argument number 1 |
|
|
| (documentation ArtWork ChineseLanguage "这是缔造来主要为了让人审美欣赏 Artifact。 注这 Class 个类别并不包括建筑物的例子，建筑物属于 StationaryArtifact。") | chinese_format.kif 3605-3606 | |
| (documentation ArtWork EnglishLanguage "Artifacts that are created primarily for aesthetic appreciation. Note that this Class does not include most examples of architecture, which belong under StationaryArtifact.") | Merge.kif 15941-15943 | |
| (subclass ArtWork Artifact) | Merge.kif 15940-15940 | Objet d'art est une sous-classe de artefact |
| appearance as argument number 2 |
|
|
| (subclass Collage ArtWork) | Mid-level-ontology.kif 3630-3630 | Collage est une sous-classe de objet d'art |
| (subclass PaintedPicture ArtWork) | Mid-level-ontology.kif 3565-3565 | PaintedPicture est une sous-classe de objet d'art |
| (subclass RepresentationalArtWork ArtWork) | Merge.kif 15968-15968 | RepresentationalArtWork est une sous-classe de objet d'art |
| (subclass Sculpture ArtWork) | Mid-level-ontology.kif 3612-3612 | Sculpture est une sous-classe de objet d'art |
| (subclass Sketch ArtWork) | Mid-level-ontology.kif 3626-3626 | Sketch est une sous-classe de objet d'art |
| (subclass Wallpaper ArtWork) | Mid-level-ontology.kif 3590-3590 | Wallpaper est une sous-classe de objet d'art |
| (termFormat ChineseLanguage ArtWork "艺术品") | chinese_format.kif 1053-1053 | Wallpaper est une sous-classe de objet d'art |
| (termFormat EnglishLanguage ArtWork "art work") | english_format.kif 1317-1317 | Wallpaper est une sous-classe de objet d'art |
| (termFormat FrenchLanguage ArtWork "objet d'art") | french_format.kif 731-731 | Wallpaper est une sous-classe de objet d'art |
| (termFormat Hindi ArtWork "kalaakriti") | terms-hindi.txt 262-262 | Wallpaper est une sous-classe de objet d'art |
| (termFormat ItalianLanguage ArtWork "OperaD'Arte") | terms-it.txt 265-265 | Wallpaper est une sous-classe de objet d'art |
| (termFormat JapaneseLanguage ArtWork "芸術作品") | japanese_format.kif 2415-2415 | Wallpaper est une sous-classe de objet d'art |
| (termFormat PortugueseLanguage ArtWork "Objeto de Arte") | portuguese_format.kif 683-683 | Wallpaper est une sous-classe de objet d'art |
| (termFormat cz ArtWork "art work") | terms-cz.txt 301-301 | Wallpaper est une sous-classe de objet d'art |
| (termFormat de ArtWork "Kunststueck") | terms-de.txt 560-560 | Wallpaper est une sous-classe de objet d'art |
| (termFormat ro ArtWork "operã de artã") | relations-ro.kif 752-752 | Wallpaper est une sous-classe de objet d'art |
| (termFormat tg ArtWork "sining") | terms-tg.txt 266-266 | Wallpaper est une sous-classe de objet d'art |
| antecedent |
|
|
| (=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 20415-20421 |
|
| (=> (instance ?AW ArtWork) (hasPurpose ?AW (exists (?H ?P) (and (instance ?H Human) (instance ?P Perception) (experiencer ?P ?H) (patient ?P ?AW))))) |
Merge.kif 15945-15953 | |
| (=> (instance ?AW ArtWork) (hasPurpose ?AW (exists (?H) (and (instance ?H Human) (desires ?H (exists (?P) (and (instance ?P Perception) (experiencer ?P ?H) (patient ?P ?AW)))))))) |
Merge.kif 15955-15966 |
| consequent |
|
|
| (=> (and (instance ?AS ArtSchool) (instance ?P EducationalProcess) (eventLocated ?P ?AS)) (exists (?M ?ART) (and (instance ?M Making) (patient ?M ?ART) (instance ?ART ArtWork) (refers ?P ?M)))) |
Mid-level-ontology.kif 18163-18173 | |
| (=> (attribute ?H ArtCritic) (hasPurpose ?H (exists (?AW ?T ?CLASS) (and (instance ?AW ArtWork) (overlapsTemporally (WhenFn ?AW) (WhenFn ?H)) (instance ?T ?CLASS) (subclass ?CLASS Article) (authors ?H ?CLASS) (refers ?T ?AW))))) |
Mid-level-ontology.kif 22713-22725 |
|
| (=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 9725-9732 | |
| (=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork))))) |
Mid-level-ontology.kif 7696-7703 |
|
|
|