Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subclass ?TEXT Periodical)
        (equal
            (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1)
        (equal
            (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2)
        (greaterThan ?INT2 ?INT1)
        (instance ?PUB1 Publication)
        (instance ?PUB2 Publication)
        (instance ?CBO1 ?VOLUME1)
        (instance ?CBO2 ?VOLUME2)
        (patient ?PUB1 ?CBO1)
        (patient ?PUB2 ?CBO2)
        (date ?PUB1 ?DATE1)
        (date ?PUB2 ?DATE2))
    (before
        (EndFn ?DATE1)
        (EndFn ?DATE2)))		 Mid-level-ontology.kif 14623-14637
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))		 Media.kif 1906-1910
(subclass Periodical Series) Mid-level-ontology.kif 14672-14672 Periodico è una sottoclasse di Serie
(subclass Newspaper Periodical) Mid-level-ontology.kif 14776-14776 Newspaper è una sottoclasse di Periodico
(subclass Magazine Periodical) Mid-level-ontology.kif 14799-14799 Magazine è una sottoclasse di Periodico


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