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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Publication
PublicationEditoria, Publicacao, appear, carbon_process, carry, chromolithography, collotype, collotype_printing, come_out, cyclostyle, edit, gazette, gravure, impress, intaglio, intaglio_printing, issue, letterpress, letterset_printing, lithographic, lithography, microcopy, offset, offset_lithography, offset_printing, overprint, pagmantala, pamantalaan, photo-offset, photo-offset_printing, photogelatin_process, photogravure, photolithography, photostat, planographic, planographic_printing, planography, prakaashana, print, print_over, printing, printing_process, process_printing, publication, publier, publish, published, reissue, relief_printing, reprint...

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


s__documentation(s__Publication,s__ChineseLanguage,'这是 Manufacture Text 的过程。注:这并不意味着 发行 Text,当出现发行时,这会是 Dissemination 的实例。')

Merge.kif 12715-12716
s__documentation(s__Publication,s__EnglishLanguage,'The Manufacture of Texts. Note that there is no implication that the Texts are distributed. Such distribution, when it occurs, is an instance of Dissemination.')

Merge.kif 12712-12714
s__instance(s__Publication,s__SetOrClass)

Merge.kif 12711-12711
s__instance(s__Publication,s__SetOrClass)

Merge.kif 12710-12710

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


s__termFormat(s__ChineseLanguage,s__Publication,'出版')

chinese_format.kif 1188-1188
s__termFormat(s__EnglishLanguage,s__Publication,'publication')

english_format.kif 875-875
s__termFormat(s__FrenchLanguage,s__Publication,'publier')

french_format.kif 866-866
s__termFormat(s__Hindi,s__Publication,'prakaashana')

terms-hindi.txt 398-398
s__termFormat(s__ItalianLanguage,s__Publication,'Editoria')

terms-it.txt 399-399
s__termFormat(s__PortugueseLanguage,s__Publication,'Publicacao')

portuguese_format.kif 818-818
s__termFormat(s__cb__m,s__Publication,'pamantalaan')

terms-cb.txt 403-403
s__termFormat(s__cz__m,s__Publication,'publication')

terms-cz.txt 437-437
s__termFormat(s__tg__m,s__Publication,'pagmantala')

terms-tg.txt 402-402

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


( ! [V__TEXT,V__INT1,V__EDITION1,V__INT2,V__EDITION2,V__PUB1,V__PUB2,V__CBO1,V__CBO2,V__DATE1,V__DATE2] :
   (((s__EditionFn(V__TEXT,V__INT1)
       = V__EDITION1)
     &
     (s__EditionFn(V__TEXT,V__INT2)
     = V__EDITION2)
   &
   s__greaterThan(V__INT2,V__INT1)
&
s__instance(V__PUB1,s__Publication) &
s__instance(V__PUB2,s__Publication) &
s__instance(V__CBO1,V__EDITION1)
&
s__instance(V__CBO2,V__EDITION2)
&
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)))
)

Merge.kif 15574-15591
( ! [V__PUB,V__TEXT] :
   ((s__instance(V__PUB,s__Publication) &
       s__patient(V__PUB,V__TEXT))
   =>
   s__subclass(V__TEXT,s__Text))
)

Merge.kif 12718-12722
( ! [V__TEXT,V__INT1,V__VOLUME1,V__INT2,V__VOLUME2,V__PUB1,V__PUB2,V__CBO1,V__CBO2,V__DATE1,V__DATE2] :
   ((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 12368-12382

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


( ! [V__ORG,V__TEXTCLASS,V__INST] :
   ((s__publishes(V__ORG,V__TEXTCLASS)
     &
     s__instance(V__INST,V__TEXTCLASS))
=>
(? [V__PUB] :
   (s__instance(V__PUB,s__Publication) &
     s__agent(V__PUB,V__ORG)
   &
   s__patient(V__PUB,V__INST))))
)

Merge.kif 15553-15561
( ! [V__PAPER,V__WEEK] :
   ((s__subclass(V__PAPER,s__Newspaper) &
       s__instance(V__WEEK,s__Week))
     =>
     (? [V__PUBLICATION,V__ISSUE] :
       (s__instance(V__PUBLICATION,s__Publication) &
         s__temporalPart(s__WhenFn(V__PUBLICATION)
      ,V__WEEK)
     &
     s__result(V__PUBLICATION,V__ISSUE)
   &
   s__instance(V__ISSUE,V__PAPER))))
)

Mid-level-ontology.kif 12533-12542
( ! [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 13470-13477
( ! [V__C] :
   (s__instance(V__C,s__Publisher) =>
     (? [V__S] :
       (s__instance(V__S,s__CommercialService) &
         s__agent(V__S,V__C)
       &
       s__instance(V__S,s__Publication))))
)

Mid-level-ontology.kif 6922-6928


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners