TreeView Knowledge Base Browser

appearance as argument number 3

(domainSubclass PeriodicalIssueFn 1 Periodical)

The number 1 argument of periodical issue is a subclass of periodical

antecedent

(=> (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 16229-16243	If All of the following hold: (1) X is a subclass of periodical (2) equal volume Y in the series X and Z (3) equal volume W in the series X and V (4) W is greater than Y (5) U is an instance of publication (6) T is an instance of publication (7) S is an instance of Z (8) R is an instance of V (9) S is a patient of U (10) R is a patient of T (11) date of U is Q (12) date of T is P, then the end of Q happens before the end of P
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers)))	Media.kif 1853-1857	If X publishes Y holds during Z and Y is a subclass of periodical, then periodical publishers is an attribute of X holds during Z

consequent

(=>
    (instance ?C PeriodicalPublisher)
    (exists (?PUBLISH ?PERIODICAL)
        (and
            (instance ?PUBLISH Publication)
            (agent ?PUBLISH ?C)
            (patient ?PUBLISH ?PERIODICAL)
            (instance ?PERIODICAL Periodical))))

If X is an instance of periodical publisher, then there exist Y, Z such that Y is an instance of publication, X is an agent of Y, Z is a patient of Y, and Z is an instance of periodical

(subclass Periodical Series)	Mid-level-ontology.kif 16278-16278	Periodical is a subclass of series
(documentation Periodical EnglishLanguage "A Series whose elements are published separately and on a periodic basis.")	Mid-level-ontology.kif 16279-16280	Periodical is a subclass of series
(externalImage Periodical "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Zeitschriften.JPG")	pictureList.kif 2721-2721	Periodical is a subclass of series
(externalImage Periodical "http://upload.wikimedia.org/wikipedia/en/0/0f/ Sci_am_mar_2005.jpg")	pictureList.kif 2901-2901	Periodical is a subclass of series

(rangeSubclass PeriodicalIssueFn Periodical)	Mid-level-ontology.kif 16269-16269	The values returned by periodical issue are subclasses of periodical
(subclass Newspaper Periodical)	Mid-level-ontology.kif 16384-16384	Newspaper is a subclass of periodical
(subclass Magazine Periodical)	Mid-level-ontology.kif 16407-16407	Magazine is a subclass of periodical
(termFormat EnglishLanguage Periodical "periodical")	english_format.kif 1301-1301	Magazine is a subclass of periodical