Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


Term 1: Term 2:

(=>
    (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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners