Sigma KB Term Intersection

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

attribute Object and 藝術評論家
有目的 Object and entity entity and entity 例 entity and ArtWork 暫時重疊何時 entity and 何時 Object 例 entity and entity 子類 entity and Article 作者 Object and entity 參照 entity and entity

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