Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - publishes
publishes

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


(instance publishes BinaryPredicate) Merge.kif 15769-15769 publishes is an instance of binary predicate
(domain publishes 1 Organization) Merge.kif 15770-15770 The number 1 argument of publishes is an instance of organization
(domainSubclass publishes 2 Text) Merge.kif 15771-15771 The number 2 argument of publishes is a subclass of text
(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 15774-15777 The number 2 argument of publishes is a subclass of text

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


(termFormat EnglishLanguage publishes "publishes") domainEnglishFormat.kif 48019-48019
(termFormat ChineseTraditionalLanguage publishes "發布") domainEnglishFormat.kif 48020-48020
(termFormat ChineseLanguage publishes "发布") domainEnglishFormat.kif 48021-48021
(format EnglishLanguage publishes "%1 %n{doesn't} publishe%p{s} %2") english_format.kif 540-540

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


(=>
    (and
        (publishes ?ORG ?TEXTCLASS)
        (instance ?INST ?TEXTCLASS))
    (exists (?PUB)
        (and
            (instance ?PUB Publication)
            (agent ?PUB ?ORG)
            (patient ?PUB ?INST))))		 Merge.kif 15780-15788 If X publishes Y and Z is an instance of Y, then there exists W such that W is an instance of publication, X is an agent of W, and Z is a patient of W
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))		 Media.kif 1835-1839 If X publishes Y holds during Z and Y is a subclass of musical composition, then music publishers is an attribute of X holds during Z
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Text))
    (holdsDuring ?T1
        (attribute ?AGENT InformationIndustries)))		 Media.kif 1841-1845 If X publishes Y holds during Z and Y is a subclass of text, then information industry is an attribute of X holds during Z
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))		 Media.kif 1847-1851 If X publishes Y holds during Z and Y is a subclass of book, then book publishers is an attribute of X holds during Z
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))		 Media.kif 1853-1857 If X publishes Y holds during Z and Y is a subclass of periodical, then periodical publishers is an attribute of X holds during Z
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Newspaper))
    (holdsDuring ?T1
        (attribute ?AGENT NewspaperPublishers)))		 Media.kif 1859-1863 If X publishes Y holds during Z and Y is a subclass of newspaper, then newspaper publishers is an attribute of X holds during Z


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners