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 Art work is a subclass of artifact
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3096-3096 Painted picture is a subclass of art work
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3121-3121 Wallpaper is a subclass of art work
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3143-3143 Sculpture is a subclass of art work
(subclass Sketch ArtWork) Mid-level-ontology.kif 3157-3157 Sketch is a subclass of art work
(subclass Collage ArtWork) Mid-level-ontology.kif 3161-3161 Collage is a subclass of art work
(subclass RepresentationalArtWork ArtWork) Merge.kif 15867-15867 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