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 21038-21050
(subclass Article Text) Mid-level-ontology.kif 14649-14649
(subclass Chapter Article) Mid-level-ontology.kif 14665-14665
(subclass Report Article) Mid-level-ontology.kif 14744-14744
(subclass ShortStory Article) Mid-level-ontology.kif 14902-14902


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