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 21089-21101
(subclass ArtWork Artifact) Merge.kif 15839-15839 Objet d'art est une sous-classe de artefact
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3096-3096 PaintedPicture est une sous-classe de objet d'art
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3121-3121 Wallpaper est une sous-classe de objet d'art
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3143-3143 Sculpture est une sous-classe de objet d'art
(subclass Sketch ArtWork) Mid-level-ontology.kif 3157-3157 Sketch est une sous-classe de objet d'art
(subclass Collage ArtWork) Mid-level-ontology.kif 3161-3161 Collage est une sous-classe de objet d'art
(subclass RepresentationalArtWork ArtWork) Merge.kif 15867-15867 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