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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - publishes
publishes

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


s__documentation(s__publishes__m,s__ChineseLanguage,'(publishes ?ORG ?TEXTCLASS)的意思是 ?ORG 出版了 ?TEXTCLASS 的所有实例。例如:Bantam Books出版了阿加莎·克里斯蒂所作的东方快车谋杀案。')

Merge.kif 15549-15550
s__documentation(s__publishes__m,s__EnglishLanguage,'(publishes ?ORG ?TEXTCLASS) means that ?ORG publishes all instances of ?TEXTCLASS. For example, Bantam Books publishes Agatha Christies Murder_on_the_Orient_Express.')

Merge.kif 15545-15548
s__domain(s__publishes__m,1,s__Organization)

Merge.kif 15541-15541
s__domainSubclass(s__publishes__m,2,s__Text)

Merge.kif 15542-15542
s__instance(s__publishes__m,s__AsymmetricRelation)

Merge.kif 15540-15540
s__instance(s__publishes__m,s__BinaryPredicate)

Merge.kif 15539-15539

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


s__format(s__ChineseLanguage,s__publishes__m,'%1 %n{doesnt} publishes %2')

chinese_format.kif 535-535
s__format(s__EnglishLanguage,s__publishes__m,'%1 %n{doesnt} publishe%p{s} %2')

english_format.kif 326-326
s__format(s__FrenchLanguage,s__publishes__m,'%1 %n{ne} publie %n{pas} %2')

french_format.kif 315-315
s__format(s__ItalianLanguage,s__publishes__m,'%1 pubblica %2')

relations-it.txt 237-237
s__format(s__PortugueseLanguage,s__publishes__m,'%1 %n{nao} publica %n %2')

portuguese_format.kif 267-267
s__format(s__de__m,s__publishes__m,'%1 veroeffentlicht %2')

relations-de.txt 698-698
s__format(s__hi__m,s__publishes__m,'%1 %2 ko prakaashita karataa hai')

relations-hindi.txt 275-275
s__format(s__tg__m,s__publishes__m,'%1 ay naglilimbag %2')

relations-tg.txt 429-429
s__termFormat(s__ChineseLanguage,s__publishes__m,'出版')

chinese_format.kif 536-536
s__termFormat(s__EnglishLanguage,s__publishes__m,'publishes')

domainEnglishFormat.kif 8428-8428

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1902-1906
No TPTP formula. May not be expressible in strict first order. Media.kif 1890-1894
No TPTP formula. May not be expressible in strict first order. Media.kif 1914-1918
No TPTP formula. May not be expressible in strict first order. Media.kif 1908-1912
No TPTP formula. May not be expressible in strict first order. Media.kif 1896-1900
( ! [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


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