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

Formal Language: 



KB Term:  Term intersection
English Word: 

  publishes

Sigma KEE - publishes
publishes

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


(documentation publishes ChineseLanguage "(publishes ?ORG ?TEXTCLASS)的意思是 ?ORG 出版了 ?TEXTCLASS 的所有实例。例如:'Bantam Books'出版了阿加莎·克里斯蒂所作的'东方快车'谋杀案。") chinese_format.kif 3565-3566
(documentation publishes EnglishLanguage "(publishes ?ORG ?TEXTCLASS) means that ?ORG publishes all instances of ?TEXTCLASS. For example, Bantam Books publishes Agatha Christie's Murder_on_the_Orient_Express.") Merge.kif 15536-15539
(domain publishes 1 Organization) Merge.kif 15532-15532 發布, 1 and Organization
(domainSubclass publishes 2 Text) Merge.kif 15533-15533 域子類 發布, 2 and Text
(instance publishes AsymmetricRelation) Merge.kif 15531-15531 發布 and AsymmetricRelation
(instance publishes BinaryPredicate) Merge.kif 15530-15530 發布 and BinaryPredicate

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


(format ChineseLanguage publishes "%1 %n{doesn't} publishes %2") chinese_format.kif 535-535
(format EnglishLanguage publishes "%1 %n{doesn't} publishe%p{s} %2") english_format.kif 540-540
(format FrenchLanguage publishes "%1 %n{ne} publie %n{pas} %2") french_format.kif 315-315
(format ItalianLanguage publishes "%1 pubblica %2") relations-it.txt 237-237
(format JapaneseLanguage publishes "%1 は %2 を publishe%p{s} %n{ない}") japanese_format.kif 2083-2083
(format PortugueseLanguage publishes "%1 %n{nao} publica %n %2") portuguese_format.kif 267-267
(format de publishes "%1 veroeffentlicht %2") relations-de.txt 698-698
(format hi publishes "%1 %2 ko prakaashita karataa hai") relations-hindi.txt 275-275
(format ro publishes "%1 %n{nu} publishe%t{publicã} %2") relations-ro.kif 336-336
(format sv publishes "%1 publiserar %n{inte} %2") relations-sv.txt 347-347
(format tg publishes "%1 ay naglilimbag %2") relations-tg.txt 429-429
(termFormat ChineseLanguage publishes "出版") chinese_format.kif 536-536
(termFormat ChineseLanguage publishes "发布") domainEnglishFormat.kif 48028-48028
(termFormat ChineseTraditionalLanguage publishes "發布") domainEnglishFormat.kif 48027-48027
(termFormat EnglishLanguage publishes "publishes") domainEnglishFormat.kif 48026-48026

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


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))
Media.kif 1900-1904
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))
Media.kif 1888-1892
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Newspaper))
    (holdsDuring ?T1
        (attribute ?AGENT NewspaperPublishers)))
Media.kif 1912-1916
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))
Media.kif 1906-1910
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Text))
    (holdsDuring ?T1
        (attribute ?AGENT InformationIndustries)))
Media.kif 1894-1898
(=>
    (and
        (publishes ?ORG ?TEXTCLASS)
        (instance ?INST ?TEXTCLASS))
    (exists (?PUB)
        (and
            (instance ?PUB Publication)
            (agent ?PUB ?ORG)
            (patient ?PUB ?INST))))
Merge.kif 15542-15550


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

Show without tree


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