ArtWork | ![]() |
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 15558-15560 | |
(subclass ArtWork Artifact) | Merge.kif 15557-15557 |
appearance as argument number 2 |
![]() |
(subclass Collage ArtWork) | Mid-level-ontology.kif 3112-3112 | |
(subclass PaintedPicture ArtWork) | Mid-level-ontology.kif 3047-3047 | |
(subclass RepresentationalArtWork ArtWork) | Merge.kif 15585-15585 | |
(subclass Sculpture ArtWork) | Mid-level-ontology.kif 3094-3094 | |
(subclass Sketch ArtWork) | Mid-level-ontology.kif 3108-3108 | |
(subclass Wallpaper ArtWork) | Mid-level-ontology.kif 3072-3072 | |
(termFormat ChineseLanguage ArtWork "艺术品") | chinese_format.kif 1053-1053 | |
(termFormat EnglishLanguage ArtWork "art work") | english_format.kif 1317-1317 |
antecedent |
![]() |
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18188-18194 | |
(=> (instance ?AW ArtWork) (hasPurpose ?AW (exists (?H ?P) (and (instance ?H Human) (instance ?P Perception) (experiencer ?P ?H) (patient ?P ?AW))))) |
Merge.kif 15562-15570 | |
(=> (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 15572-15583 |
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 16186-16196 | |
(=> (attribute ?H ArtCritic) (exists (?T ?AW) (and (instance ?AW ArtWork) (authors ?H ?T) (refers ?T ?AW)))) |
Mid-level-ontology.kif 20395-20401 | |
(=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 8102-8109 | |
(=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork))))) |
Mid-level-ontology.kif 6393-6400 |
![]() |
![]() |