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


(documentation publishes ChineseLanguage "(publishes ?ORG ?TEXTCLASS)的意思是 ?ORG 出版了 ?TEXTCLASS 的所有实例。例如:'Bantam Books'出版了阿加莎·克里斯蒂所作的'东方快车'谋杀案。") Merge.kif 19979-19980
(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 19975-19978
(domain publishes 1 Organization) Merge.kif 19971-19971 publishes の数値 1 引数は 組織instance では %n
(domainSubclass publishes 2 Text) Merge.kif 19972-19972 publishes の数値 2 引数は テキストsubclass では %n
(instance publishes AsymmetricRelation) Merge.kif 19970-19970 publishes非対称関係instance では %n
(instance publishes BinaryPredicate) Merge.kif 19969-19969 publishes2進述語instance では %n

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 751-751
(format JapaneseLanguage publishes "%1 は %2 を publishe%p{s} %n{ない}") english_format.kif 752-752
(termFormat ChineseLanguage publishes "出版") chinese_format.kif 536-536 termFormat ChineseLanguage, publishes and "出版"
(termFormat ChineseLanguage publishes "发布") domainEnglishFormat.kif 47965-47965 termFormat ChineseLanguage, publishes and "发布"
(termFormat ChineseTraditionalLanguage publishes "發布") domainEnglishFormat.kif 47964-47964 termFormat ChineseTraditionalLanguage, publishes and "發布"
(termFormat EnglishLanguage publishes "publishes") domainEnglishFormat.kif 47963-47963 termFormat EnglishLanguage, publishes and "publishes"

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


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))
Media.kif 1902-1906
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))
Media.kif 1890-1894
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Newspaper))
    (holdsDuring ?T1
        (attribute ?AGENT NewspaperPublishers)))
Media.kif 1914-1918
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))
Media.kif 1908-1912
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Text))
    (holdsDuring ?T1
        (attribute ?AGENT InformationIndustries)))
Media.kif 1896-1900
(=>
    (and
        (publishes ?ORG ?TEXTCLASS)
        (instance ?INST ?TEXTCLASS))
    (exists (?PUB)
        (and
            (instance ?PUB Publication)
            (agent ?PUB ?ORG)
            (patient ?PUB ?INST))))
Merge.kif 19983-19991


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