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 Art work is a subclass of visual content bearing object
(subclass ArtWork Artifact) Merge.kif 15989-15989 Art work is a subclass of artifact
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3539-3539 Painted picture is a subclass of art work
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3564-3564 Wallpaper is a subclass of art work
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3586-3586 Sculpture is a subclass of art work
(subclass Sketch ArtWork) Mid-level-ontology.kif 3600-3600 Sketch is a subclass of art work
(subclass Collage ArtWork) Mid-level-ontology.kif 3604-3604 Collage is a subclass of art work
(subclass RepresentationalArtWork ArtWork) Merge.kif 16017-16017 Representational art work is a subclass of art work


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