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
-------------------------


s__documentation(s__Periodical,s__EnglishLanguage,'"A Series whose elements are published separately and on a periodic basis."')

Mid-level-ontology.kif 13421-13422
s__externalImage(s__Periodical,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Zeitschriften.JPG"')

pictureList.kif 2723-2723
s__externalImage(s__Periodical,'"http://upload.wikimedia.org/wikipedia/en/0/0f/ Sci_am_mar_2005.jpg"')

pictureList.kif 2903-2903
s__instance(s__Series,s__SetOrClass)

s__subclass(s__Periodical,s__Series)

s__instance(s__Periodical,s__SetOrClass)

Mid-level-ontology.kif 13420-13420 Periodical is a subclass of series

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


s__rangeSubclass(s__PeriodicalIssueFn__m,s__Periodical)

Mid-level-ontology.kif 13411-13411 The values returned by periodical issue are subclasses of periodical
s__subclass(s__Magazine,s__Periodical)

s__instance(s__Magazine,s__SetOrClass)

s__instance(s__Periodical,s__SetOrClass)

Mid-level-ontology.kif 13547-13547 Magazine is a subclass of periodical
s__instance(s__Newspaper,s__SetOrClass)

s__subclass(s__Newspaper,s__Periodical)

s__instance(s__Periodical,s__SetOrClass)

Mid-level-ontology.kif 13524-13524 Newspaper is a subclass of periodical
s__termFormat(s__ChineseLanguage,s__Periodical,'"期刊"')

chinese_format.kif 1043-1043
s__termFormat(s__EnglishLanguage,s__Periodical,'"periodical"')

english_format.kif 1302-1302

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


s__domainSubclass(s__PeriodicalIssueFn__m,n__1,s__Periodical)

Mid-level-ontology.kif 13409-13409 The number 1 argument of periodical issue is a subclass of periodical

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1908-1912
( ! [V__TEXT,V__CBO2,V__CBO1,V__INT2,V__PUB2,V__DATE1,V__INT1,V__DATE2,V__VOLUME2,V__PUB1,V__VOLUME1] :
   (((s__subclass(V__TEXT,s__Series) &
         s__instance(V__TEXT,s__Class) &
         s__instance(V__INT2,s__PositiveInteger) &
         s__instance(V__DATE1,s__Day) &
         s__instance(V__INT1,s__PositiveInteger) &
         s__instance(V__DATE2,s__Day) &
         s__subclass(V__VOLUME2,s__Text) &
         s__instance(V__VOLUME2,s__Class) &
         s__subclass(V__VOLUME1,s__Text) &
         s__instance(V__VOLUME1,s__Class))
       =>
       (((s__subclass(V__TEXT,s__Periodical) &
             (s__SeriesVolumeFn(V__TEXT,V__INT1)
             = V__VOLUME1)
           &
           (s__SeriesVolumeFn(V__TEXT,V__INT2)
           = V__VOLUME2)
         &
         s__greaterThan(V__INT2,V__INT1)
       &
       s__instance(V__PUB1,s__Publication) &
       s__instance(V__PUB2,s__Publication) &
       s__instance(V__CBO1,V__VOLUME1)
     &
     s__instance(V__CBO2,V__VOLUME2)
   &
   s__patient(V__PUB1,V__CBO1)
&
s__patient(V__PUB2,V__CBO2)
&
s__date(V__PUB1,V__DATE1)
&
s__date(V__PUB2,V__DATE2))
=>
(s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))))
)
)

Mid-level-ontology.kif 13371-13385

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


( ! [V__C] :
   ((s__instance(V__C,s__PeriodicalPublisher) =>
       (( ? [V__PUBLISH, V__PERIODICAL] :
           ((s__instance(V__PUBLISH,s__Publication) &
               s__agent(V__PUBLISH,V__C)
             &
             s__patient(V__PUBLISH,V__PERIODICAL)
           &
           s__instance(V__PERIODICAL,s__Periodical))))))
)
)

Mid-level-ontology.kif 14510-14517


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