(=> (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 22706-22718 |
|
(subclass ArtWork VisualContentBearingObject) | Mid-level-ontology.kif 28121-28121 | Objet d'art est une sous-classe de VisualContentBearingObject |
(subclass ArtWork Artifact) | Merge.kif 15989-15989 | Objet d'art est une sous-classe de artefact |
(subclass PaintedPicture ArtWork) | Mid-level-ontology.kif 3539-3539 | PaintedPicture est une sous-classe de objet d'art |
(subclass Wallpaper ArtWork) | Mid-level-ontology.kif 3564-3564 | Wallpaper est une sous-classe de objet d'art |
(subclass Sculpture ArtWork) | Mid-level-ontology.kif 3586-3586 | Sculpture est une sous-classe de objet d'art |
(subclass Sketch ArtWork) | Mid-level-ontology.kif 3600-3600 | Sketch est une sous-classe de objet d'art |
(subclass Collage ArtWork) | Mid-level-ontology.kif 3604-3604 | Collage est une sous-classe de objet d'art |
(subclass RepresentationalArtWork ArtWork) | Merge.kif 16017-16017 | RepresentationalArtWork est une sous-classe de objet d'art |
![]() |