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 芸術作品アーチファクトsubclass では %n
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3096-3096 PaintedPicture芸術作品subclass では %n
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3121-3121 Wallpaper芸術作品subclass では %n
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3143-3143 Sculpture芸術作品subclass では %n
(subclass Sketch ArtWork) Mid-level-ontology.kif 3157-3157 Sketch芸術作品subclass では %n
(subclass Collage ArtWork) Mid-level-ontology.kif 3161-3161 Collage芸術作品subclass では %n
(subclass RepresentationalArtWork ArtWork) Merge.kif 15867-15867 RepresentationalArtWork芸術作品subclass では %n


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