| 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