Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Periodical
Periodical(periodical)
almanac, annals, bimonthly, biweekly, comic_book, daily, digest, dope_sheet, ephemeris, farmer's_calendar, gazette, glossy, house_organ, journal, literary_review, monthly, news_magazine, organ, periodical, pictorial, pulp, pulp_magazine, quarterly, rag, review, scratch_sheet, semimonthly, semiweekly, serial, serial_publication, series, sheet, slick, slick_magazine, tabloid, weekly

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(rangeSubclass PeriodicalIssueFn Periodical) Mid-level-ontology.kif 12433-12433 The values returned by periodical issue are subclasses of periodical
(subclass Magazine Periodical) Mid-level-ontology.kif 12569-12569 Magazine is a subclass of periodical
(subclass Newspaper Periodical) Mid-level-ontology.kif 12546-12546 Newspaper is a subclass of periodical
(termFormat ChineseLanguage Periodical "期刊") chinese_format.kif 1043-1043
(termFormat EnglishLanguage Periodical "periodical") english_format.kif 1302-1302

appearance as argument number 3
-------------------------


(domainSubclass PeriodicalIssueFn 1 Periodical) Mid-level-ontology.kif 12431-12431 The number 1 argument of periodical issue is a subclass of periodical

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))
Media.kif 1908-1912
(=>
    (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 12393-12407

consequent
-------------------------


(=>
    (instance ?C PeriodicalPublisher)
    (exists (?PUBLISH ?PERIODICAL)
        (and
            (instance ?PUBLISH Publication)
            (agent ?PUBLISH ?C)
            (patient ?PUBLISH ?PERIODICAL)
            (instance ?PERIODICAL Periodical))))
Mid-level-ontology.kif 13495-13502


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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