Sigma KB Term Intersection

(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))

Media.kif 1900-1904

If an entity publishes a class holds during a time position and the class is a subclass of book,
then book publishers is an attribute of the entity holds during the time position

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