Sigma KB Term Intersection

(=>
    (attribute ?H NewsReporter)
    (hasPurpose ?H
        (exists (?EV ?T ?NEWS)
            (and
                (instance ?EV Process)
                (overlapsTemporally
                    (WhenFn ?EV)
                    (WhenFn ?H))
                (instance ?T ?NEWS)
                (or
                    (subclass ?NEWS Newspaper)
                    (subclass ?NEWS NewsProgram))
                (authors ?H ?NEWS)
                (refers ?T ?EV)))))

Mid-level-ontology.kif 21065-21079

If news reporter is an attribute of an object,
then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of newspaper or the third entity is a subclass of newsprogram and the object is the author of the third entity and the other entity includes a reference to the 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